AdaCore Announces the GNAT Pro High-Integrity Edition for DO-178B.Specialized development environment and tool set supporting safety-critical standards NEW YORK New York, state, United States New York, Middle Atlantic state of the United States. It is bordered by Vermont, Massachusetts, Connecticut, and the Atlantic Ocean (E), New Jersey and Pennsylvania (S), Lakes Erie and Ontario and the Canadian province of & TAMPA, Fla. -- AdaCore, provider of the highest-quality Ada tools and support services support services Psychology Non-health care-related ancillary services–eg, transportation, financial aid, support groups, homemaker services, respite services, and other services , today announced the immediate availability of the GNAT gnat, common name for any one of a number of small, fragile-looking two-winged flies of the suborder Nematocera, order Diptera, which includes the families Tipulidae (crane flies), Bibionidae (hairflies), Ceratopogonidae (biting midges), Chironomidae (true midges), Pro High-Integrity Edition for DO-178B. The product is a specialized version of GNAT Pro that provides an independently certified development environment and tool set specifically targeted towards developers needing to satisfy this demanding safety-critical standard. It is the first in a series of specialized High-Integrity Edition packages designed to provide complete support for specific safety or security industry requirements, such as RTCA RTCA Radio Technical Commission for Aeronautics RTCA Rivers Trails and Conservation Assistance (National Park Service) RTCA Rio Tinto Coal Australia RTCA Requirements and Technical Concepts for Aviation DO-178B / EUROCAE EUROCAE European Organisation for Civil Aviation Equipment (regulatory agency for certifying aviation equipment in Europe) ED-12B and other high-integrity standards. Additional High-Integrity Edition packages will be announced as they become available. "AdaCore recognizes that our customers require off-the-shelf solutions to meet high-reliability and safety-critical software development standards," said Robert Dewar, President of AdaCore. "Customers are currently using GNAT Pro to develop avionics systems that need to satisfy the DO-178B Level A standard, and our run-time library (operating system, programming, library) run-time library - A file containing routines which are linked with a program at run time rather than at compile-time. The advantage of such dynamic linking is that only one copy of the library needs to be stored, rather than a copy being has been certified to meet these requirements. The GNAT Pro High-Integrity Edition for DO-178B provides the associated life-cycle artifacts artifacts see specimen artifacts. along with the development tools necessary to comply with this and similar safety-critical standards." AdaCore has also taken the additional step of having an independent organization perform the full certification of the Ada run-time library that is available for GNAT Pro High-Integrity Edition for DO-178B. Verocel, a company with recognized expertise in this domain, has developed the certification package. "AdaCore has a consistent policy of using world-class experts to prepare certification materials to ensure that certification is 100% independent and not influenced by the development team," stated Robert Dewar. "The effectiveness of DO-178B relies on an impartial certification process, and we strongly feel that this is best assured by having highly qualified third parties prepare the certification material and perform the required DER DER - Distinguished Encoding Rules (FAA Designated Engineering Representative) review." About GNAT Pro High-Integrity Edition for DO-178B GNAT Pro High-Integrity Edition for DO-178B is an enhanced version of the GNAT Pro technology, designed for building safe and secure software. Formerly known as GNAT Pro HIE hie intr. & tr.v. hied, hie·ing or hy·ing , hies To go quickly; hasten. [Middle English hien, from Old English h , its many features help to reduce the cost of developing and certifying systems that have to meet safety standards Safety standards are standards designed to ensure the safety of products, activities or processes, etc. They may be advisory or compulsory and are normally laid down by an advisory or regulatory body that may be either voluntary or statutory. such as RTCA DO-178B / EUROCAE ED-12B and other high-integrity standards. The package includes a full, multi-language cross-compile system, a configurable Ada run-time system, and integration with best-in-class test capabilities. The run-time library for the GNAT Pro High-Integrity Edition for DO-178B has already been certified to the highest safety level for DO-178B Level A, as a part of multiple avionics systems. These life cycle artifacts are available with the package. Further details on this new product package can be found at: http://www.adacore.com/home/gnatpro/safety-critical Pricing and Availability GNAT Pro High-Integrity Edition for DO-178B is immediately available as part of the GNAT Pro subscription. Pricing for GNAT Pro subscriptions starts at $14,000. Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations. About AdaCore Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore's flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology. AdaCore has customers worldwide; see http://www.adacore.com/home/company/customers/ for more information. Use of Ada and GNAT Pro continues to grow in high-integrity and safety-critical applications, including avionics, defense, air traffic control, railroad systems, financial services and medical devices. AdaCore has North American North American named after North America. North American blastomycosis see North American blastomycosis. North American cattle tick see boophilusannulatus. headquarters in New York and European headquarters in Paris. www.adacore.com |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion