Aonix ObjectAda RAVEN (Atego Systems)
Certifiable Safety-Critical Ada Development and Deployment Solution
- Integrated with VxWorks653 - Uses APEX interface to directly connect Ada runtime communications with VxWorks - Provides full Aonix Ada development environment - Alternately supports Workbench edit, compile, debug - PowerPC Target support
ObjectAda Real-Time RAVEN implements a small and very fast Ada 95 "bare-target" runtime system that is perfectly suited for hard real-time and safety-critical applications. It also provides the reliable, feature-rich toolset most critical system developers need to help them build an efficient, provable, verifiable and/or certifiable, deterministic real-time application.
From the start, the design and implementation of RAVEN is focused on deterministic behavior, which is a key requirement for safety-critical systems. As a result, RAVEN satisfies the highest levels of criticality, even Level A as defined in the DO-178B software safety guidelines required by the FAA for airborne systems.
Raven can be run standalone or on top of Wind River's VxWorks653 partitioned operating system. The latter provides further support for multilevel certification levels on a single board. This combined product supports the highest level of certification with the increased flexibility to support multiple applications at different safety levels on a single board.
If you are interested in more information on how Wind River partners with this company, click here.