nSafeCer_SP
| Reference number | |
| Coordinator | SP SVERIGES TEKNISKA FORSKNINGSINSTITUT AB - Elektronik |
| Funding from Vinnova | SEK 1 785 204 |
| Project duration | April 2012 - March 2015 |
| Status | Completed |
Purpose and goal
SP´s main tasks in nSafeCer were the development of a prototype tool called SafetyADD (within WP220), which handles safety contracts, and the development of an AUTOSAR demonstrator where the methodology to ensure the validity of a reused tailored safety lifecycle was evaluated (WP540). The goal was to demonstrate that it is possible and beneficial to use safety contracts and component based design for safety-related software systems w.r.t. assessment and certification.
Results and expected effects
The tool SafetyADD and the ideas behind safety contracts have been described in papers presented at ISSRE12, ISSRE13, SafeComp14 and ISSRE14. We have also presented our work at ARTEMIS & ITEA Co-summit 2013 (Stockholm) and 2015 (Berlin). The ideas behind our safety contracts have during 2014 and 2015 been used in contract work for SP customers and will be further developed in future contract work and research projects.
Approach and implementation
As a basis for safety arguing, the nSafeCer project has introduced the concept of safety contracts. SP proposes one possible technique on how to formulate these using the SafetyADD tool (WP220). The usability is demonstrated by letting the tool validate safety contracts for software components selected for the AUTOSAR demonstrator (WP540). For this purpose the tool was also tailored for the automotive functional standard ISO 26262. This way, we showed that SP´s work carried out in WP220 can be instantiated as an automotive demonstrator (WP540).