Wind River Platforms
Bare board Platforms
Ada Development Environment for Wind River VxWorks 653
GNAT Pro Safety-Critical is the natural Ada solution for VxWorks 653. It provides a complete Ada development environment, fully integrated into Wind River’s tool suite and execution platform and oriented towards the needs of safety-critical systems.
GNAT Pro Safety-Critical supplies a fully configurable/customizable run-time library and implements three pre-defined profiles that are particularly relevant to safety-critical systems. The ”Zero Footprint“ (ZFP) profile corresponds to a language subset that does not require any GNAT Pro run-time routines. The more extensive Cert profile, based on input and requirements of companies in the Mil/Aero market, includes a number of useful dynamic features such as exception handling. The Ravenscar profile implements the safe and deterministic Ada tasking subset defined in the Ada 2012 standard. The full Ada run-time is also available
GNAT Pro Safety-Critical supports the various AE653 operating environments and certification levels. These include application generation modes for the VxWorks 653 core OS, and for application partitions running the vThreads partition operating system.
Full integration into Platform for Safety Critical
GNAT Pro Safety-Critical is the natural Ada solution for VxWorks 653. It provides a complete Ada development environment, fully integrated into Wind River’s tool suite (Workbench) and execution platform and oriented towards the needs of safety-critical systems.
Lower certification costs
Certification materials are available for the restricted run-time libraries, and various compiler options (e.g. the ability to detect/ prohibit features that could implicitly cause loops or conditionals in the generated code) simplify the coverage analysis required for certification.
Support for high levels of safety certification
The Cert profile is intended for high-criticality applications (for example those that need to be certified to DO-178B Level A or B). The subset defined for this restricted profile includes support for unconstrained function results, simple text I/O, full arithmetic capabilities, bit array operations, and almost all Ada 95 exception handling features. The corresponding run- time library is intended to execute over the VxWorks 653 certified partition operating system with APEX facilities.
GNATbench – full integration with Wind River Workbench
GNATbench brings the advantages of AdaCore’s GNAT Pro toolset to Wind River’s Workbench integrated development environment for embedded systems running VxWorks. GNATbench is fully integrated with the existing Workbench tools, combining the power of AdaCore’s development and compilation technology with the extensive Workbench tools for VxWorks systems creation.
- Implementation of all versions of Ada: Ada 2012 / 2005 / 95 / 83
- Complete GNAT Pro toolset adapted to VxWorks 653
- Full integration with Workbench via the GNATbench plugin
- GPS (GNAT Programming System) Integrated Development Environment
- Support for multiple safety certification levels through various run-time profiles
- Full Ada binding to ARINC-653 APEX , available for all Ada run-time profiles
- Support for various kinds of AE653 partitions
- Full Ada run-time library, for lower levels of criticality in application partitions
To visit the Wind Market Place, please click here