Safety Certification of Software-Intensive Systems with Reusable Components
ARTEMIS Join Undertaking / Ministry of Instruction, University and Research - ARTEMIS-2010/2011
Volvo Technology Corporation (SE)
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)
European industry has a great potential to achieve a leading position in the growing global market of safety relevant embedded systems, provided it is able to devise efficient and industrial-strength methods and processes for their development and certification.
SafeCer is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. SafeCer will also develop certification guidelines and a training example for other domains, thus considerably increasing its market impact.
A primary objective is to provide support for system safety arguments based on arguments and properties of system components as well as to provide support for generation of corresponding evidence in a similar compositional way. By providing support for efficient reuse of certification and stronger links between certification and development, component reuse will be facilitated, and by providing support for reuse across domains the amount of components available for reuse will increase dramatically. The resulting efficiency and reduced time to market will, together with increased quality and reduced risk, increase competitiveness and pave the way for a cross-domain market for software components qualified for certification.