gnatpro_toolsuite

Toolsuite

Comprehensive Ada Toolsuite

Runtime Profiles

Customized run-time libraries, available on a platform-specific basis, that are especially relevant to safety-critical systems.

Zero Footprint Profile (ZFP)

The Zero Footprint Profile defines an Ada subset supported by a certifiable run-time with a memory footprint reduced to null. It thus reduces the footprint of the global application and keeps user code to the use of a restricted set of Ada features that exclude in particular the use of dynamic Ada semantic. This in turn eases certification of the application. User code is kept simple and certification cost is reduced.

The Zero Footprint Profile still gives access to major language features such as generics, child units, library-level tagged types, interfaces and local exception handling.

Cert Profile

This profile augments the ZFP language subset by providing a certifiable Ada run-time library that implements constructs specified by several major aerospace companies. Supported features include exception handling and dynamic string manipulation, among others. This gives access to a wider set of language features while still meeting the requirements of safety-critical development.

Ravenscar Profiles

The two Ravenscar run-times add Ravenscar concurrency respectively to the Zero Footprint and Cert Profiles. The tasking restrictions introduced by Ravenscar keep the run-time implementation to the minimum and thus meet the requirements of certification to the highest level. These profiles answer the need for concurrency in safety-critical projects and let them benefit from static schedulability analysis that can be performed when Ravenscar restrictions are in place.

Full Ada Language Support

For lower levels of safety criticality you can use the full Ada language with GNAT Pro High-Integrity Edition. This gives you access to advanced language features like the full Ada container library or Ada tasking with Rendez-Vous.

Knowledge Center

Webinars    

  • Wind River, Ada Core and Verocel will show the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.

    AdaCore will introduce tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches will be discussed along with methods for automating these approaches. Full software development environments will be discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.
  • Boeing 787 avionics software

    September 16, 2008

    Providing a DO-178B Level A Software Programming Environment for the Boeing 787 avionics software

    AdaCore, Verocel, and Wind River Systems joined together as a team to provide a real-time embedded development platform, which is used as the basis for DO-178B Level A safety critical application development for the Boeing 787. Wind River Systems provided VxWorks 653, the common core ARINC-653 operating environment that provides robust time, space and shared resource partitioning. AdaCore provided the Ada run-time system tailored to the specific requirements of the avionics software teams layered on top of this RTOS. Verocel provided the safety critical expertise to create the certification evidence for all of these architectural layers to meet DO-178B Level A requirements. This team effort has created a complete Do-178B development platform for this program and future avionics software development efforts.

Developer Gems    

  • Gem #115: Lego Mindstorms Ada Environment — Part 2

    This series of Gems explores the GNAT Ada programming environment for the Lego Mindstorms robotics kit. The series examines the high- and low-level interfaces to the hardware, the language subset supported by the underlying run-time library, and how to use the environment effectively. We’ll examine other topics as well. This Gem introduces the basic steps of the Mindstorms hardware initialization and shutdown.

  • Gem #112: Lego Mindstorms Ada Environment—Part 1

    This series of Gems explores the GNAT Ada programming environment for the Lego Mindstorms robotics kit. The series will examine the high- and low-level interfaces to the hardware, the language subset supported by the underlying run-time library, and how to use the environment effectively. We’ll examine other topics as well. This first Gem introduces the general issue of the Ada language subset available to programmers and shows how the Ada interfaces address one specific aspect of that subset.