PROGRESS research projects

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

Leader: Hans Hansson Members: Hans Hansson, Sasikumar Punnekkat, Gunnar Widforss, Jan Carlson, Barbara Gallina, Guillermo Rodriguez-Navas Status: active Partners: Volvo Technology, CrossControl, SP Funding: Vinnova, Artemis Web: Project web page

Overview 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. SafeCer brings together leading companies and SMEs across Europe (including OEMs, technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected universities and research institutes are capable and motivated to realize the SafeCer objectives.

Latest project publications [ Show all publications ] S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes, Barbara Gallina, Karthik Raja Pitchai (external), Kristina Lundqvist, 11th International Conference on Software Engineering Research, Management and Applications (SERA), Springer SCI, Prague, Czech Republic, August, 2013 Agile Practices in Regulated Railway Software Development, Henrik Jonsson, Stig Larsson (former), Sasikumar Punnekkat, WoSoCER, ISSRE, IEEE, Dallas, TX, USA, November, 2012 A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model, Stefan Björnander, Rikard Land (former), Patrick Graydon, Kristina Lundqvist, Philippa Comny (The University of York), 2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012), IEEE Computer Society, Dallas, Texas, U.S.A., November, 2012