Concept and objectives

The nSafeCer project is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems.

Quviq contributes to this project with innovative verification tool support. Quviq focuses on combining formal methods for safety argumentation, like contract refinement, and testing from formal specifications. Quviq aims to make formal methods tractable in the safety domain.

During the project, Quviq have created methods to formally derive safety requirements on components based upon AUTOSAR basic software, for example an Airbag implementation.