Reference number
Coordinator QUVIQ AB
Funding from Vinnova SEK 573 638
Project duration April 2012 - March 2015
Status Completed

Purpose and goal

Effektivisera av säkerhetscertifiering av AUTOSAR programvara.

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.

External links

The project description has been provided by the project members themselves and the text has not been looked at by our editors.