nSafeCer
| Reference number | |
| Coordinator | QUVIQ AB |
| Funding from Vinnova | SEK 573 638 |
| Project duration | April 2012 - March 2015 |
| Status | Completed |
Purpose and goal
Create more effective and efficient ways to certify AUTOSAR software.
Results and expected effects
1. Performed model based testing of end-to-end protection. 2. Created a connection between contract refinement and software testing to advance in Safety Argumentation using formal methods. 3. Created analisys method for End-to-End configuration variation. Published 4 papers in leading conferences, presented results in Gotheburg at open forums, Volvo AB, Volvo Trucks, Volvo Technology and Volvo Car Coorporation. Disseminated at Bosch and a variety of automotive companies in Berlin.
Approach and implementation
Research has been performed in close collaboration with Quviq´s customers, such as Volvo Car Coorporation, and project partners, such as SP and FBK in Trento. We have focussed on a real challenge from the car industry, viz. the use of AUTOSAR standard library for End-to-End communication protection in a new car model. It turned out that using this library as it is, was not safe in itself, although the standard suggests so. A further analysis and development of tools for this development have resulted in a method to determine in which cases this library can contribute to safety.