ARTEMIS nSafeCer QUVIQ
|Bidrag från Vinnova||573 638 kronor|
|Projektets löptid||april 2012 - mars 2015|
Syfte och mål
Effektivisera av säkerhetscertifiering av AUTOSAR programvara.
Resultat och förväntade effekter
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.
Upplägg och genomförande
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.