The Qualifying Machine (QM) is an agile and lean infrastructure for the management of certification artifacts. 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.

Presentation

A full presentation of the context, objectives and general technical vision is available here

Get Involved

Get familiar with design: here

For more information about project QM: qm@adacore.com

If you are interested in participating in the QM effort: Open-DO Forge »

Research Project Fundings

The Qualifying Machine is involved in various European and national projects.

OPENCOSS

Project Leader/Coordinator: Tecnalia
website: http://www.opencoss-project.eu/

SafeCer

Project Leader/Coordinator: Volvo Trucks
website: http://www.safecer.eu/

DROD

Project Leader/Coordinator: Itaapy
website: http://www.systematic-paris-region.org/fr/projets/drod

CORAC

website: http://www.aerorecherchecorac.com/