Assurance Case

An assurance case is a collection of auditable claims, arguments, and evidence created to justify that a system or service satisfies its dependability requirements. Assurance cases play a major in the certification of critical systems in most application domains, including those covered in AMASS.

The AMASS consortium has analysed the possible adoption and extension of existing technologies that could allow the project to reach its objectives. Among these technologies, OpenCert has been chosen as main base tool for management of assurance and compliance.