Diarienummer 2012-01642
Koordinator QUVIQ AB
Bidrag från Vinnova 573 638 kronor
Projektets löptid april 2012 - mars 2015
Status Avslutat

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.

Externa länkar

nSafeCer webpage

Texten på denna sida har projektgruppen själv formulerat och innehållet är ej granskat av våra redaktörer.