ObjectAda Real-Time RAVEN

The Solution for Hard Real-Time & Safety-critical Applications

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.

Many Aonix customers are already using our safety-critical runtime environment for [Ada 83, C-SMART]. This runtime has been certified to Level A (as part of customers' applications) and can be found in avionic, railway, and nuclear power safety-critical applications already deployed and in development. In addition to the benefits supplied by C-SMART, our RAVEN solution also provides tasking functionality certifiable to Level-A.

Further, all ObjectAda products now have available the powerful VectorCast test tool. VectorCast provides full test harness generation, test case generation, along with test reporting, regression testing and coverage analysis. More info on VectorCast is available at: http://www.vectorcast.com. Contact your local Aonix sales representative for an evaluation license key.

Whatever your real-time needs, Aonix is there to help. We have the experience, tools and runtime environment for Ada 95 that is second to none in the industry. RAVEN has all the advantages of small size, fast speed, hard real-time response, safety-critical and high-reliability characteristics.

RAVEN can be run standalone or on top of a Real-Time Operating System. For partitioned Operating Systems, this provides further support for multiple certification levels on a single board. This combined product delivers the highest level of certification with the increased flexibility to support multiple applications at different safety levels on a single board.

RAVEN Key Benefits
Tools Support:

• Full IDE
• CDE support on UNIX platforms
• Efficient cross compiler
• High quality code generator
• Source-level target debugger
• Ethernet and serial download/debug facilities
• AdaCover coverage analysis tool for certification score

Real-Time Kernel Features:

• Small size
• Fast execution
• Deterministic behavior
• Bounded memory usage
• Safety-Critical certifiability to the highest levels of criticality
• Ada 95 Protected Object support
• Interrupt support

Platform Support:

• Sun Microsystems-Solaris
• Microsoft-Windows NT

Target Support:

• Motorola-PowerPC,
• Intel-386, 486, Pentium,
• Sparc ERC 32

Other Support:

• Flexible toolset packaging for every level of development need
• BSP sources provided for user customization
• Real-time kernel sources available
• Certification materials for runtime environment
• Professional services available including certification expertise

AonixADT for ObjectAda: Eclipse-based IDE

The ObjectAda integrated development environment (IDE) is the fastest and most open environment ever available for Ada technology. Beginning with the ObjectAda 8.2 family of product releases, ObjectAda allows developers to choose between the traditional Aonix IDE and the new AonixADT™ Eclipse plug-in.

AonixADT incorporates Ada-project awareness, an Ada-language sensitive editor, Ada-language compile and build capabilities, and a complete Ada debugger interface, enabling Ada developers to enjoy state-of-the-art interface capabilities geared to maximize developer ease and efficiency. Developers can focus on building applications, not on integrating tools since AonixADT also retains a large set of existing plug-ins for third-party tools, including support for source-code configuration management.

The best way to learn more about ObjectAda Real-Time RAVEN and how it can help you accomplish your goals with respect to an upcoming Ada project is to try it for yourself. To request an evaluation copy of ObjectAda Real-Time RAVEN, use the ObjectAda Evaluation Request Form.