GNAT Pro for ARM processors
Upcoming SlideShare
Loading in...5
×
 

GNAT Pro for ARM processors

on

  • 3,119 views

An overview of GNAT Pro Ada development environment support for ARM processors

An overview of GNAT Pro Ada development environment support for ARM processors

Statistics

Views

Total Views
3,119
Views on SlideShare
1,103
Embed Views
2,016

Actions

Likes
0
Downloads
14
Comments
0

7 Embeds 2,016

http://libre.adacore.com 1537
http://www.adacore.com 437
http://www2.adacore.com 25
http://www.open-do.org 8
http://cloud.feedly.com 4
http://ks3296550.kimsufi.com 4
http://darya-ld1.linkedin.biz 1
More...

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

CC Attribution-NonCommercial-NoDerivs LicenseCC Attribution-NonCommercial-NoDerivs LicenseCC Attribution-NonCommercial-NoDerivs License

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

GNAT Pro for ARM processors GNAT Pro for ARM processors Presentation Transcript

  • Slide: 1Copyright © 2013 AdaCore Quentin Ochem Technical Account Manager GNAT Pro for ARM
  • Slide: 2Copyright © 2013 AdaCore AdaCore product categorization Native Safety Critical Cross Windows Linux Solaris Mac VMS HP-UX Embedded Linux PPC Embedded Linux x86 VxWorks 5 PPC VxWorks 6 PPC VxWorks 6 x86 LynxOS PPC Bareboard PPC Bareboard LEON VxWorks 653 PPC VxWorks 6 Cert PPC PikeOS X86
  • Slide: 3Copyright © 2013 AdaCore AdaCore product categorization Native Safety Critical Cross Windows Linux Solaris Mac VMS HP-UX Embedded Linux PPC Embedded Linux x86 Embedded Linux ARM Android ARM VxWorks 5 PPC VxWorks 6 PPC VxWorks 6 ARM VxWorks 6 x86 LynxOS PPC Bareboard PPC Bareboard LEON Bareboard ARM VxWorks 653 PPC VxWorks 6 Cert PPC PikeOS X86
  • Slide: 4Copyright © 2013 AdaCore Classification of Processors ARM Legacy ARM7 ARM9 ARM11 Cortex A A8 A9 A15 R R4F M M3 M4F
  • Slide: 5Copyright © 2013 AdaCore • No Product on Legacy platforms • 4 GNAT Pro 7.2 products will be released on a number of ARM Cortex platform depending on the processor • ARM Cortex R and ARM Cortex M (bare board) – GNAT Pro Safety Critical for ARM Cortex – ZFP, Ravenscar-SFP, Ravenscar-Extended run-times • ARM Cortex A (OS-based) – GNAT Pro for ARM Android – GNAT Pro for ARM Linux – GNAT Pro for ARM VxWorks 6 AdaCore Products
  • Slide: 6Copyright © 2013 AdaCore • Usable out of the box • No adherence on the underlying system • A few Ada.* GNAT.* System.* or Interfaces.* packages (not generating code) • No support for Tasking • Exception limited to local handling or last chance handler • No support for features requiring run-time support (e.g. secondary stack) • Possibility to add units to create a custom ZFP (e.g. GNATemulator-based versions implement GNAT.IO) Bare board Run-Times – Zero Footprint
  • Slide: 7Copyright © 2013 AdaCore • Ravenscar is a "simple" Ada tasking – Simple to implement (e.g. small run-time footprint) – Simple to use (e.g. small amount of functionalities) – Efficient • Ravenscar provides some static guarantees – Absence of deadlock – Schedulability – Determinism • Based on task "stereotypes" (cyclic, periodic) and priorities • Ravenscar requires some target-specific configuration – Interruption controller – Context switching • Default implementations (BSP) are provided, but needs to be adapted – Either by the customer or through a few days of on-site consulting Bare board Run-Times – Ravenscar Family
  • Slide: 8Copyright © 2013 AdaCore • Ravenscar Small Footprint (SFP) – ZFP – Ravenscar – Certifiable • Ravenscar Extended – ZFP – Ravenscar – Exceptions – All standard packages (except I/O) – Not certifiable Bare board Run-Times – Small Footprint vs. Extended
  • Slide: 9Copyright © 2013 AdaCore • IDE – GPS – GNATbench (with specific Android Development Toolkit integration) • Language interfacing – Ada / C Interfacing tools – (Android only) GNAT Ada-Java Interfacing Suite • Basic Static Analysis Tools – GNATcheck – GNATmetrics – (Bare board only) GNATstack • Basic Dynamic Analysis Tools – GNATtest / Aunit – GDB Included in the product
  • Slide: 10Copyright © 2013 AdaCore