IDEAS home Printed from https://ideas.repec.org/a/eee/reensy/v174y2018icp29-40.html
   My bibliography  Save this article

A formal framework for the safe design of the Autonomous Driving supervision

Author

Listed:
  • Cuer, Romain
  • Piétrac, Laurent
  • Niel, Eric
  • Diallo, Saidou
  • Minoiu-Enache, Nicoleta
  • Dang-Van-Nhan, Christophe

Abstract

The autonomous vehicle is meant to drive by itself, without any driver intervention (for the levels 4 and 5 of automated driving, according to the National Highway Traffic Safety Administration(NHTSA)). This car includes a new function, called Autonomous Driving (AD) function, in charge of driving the vehicle when it is authorized. This function may be in different states (basically active or inactive), that shall be managed by a sub-function, named supervision. The main focus of this work is to ensure that the supervision of a function, performed by a safety critical embedded automotive control system (controlled systems are not considered), respects functional and safety requirements. Usually two processes are involved in the system design: the systems engineering process and the safety one. The first process defines the functional requirements on the function while the safety one specifies redundant sub-functions (realizing together the function) allowing to ensure a continuous service under failure. Since two different aspects of the system are specified, it is a major challenge to make all requirements consistent, from the outset of the design process. In this paper, a method is precisely proposed to address this issue. A progressive reinforcement of the treated requirements is achieved by means of formal state models. In fact, the proposed approach permits to build state models from requirements initially expressed in natural language. Potential ambiguities, incompletenesses or undertones in requirements are in this way gradually deleted. The enrichment of conventional formal verification of control properties with safety requirements constitutes the main originality of the deployed method and contributes to solve inconsistencies between functional and safety verification processes. In addition, the application of the method to the design of AD function supervision highlights its efficiency in an industrial context.

