DocumentCode
1775824
Title
Case study on combined validation of safety & security requirements
Author
Sojka, Michal ; Krec, Michal ; Hanzalek, Zdenek
Author_Institution
Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic
fYear
2014
fDate
18-20 June 2014
Firstpage
244
Lastpage
251
Abstract
In the automotive domain, it is of paramount importance to ensure safety, and recently also security, of the developed products. In many cases safety and security are handled separately by independent teams. In this paper we deal with testing and validation of safety- and security-related properties of control software in the AUTOSAR architecture and show that the strict separation of those two activities is not necessary and that combining them can bring economic benefits. We demonstrate that by developing software-in-the-loop and hardware-in-the-loop testbeds and use them for both safety-and security-related testing activities. We evaluate a prototype of electric motors control software, that is currently under development by Infineon Technologies, and perform a number of tests to verify correct functionality of implemented safety measures even under the presence of attacks. The motor control software is integrated with a message authentication protocol on CAN bus. The results show, that apart from few minor problems, the implemented safety measures function correctly.
Keywords
automotive electronics; cryptographic protocols; device drivers; electronic engineering computing; open systems; program testing; program verification; safety-critical software; software architecture; AUTOSAR architecture; CAN bus; Infineon Technologies; attack presence; automotive domain; automotive open system architecture; control software testing; eMotor driver; electric motors control software; hardware-in-the-loop testbed; message authentication protocol; safety validation; security requirements; software-in-the-loop testbed; Circuit faults; Current measurement; Mathematical model; Pulse width modulation; Safety; Software packages;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on
Conference_Location
Pisa
Type
conf
DOI
10.1109/SIES.2014.6871210
Filename
6871210
Link To Document