Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

A Formally Verified Fail-Operational Safety Concept for Automated Driving

Journal Article
12-05-01-0002
ISSN: 2574-0741, e-ISSN: 2574-075X
DOI: https://doi.org/10.4271/12-05-01-0002
Published January 17, 2022 by SAE International in United States
A Formally Verified Fail-Operational Safety Concept for Automated Driving
Sector:
Citation: Fu, Y., Terechko, A., Groote, J., and Saberi, A., "A Formally Verified Fail-Operational Safety Concept for Automated Driving," SAE Intl. J CAV 5(1):7-21, 2022, https://doi.org/10.4271/12-05-01-0002.
Language: English

References

  1. 2018
  2. 2019
  3. Whitelegg , J. and Haq , G. 2006
  4. D’Ambrosio , J.G. and Debouk , R. ASIL Decomposition: The Good, the Bad, and the Ugly SAE Technical Paper 2013-01-0195 2013 https://doi.org/10.4271/2013-01-0195
  5. 2018
  6. Bijlsma , T. et al. A Distributed Safety Mechanism Using Middleware and Hypervisors for Autonomous Vehicles Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) Grenoble, France 2020
  7. Fürst , S. Scalable, Safe and Multi-OEM Capable Architecture for Autonomous Driving 9th Vector Congress Germany 2018
  8. Fruehling , T. et al. Architectural Safety Perspectives & Considerations Regarding the AI-Based AV Domain Controller Proceedings of the IEEE International Conference on Connected Vehicles and Expo (ICCVE) Graz, Austria 2019
  9. Bijlsma , T. and Hendriks , T. A Fail-Operational Truck Platooning Architecture Proceedings of the IEEE Intelligent Vehicles Symposium (IV) California, USA 2017
  10. Luo , Y. , Saberi , A.K. , Bijlsma , T. , Lukkien , J.J. et al. An Architecture Pattern for Safety Critical Automated Driving Applications: Design and Analysis Proceedings IEEE International Systems Conference (SysCon) Montreal, Quebec, Canada 2017
  11. Armoush , A. 2010
  12. Koopman , P. and Wagner , M. Challenges in Autonomous Vehicle Testing and Validation SAE Int. J. Trans. Safety 4 1 2016 15 24 https://doi.org/10.4271/2016-01-0128
  13. 2019
  14. Saberi , A.K. , Hegge , J. , Fruehling , T. , and Groote , J.F. Beyond SOTIF: Black Swans and Formal Method IEEE International Systems Conference (SysCon) 2020
  15. Shalev-Shwartz , S. , Shammah , S. , and Shashua , A. 2017
  16. IEEE 2846 Working Group https://sagroups.ieee.org/2846/ 2020
  17. Selvaraj , Y. , Ahrendt , W. , and Fabian , M. Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study International Workshop on Formal Methods for Industrial Critical Systems 11687 Cham Springer 2019
  18. Schmid , T. , Schraufstetter , S. , Wagner , S. , and Hellhake , D. A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262 Proceedings of the 4th International Conference on System Reliability and Safety Rome, Italy 2019
  19. Friedenthal , S. , Moore , A. , and Steiner , R. A Practical Guide to SysML: The Systems Modeling Language Waltham, MA Morgan Kaufmann 2014
  20. Geihs , K. Middleware Challenges Ahead Computer 34 2001 24 31
  21. Kane , A. , Chowdhury , O. , Datta , A. , and Koopman , P. A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System Proceedings of the Runtime Verification Lecture Notes in Computer Science 9333 Cham Springer 2015
  22. Schlesselman , J.M. , Pardo-Castellote , G. , and Farabaugh , B. OMG Data-Distribution Service (DDS): Architectural Update IEEE Military Communications Conference 2 2004 961 967
  23. https://apollo.auto/ 2021
  24. Luckcuck , M. , Farrell , M. , Dennis , L.A. , Dixon , C. et al. Formal Specification and Verification of Autonomous Robotic Systems: A Survey ACM Computing Surveys (CSUR) 52 5 2019 1 41
  25. Groote , J.F. and Mousavi , M.R. Modeling and Analysis of Communicating Systems Cambridge, MA The MIT Press 2014 https://www.mcrl2.org
  26. Groote , J.F. and Mateescu , R. Verification of Temporal Properties of Processes in a Setting with Data International Conference on Algebraic Methodology and Software Technology 1999 74 90
  27. Groote , J.F. , Kouters , T.W.D.M. , and Osaiweran , A. Specification Guidelines to Avoid the State Space Explosion Problem Softw. Test. Verif. Reliab. 25 2015 4 33
  28. 2016 http://standards.sae.org/j3016_201609/
  29. Thorn , E. , Kimmel , S.C. , Chaka , M. , and Hamilton , B.A. 2018
  30. Emzivat , Y. , Ibanez-Guzman , J. , Martinet , P. , and Roux , O.H. Dynamic Driving Task Fallback for an Automated Driving System Whose Ability to Monitor the Driving Environment Has Been Compromised 2017 IEEE Intelligent Vehicles Symposium (IV) California, USA 2017
  31. Yeh , Y.C. Triple-Triple Redundant 777 Primary Flight Computer Proceedings of the IEEE Aerospace Applications Conference 1996 1 293 307
  32. Oliveira , R. , Pereira , D. , Maia , C. , and Santos , P. A Domain Specific Language for Automotive Systems Integration Proceedings of the IECON 2019—45th Annual Conference of the IEEE Industrial Electronics Society Lisbon, Portugal 2019 4483 4488
  33. AUTOSAR 2020 https://www.autosar.org/fileadmin/user_upload/standards/classic/20-11/AUTOSAR_SWS_ECUStateManager.pdf

Cited By