pSafeCer_SP
| Reference number | |
| Coordinator | SP Sveriges Tekniska Forskningsinstitut AB - SP Sveriges Tekniska Forskningsinstitut AB, Borås |
| Funding from Vinnova | SEK 1 743 971 |
| Project duration | April 2011 - September 2013 |
| Status | Completed |
Important results from the project
The primary objective of pSafeCer is to increase efficiency and reduced time-to-market by composable certification of safety-relevant embedded systems. pSafeCer will provide support for system safety certification based on arguments and properties of system components. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. pSafeCer will also develop certification guidelines and a training example for other domains, thus considerably increasing its market impact.
Expected long term effects
SP has developed a model that shows important links between a development and a certification process as well as their links to a component model, safety contracts and tools. A specification for a tool that manages safety contracts has also been developed by SP. The prototype tool will be implemented in the nSafeCer project. In addition, SP has developed a specification for a demonstrator that uses the project results to facilitate certification work for AUTOSAR software.
Approach and implementation
Requirements have been collected from project partners to support evaluation of different development and certification processes, component models, and e.g. how to argue safety. Tools are developed, which implements the ideas from research in the project, and are used by the demonstrators to show that the concepts are working.