Aonix Brings Ada Kernel Certification Kit to Market.New DO-178B Certification evidence available for ObjectAda([R]) RAVEN[TM] SAN DIEGO San Diego (săn dēā`gō), city (1990 pop. 1,110,549), seat of San Diego co., S Calif., on San Diego Bay; inc. 1850. San Diego includes the unincorporated communities of La Jolla and Spring Valley. Coronado is across the bay. -- Aonix[R], a provider of solutions for safety- and mission-critical applications, announced the release of a new certification kit for ObjectAda RAVEN. Built in response to requirements from existing customers, Aonix 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 con·for·mance n. Conformity. Noun 1. conformance - correspondence in form or appearance conformity agreement, correspondence - compatibility of observations; "there was no agreement between theory and 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. "By providing developers with products that improve code reliability, reduce testing overhead, and shorten certification cycles, Aonix helps customers realize significant savings and furthers its reputation for facilitating the certification process," noted Gary Cato, director of marketing at Aonix. "The ObjectAda RAVEN certification kit substantially reduces the engineering hours, which--given the cost of producing certification evidence--can be a critical lifeline for a project." ObjectAda RAVEN for Windows consists of an Ada 95 compiler with the supporting tools of a build/bind tool, library tool and debugger Software that helps a programmer debug a program by stopping at certain breakpoints and displaying various programming elements. The programmer can step through source code statements one at a time while the corresponding machine instructions are being executed. , and is delivered with a predefined program library which conform to Verb 1. conform to - satisfy a condition or restriction; "Does this paper meet the requirements for the degree?" fit, meet coordinate - be co-ordinated; "These activities coordinate well" the Ravenscar profile The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time systems. Restrictions of the profile A Ravenscar Ada application uses the following compiler directive: pragma Profile (Ravenscar); 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 Real-time systems Computer systems in which the computer is required to perform its tasks within the time restraints of some process or simultaneously with the system it is assisting. . ObjectAda RAVEN allows developers to choose between the traditional Aonix IDE for development and the optional AonixADT[TM] 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. Shipping and Availability ObjectAda Real-Time RAVEN for Windows targeting PowerPC is immediately available. Prices range from $15,000 to $25,000 for a single seat license depending on bundling options. Quantity discounts for development licenses are available. Certification is available now with pricing based on project-specific requirements. About Aonix[R] Aonix offers mission- and safety-critical solutions primarily to the military and aerospace, telecommunications and transportation industries. Aonix delivers the leading high-reliability, real-time embedded Inserted into. See embedded system. virtual machine solution for running Java[TM] programs deployed today and is used in a number of certified Ada applications at the highest level of criticality. Headquartered in San Diego, CA and Paris, France, Aonix operates sales offices throughout North America North America, third largest continent (1990 est. pop. 365,000,000), c.9,400,000 sq mi (24,346,000 sq km), the northern of the two continents of the Western Hemisphere. and Europe in addition to offering a network of international distributors. For more information, visit www.aonix.com. Aonix, ObjectAda and RAVEN are registered trademarks and trademarks of Aonix. Java[TM] and all Java-based marks are trademarks or registered trademarks of Sun Microsystems Sun Microsystems, Inc. (NASDAQ: JAVA[3]) is an American vendor of computers, computer components, computer software, and information-technology services, founded on 24 February 1982. , Inc. in the United States United States, officially United States of America, republic (2005 est. pop. 295,734,000), 3,539,227 sq mi (9,166,598 sq km), North America. The United States is the world's third largest country in population and the fourth largest country in area. and other countries. All other tradenames and trademarks are the property of their respective owners. [c] 2008, Aonix, all rights reserved. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion