In this paper, we present a method to assess functional safety of architectures for Automated Driving Systems (ADS). The ISO 26262 standard defines requirements and processes in support of achieving functional safety of passenger vehicles, but does not address in particular autonomous driving functions. Autonomous driving will bring with it a number of fundamental changes affecting functional safety. First, there will no longer be a driver capable of controlling the vehicle in case of a failure of the ADS. Second, the hardware and software architectures will become more complex and flexible than those used for conventional vehicles. We present an automated method to assert functional safety of ADS systems in the spirit of ISO 26262 in light of these changes. The approach is model-based and implemented in the QuantUM analysis tool. We illustrate its use in functional safety analysis using a proposed practical ADS architecture and address, in particular, architectural variant analysis. ; published
Automated Functional Safety Analysis of Automated Driving Systems
2018-08-30
Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Howar, Falk; Barnat, Jiří (Hrsg.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 11119). - S. 35-51. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-00243-5
Aufsatz (Konferenz)
Elektronische Ressource
Englisch