Safety Certification of Software-Intensive Systems with Reusable Components
Funding programme ARTEMIS
Coordinator Volvo Technology Corporation (SE)
Partners Volvo Technology AB (SE); AVL LIST GmbH (AT); Thales Rail Signaling Solution GmbH (AT); TTTech Computertechnik AG (AT); AIT Austrian Inst. of Tech. GmbH (AT); Kompetenzzentrum - Das virtuelle Fahrzeug Forschungsgesellch. mbH (AT); Thales Alenia Space Espania (ES); GMV Aerospace and Defence (ES); TRAINTIC SL (ES); ULMA Embedded Solutions (ES); OSATU S.Coop (ES); Mondragon Goi Eskola Polit. J.M.A. S.COOP (ES); Universidad Politec. de Madrid (ES); Thales Communication SA (FR); Delphi France SAS (FR); Magillem Design Services SAS (FR); AdaCore (FR); CEA-LIST (FR); Akhela SRL (I); Intecs SPA(I); Vitrociset SPA (I); ResilTech (I); Fondazione Bruno Kessler (I); Valsts Akciju Sabiedriba Latvijas Dzelzcels (LV); Algorego SIA (LV); Riga Tehniska Unversitate (LV); Volvo Construction Equipment (SE); Cross Control AB (SE); Quviq AB (SE); Mälardalens Högskola (SE); SP - Sveriges Tekniska Forskningsinsitut. AB (SE)
Description n-SafeCer and p-SafeCer targeted increased efficiency and reduced time-to-market by composable certification of safety-relevant embedded systems.
A primary objective was to provide support for system safety arguments based on arguments and properties of components, as well as to provide support for generation of corresponding evidence in a similar compositional way. By efficient reuse of certification and stronger links between certification and development, component reuse will be facilitated. The improved quality and reduced risk will increase competitiveness and pave the way for a cross-domain market for components qualified for certification. The industrial domains targeted are automotive and construction equipment, aerospace, health-care, and railway.
Intecs The Brainware company