Aonix brings Ada kernel certification kit to market

Officials at Aonix in San Diego have released a certification kit for the ObjectAda RAVEN software tool to provide the evidence and tools necessary to certify software solutions to DO-178B Level A as well as other standards. ObjectAda RAVEN enables engineers to build applications for deployment in safety-critical applications, such as those found in avionics and flight systems, transportation, and nuclear energy management, where stringent standards must be followed and proof of conformance is essential to obtain certification from associated authorities, company officials say. Procuring commercial off-the-shelf (COTS) certification evidence together with ObjectAda RAVEN should yield savings, Aonix officials say. ObjectAda RAVEN for Windows consists of an Ada 95 compiler with such supporting tools as a build/bind tool, library tool, and debugger, and is delivered with a predefined program library, which conforms to the Ravenscar profile subset of the full Ada language. The Ravenscar profile, adopted at the Eight International Real-Time Ada Workshop (IRTAW-8) in Ravenscar England, and subsequently made part of the Ada 2005 specification, accommodates certification requirements for high-integrity, safety-critical, real-time systems. For more information, visit Aonix online at www.aonix.com.