Aonix ObjectAda Raven
Aonix ObjectAda Raven products provide support for development and deployment of Ada language programs targeting safety-critical and/or DO-178 certifiable applications. Aonix ObjectAda Raven comes in two variants, one for support of execution via the Wind River VxWorks 653 multipartition real-time operating system (RTOS), and one that supports deployment on bare targets where no RTOS resides.
Both of the AonixObjectAda Raven products provide an enterprise-class Ada development environment for embedded and real-time development teams who desire conformance to the Ravenscar profile, a subset of the standard Ada runtime environment, and crucial to assurance of the deterministic behavior required by safety-critical applications.
- Safety-Critical Runtime with Ability to Certify to Do-178B Level A
- Full Integrated Development Environment (IDE)
- Ada Development Toolkit (ADT) Eclipse plug-ins
- Efficient cross compiler
- High quality code generator
- Source-level target debugger
- Ethernet and serial download and debug facilities
The Certification Option for DO-178B, for example, includes:
- Aonix ObjectAda Raven kernel source code
- Runtime functional and coverage tests
- Results of the tests
- Analysis and certification documentation (as defined by DO-178B for Level A certification)
Aonix ObjectAda Raven for VxWorks additionally supports edit, build, and debug, within Wind River’s Workbench environment.
Related Links
To find out more about how Aonix ObjectAda Raven can help you develop and deploy your safety-critical applications:
- Download the Aonix ObjectAda Raven for VxWorks Data Sheet
- Request an Aonix ObjectAda Evaluation
- Download the Aonix License Manager
The following Products and Product Add-ins are available:
- Aonix ObjectAda Raven for Bare Targets
- Aonix ObjectAda Real-Time
- Aonix ObjectAda for Windows
- Aonix ObjectAda for Unix
- Aonix ObjectAda for Linux
The following Training Courses are available:
