Project Qualifying Machine
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/