SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components

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.AIT provides innovative solutions for modular safety certification using safety contracts as well as various V&V methods such as model-based testing or bus simulation. AIT develops tools for supporting the certification workflow (WEFACT), model-mutation based test case generation (MoMuT) and robustness testing for time-triggered systems (BusScope). Together with industry partners from the automotive and railway domains, the benefits of the novel methods are demonstrated.

Tools:

SafeCer consists of the two connected Artemis projects  pSafeCer and nSafeCer:

Facts pSafeCer:

  • Project duration: April 2011 – September 2013
  • Budget: ca. € 10,4 Million
  • Funding: ca. € 4,3 Million (EU and national contributions)
  • Coordination: VOLVO Trucks
  • Partners: 23

Facts nSafeCer:

  • Project duration: April 2012 - March 2015
  • Budget: ca. € 15,3 Million
  • Funding: ca. € 7,1 Million (EU and national contributions)
  • Coordination: VOLVO Trucks
  • Partners: 29

Links