AdaCore is bringing its expertise in the high-integrity industry to the OPENCOSS and pSafecer collaborative projects. 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.
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. 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.
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.
