AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects
AdaCore brings its high-integrity expertise to key collaborative projects
NEW YORK, PARIS and TOULOUSE, France, November 29, 2011 - Certification Together Conference– AdaCore is pleased to announce its participation in two European-funded research projects, OPENCOSS and pSafecer. Both projects aim at supporting component-based development in safety-critical systems, in particular by using compositional production of safety evidence. They also aim at maximizing the reuse of such components. This strategy was described in a recent EE Times article ‘The “Big Thaw” - An Agile Process for Software Certification.’
AdaCore’s contributions to both projects will be the development of a certification artifacts management system that will provide support for certification activities. Named the “Qualifying Machine,” its ultimate goal is full support of an agile, incremental, and continuous certification process that automates the most time-consuming certification activities, such as the management and verification of traceability data.
“Our participation in these two important European-funded projects will allow us to validate the ideas that have been maturing in the Open-DO initiative with our many partners from different industries. It is very exciting, as well as very challenging, to benefit from such a rich environment to develop an Open Source, multi-industry, certification-oriented framework,” said Cyrille Comar, President, AdaCore Europe.
OPENCOSS aims at constructing an Open Source certification framework, which spans the railway, avionics, and automotive industries. The project focuses on promoting compositional certification through the reuse of safety arguments and evidence. OPENCOSS started in October 2011 and will last for 3.5 years. OPENCOSS includes 17 partners and is funded within the EU’s Seventh Framework Programme for Research and Technological Development. More information on the OPENCOSS project can be found at http://www.opencoss-project.eu/.
pSafecer aims to support Component-Based Development through a cross-domain component model populated with safety and certification contracts. The pSafecer interoperable and open tool framework will rely on this specification to automate several certification-oriented activities. pSafecer started in April 2011 and will last for 2 years. More than 30 partners are involved in the project, funded by the EU’s ARTEMIS Embedded Computing Systems Initiative. More information on the pSafecer project can be found at http://www.safecer.eu/.
To find out more about AdaCore research efforts and about the company’s contributions to collaborative research projects please visit http://www.open-do.org/projects.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product 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 world-wide customer base. See http://www.adacore.com/home/company/customers for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com