- GNAT Pro
- High-Integrity Edition for DO-178B > VxWorks Cert
Ada Development Environment for Wind River PSC DO-178B
The GNAT Pro High-Integrity Edition for DO-178B is the natural Ada solution for VxWorks/Cert. 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 High-Integrity Edition for DO-178B supplies a fully configurable/customizable run-time library and implements two predefined 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 run-time routines. The Ravenscar profile (a superset of ZFP) implements a set of tasking constructs that are sufficiently restrictive to facilitate safety certification but sufficiently expressive to allow the programming of real-world applications.
For the most up-to-date information on available platforms please contact us at: sales@adacore.com