AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance.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 and TOULOUSE, France -- 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 availability of GNATcheck, an integrated coding standard verification tool within 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 development environment. GNATcheck meets the growing need for automated verification in safety-critical avionics systems, particularly those systems that need to satisfy the DO-178B standard. Developed by 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 and EUROCAE EUROCAE European Organisation for Civil Aviation Equipment (regulatory agency for certifying aviation equipment in Europe) , DO-178B defines the guidelines for development of aviation software in both the US and Europe and is being increasingly adopted by other related sectors, such as air traffic control and military applications. AdaCore's GNATcheck is an extensible rule-based tool with an easy-to-use interface. It allows developers to completely define a coding standard (referred to as a "Software Code Standard" in DO-178B) as a set of rules, for example a subset of permitted language features. It verifies a program's conformance with the resulting rules and thereby facilitates demonstration of a system's compliance with DO-178B. "The combination of the Ada language (an international standard), GNATcheck, and additional constraints and reporting inside GNAT Pro, provides a comprehensive solution for avionics developers," said Robert Dewar, President and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. of AdaCore. "Ada has already been used in many safety-critical systems, such as the Boeing 787 and C-130 AMP, Airbus A380 and Eurofighter among others." "With software innovation powering today's successful aircraft, automatic coding standard verification is becoming more and more important," commented Cyrille Comar, Managing Director, AdaCore Europe. "The highly structured nature of the Ada language makes it a natural choice for avionics development, and by adding our own enhancements within GNAT Pro we can offer the most complete and integrated solution for coding standard verification compliant with DO-178B requirements." The key features of GNATcheck include: * An integrated Ada Restrictions mechanism for banning specific features from an application. This can be used to restrict features, such as tasking, exceptions, dynamic allocation, fixed or floating point, input/output and unchecked conversions * GNAT Pro specific Restrictions, which complement Ada's set of restrictions, such as those banning the generation of implicit loops or conditionals in the object code, or the generation of elaboration code * Additional rules based Using "if-this, do that" rules to perform actions. Rules-based products implies flexibility in the software, enabling tasks and data to be easily changed by replacing one or more rules. on Ada semantics specification developed following extensive customer input, including detailed issues, such as ordering of parameters, normalized naming of entities and subprograms with multiple returns * Easy-to-use interface for creating and using a complete coding standard * Generation of project-wide reports, including evidence of the level of compliance to a given coding standard * Over 30 compile time The time it takes to translate a program from source language into machine language. Linker time may also be included in compile time. See compile and linker. (programming) compile time warnings from GNAT Pro that detect typical error situations, such as local variables being used before being initialized, incorrect assumptions about array lower bounds, infinite recursion In programming, the ability of a subroutine or program module to call itself. It is helpful for writing routines that solve problems by repeatedly processing the output of the same process. See recurse subdirectories. , incorrect data alignment, and accidental hiding of names * Style checks that allow developers to control indentation in·den·ta·tion n. A notch, a pit, or a depression. , casing, comment style, and nesting level Work on qualifying GNATcheck as a verification tool (in a DO-178B context) is in progress. After this work is completed, GNATcheck's status as a qualified tool will allow the evidence that it generates to be used as part of a system's certification. Pricing and Availability GNATcheck is currently 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 safety, security, and reliability are critical. AdaCore's flagship product A primary product of a company, which is typically why the company was founded and/or what made it well known. For example, MS-DOS, Windows and the Microsoft Office suite have been flagship products of Microsoft. CorelDRAW is a flagship product of Corel Corporation. is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information. Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services. 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. |
|
||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion