Ada kernel certification kit -

Ada kernel certification kit


Munich, Germany – Aonix announced the release of a new certification kit for ObjectAda RAVEN. Built in response to requirements from existing customers, the company has designed the ObjectAda RAVEN certification kit to provide all the evidence and tools required to assist customers for certification to DO-178B Level A as well as to other standards.

ObjectAda RAVEN enables engineers to build applications for deployment in safety-critical applications such as those found in transportation, avionics and flight systems, and nuclear energy management where stringent standards must be followed and proof of conformance is essential to obtain certification from associated authorities. The ability to procure COTS certification evidence together with ObjectAda RAVEN can yield dramatic savings where costs for production of certification evidence can soar from $50 to hundreds of dollars per source line of code.

ObjectAda RAVEN for Windows consists of an Ada 95 compiler with the supporting tools of a build/bind tool, library tool and debugger, and is delivered with a predefined program library which conform to the Ravenscar profile subset of the full Ada language. The Ravenscar profile, adopted at the Eight International Real-Time Ada Workshop (IRTAW-8), Ravenscar UK, and subsequently made part of the Ada 2005 specification, accommodates certification requirements for high-integrity, safety-critical, real-time systems.

ObjectAda RAVEN allows developers to choose between the traditional Aonix IDE for development and the optional AonixADT Eclipse plug-in. Geared to maximize developer ease and efficiency, AonixADT incorporates Ada-project awareness, an Ada-language sensitive editor, Ada-language compile and build capabilities, and a complete Ada debugger interface, ensuring that Ada developers enjoy state-of-the-art interface capabilities.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.