Suggested Citation

  • Cuer, Romain & Piétrac, Laurent & Niel, Eric & Diallo, Saidou & Minoiu-Enache, Nicoleta & Dang-Van-Nhan, Christophe, 2018. "A formal framework for the safe design of the Autonomous Driving supervision," Reliability Engineering and System Safety, Elsevier, vol. 174(C), pages 29-40.
    • Handle: RePEc:eee:reensy:v:174:y:2018:i:c:p:29-40
    DOI: 10.1016/j.ress.2018.01.014
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832017305914
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2018.01.014?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Fagnant, Daniel J. & Kockelman, Kara, 2015. "Preparing a nation for autonomous vehicles: opportunities, barriers and policy recommendations," Transportation Research Part A: Policy and Practice, Elsevier, vol. 77(C), pages 167-181.
    2. David, Pierre & Idasiak, Vincent & Kratz, Frédéric, 2010. "Reliability study of complex physical systems using SysML," Reliability Engineering and System Safety, Elsevier, vol. 95(4), pages 431-450.
    3. Sharvia, Septavera & Papadopoulos, Yiannis, 2015. "Integrating model checking with HiP-HOPS in model-based safety analysis," Reliability Engineering and System Safety, Elsevier, vol. 135(C), pages 64-80.
    4. Pierre Mauborgne & Samuel Deniaud & Eric Levrat & Eric Bonjour & Jean-Pierre Micaëlli & Dominique Loise, 2016. "Operational and system hazard analysis in a safe systems requirement engineering process - Application to automotive industry," Post-Print hal-01386651, HAL.
    5. Kang, Eun-Young & Enoiu, Eduard Paul & Marinescu, Raluca & Seceleanu, Cristina & Schobbens, Pierre-Yves & Pettersson, Paul, 2013. "A methodology for formal analysis and verification of EAST-ADL models," Reliability Engineering and System Safety, Elsevier, vol. 120(C), pages 127-138.
    6. Kalra, Nidhi & Paddock, Susan M., 2016. "Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability?," Transportation Research Part A: Policy and Practice, Elsevier, vol. 94(C), pages 182-193.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Cheng, Ruijun & Cheng, Yu & Chen, Dewang & Song, Haifeng, 2021. "Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
    2. Pauer, Gábor & Török, à rpád, 2022. "Introducing a novel safety assessment method through the example of a reduced complexity binary integer autonomous transport model," Reliability Engineering and System Safety, Elsevier, vol. 217(C).
    3. Khastgir, Siddartha & Brewerton, Simon & Thomas, John & Jennings, Paul, 2021. "Systems Approach to Creating Test Scenarios for Automated Driving Systems," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    4. Schranner, Felix S. & Misheni, Alireza Abassi & Warnecke, Jork, 2021. "Deriving a representative variant for the functional safety development according to ISO 26262," Reliability Engineering and System Safety, Elsevier, vol. 209(C).
    5. He, Wenbin & Mao, Jianxu & Song, Kai & Li, Zhe & Su, Yulong & Wang, Yaonan & Pan, Xiangcheng, 2023. "Structural performance prediction based on the digital twin model: A battery bracket example," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
    6. Chai, Ming & Zhang, Xinyi & Schlingloff, Bernd-Holger & Tang, Tao & Liu, Hongjie, 2024. "Online hazard prediction of train operations with parametric hybrid automata based runtime verification," Reliability Engineering and System Safety, Elsevier, vol. 241(C).

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Hudson, John & Orviska, Marta & Hunady, Jan, 2019. "People’s attitudes to autonomous vehicles," Transportation Research Part A: Policy and Practice, Elsevier, vol. 121(C), pages 164-176.
    2. Liu, Peng & Zhang, Yawen & He, Zhen, 2019. "The effect of population age on the acceptable safety of self-driving vehicles," Reliability Engineering and System Safety, Elsevier, vol. 185(C), pages 341-347.
    3. Nourinejad, Mehdi & Bahrami, Sina & Roorda, Matthew J., 2018. "Designing parking facilities for autonomous vehicles," Transportation Research Part B: Methodological, Elsevier, vol. 109(C), pages 110-127.
    4. Talebian, Ahmadreza & Mishra, Sabyasachee, 2022. "Unfolding the state of the adoption of connected autonomous trucks by the commercial fleet owner industry," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 158(C).
    5. Marletto, Gerardo, 2019. "Who will drive the transition to self-driving? A socio-technical analysis of the future impact of automated vehicles," Technological Forecasting and Social Change, Elsevier, vol. 139(C), pages 221-234.
    6. Du, Manqing & Zhang, Tingru & Liu, Jinting & Xu, Zhigang & Liu, Peng, 2022. "Rumors in the air? Exploring public misconceptions about automated vehicles," Transportation Research Part A: Policy and Practice, Elsevier, vol. 156(C), pages 237-252.
    7. Kassens-Noor, Eva & Dake, Dana & Decaminada, Travis & Kotval-K, Zeenat & Qu, Teresa & Wilson, Mark & Pentland, Brian, 2020. "Sociomobility of the 21st century: Autonomous vehicles, planning, and the future city," Transport Policy, Elsevier, vol. 99(C), pages 329-335.
    8. Li, Shunxi & Sui, Pang-Chieh & Xiao, Jinsheng & Chahine, Richard, 2019. "Policy formulation for highly automated vehicles: Emerging importance, research frontiers and insights," Transportation Research Part A: Policy and Practice, Elsevier, vol. 124(C), pages 573-586.
    9. Hussain, Qinaat & Alhajyaseen, Wael K.M. & Adnan, Muhammad & Almallah, Mustafa & Almukdad, Abdulkarim & Alqaradawi, Mohammed, 2021. "Autonomous vehicles between anticipation and apprehension: Investigations through safety and security perceptions," Transport Policy, Elsevier, vol. 110(C), pages 440-451.
    10. Ljubi, Klara & Groznik, Aleš, 2023. "Role played by social factors and privacy concerns in autonomous vehicle adoption," Transport Policy, Elsevier, vol. 132(C), pages 1-15.
    11. Xu, Zhengtian & Yin, Yafeng & Zha, Liteng, 2017. "Optimal parking provision for ride-sourcing services," Transportation Research Part B: Methodological, Elsevier, vol. 105(C), pages 559-578.
    12. Andrea Bertolini & Massimo Riccaboni, 2021. "Grounding the case for a European approach to the regulation of automated driving: the technology-selection effect of liability rules," European Journal of Law and Economics, Springer, vol. 51(2), pages 243-284, April.
    13. Tscharaktschiew, Stefan & Reimann, Felix, 2021. "On employer-paid parking and parking (cash-out) policy: A formal synthesis of different perspectives," Transport Policy, Elsevier, vol. 110(C), pages 499-516.
    14. Kolarova, Viktoriya & Steck, Felix & Bahamonde-Birke, Francisco J., 2019. "Assessing the effect of autonomous driving on value of travel time savings: A comparison between current and future preferences," Transportation Research Part A: Policy and Practice, Elsevier, vol. 129(C), pages 155-169.
    15. Pons-Prats, Jordi & Živojinović, Tanja & Kuljanin, Jovana, 2022. "On the understanding of the current status of urban air mobility development and its future prospects: Commuting in a flying vehicle as a new paradigm," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 166(C).
    16. Gurumurthy, Krishna Murthy & Kockelman, Kara M., 2021. "Impacts of shared automated vehicles on airport access and operations, with opportunities for revenue recovery: Case Study of Austin, Texas," Research in Transportation Economics, Elsevier, vol. 90(C).
    17. Khastgir, Siddartha & Brewerton, Simon & Thomas, John & Jennings, Paul, 2021. "Systems Approach to Creating Test Scenarios for Automated Driving Systems," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    18. Nordhoff, Sina & Stapel, Jork & van Arem, Bart & Happee, Riender, 2020. "Passenger opinions of the perceived safety and interaction with automated shuttles: A test ride study with ‘hidden’ safety steward," Transportation Research Part A: Policy and Practice, Elsevier, vol. 138(C), pages 508-524.
    19. Yueqi Mao & Qiang Mei & Peng Jing & Ye Zha & Ying Xue & Jiahui Huang & Danning Shao & Pan Luo, 2022. "Factors Affecting the Parental Intention of Using AVs to Escort Children: An Integrated SEM–Hybrid Choice Model Approach," Sustainability, MDPI, vol. 14(18), pages 1-21, September.
    20. Kassens-Noor, Eva & Cai, Meng & Kotval-Karamchandani, Zeenat & Decaminada, Travis, 2021. "Autonomous vehicles and mobility for people with special needs," Transportation Research Part A: Policy and Practice, Elsevier, vol. 150(C), pages 385-397.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:reensy:v:174:y:2018:i:c:p:29-40. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.