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. 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).
    4. 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.
    5. 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.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. 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.
    11. 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.
    12. 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.
    13. Lavoie, Brenden & Ong, Felita & Habib, Khandker Nurul, 2024. "Relax on the way to work or work on the way to relax? Influences of vehicle interior on travel time perceptions in autonomous vehicles," Transportation Research Part A: Policy and Practice, Elsevier, vol. 183(C).
    14. Zhang, Fang & Lu, Jian & Hu, Xiaojian & Meng, Qiang, 2023. "Integrated deployment of dedicated lane and roadside unit considering uncertain road capacity under the mixed-autonomy traffic environment," Transportation Research Part B: Methodological, Elsevier, vol. 174(C).
    15. Li, Dun & Huang, Youlin & Qian, Lixian, 2022. "Potential adoption of robotaxi service: The roles of perceived benefits to multiple stakeholders and environmental awareness," Transport Policy, Elsevier, vol. 126(C), pages 120-135.
    16. Gruber, Mario, 2020. "An evolutionary perspective on adoption-diffusion theory," Journal of Business Research, Elsevier, vol. 116(C), pages 535-541.
    17. Saeed, Tariq Usman & Burris, Mark W. & Labi, Samuel & Sinha, Kumares C., 2020. "An empirical discourse on forecasting the use of autonomous vehicles using consumers’ preferences," Technological Forecasting and Social Change, Elsevier, vol. 158(C).
    18. Emberger, Guenter & Pfaffenbichler, Paul, 2020. "A quantitative analysis of potential impacts of automated vehicles in Austria using a dynamic integrated land use and transport interaction model," Transport Policy, Elsevier, vol. 98(C), pages 57-67.
    19. Bray, Garrett & Cebon, David, 2022. "Operational speed strategy opportunities for autonomous trucking on highways," Transportation Research Part A: Policy and Practice, Elsevier, vol. 158(C), pages 75-94.
    20. Lipaczewski, Michael & Ortmeier, Frank & Prosvirnova, Tatiana & Rauzy, Antoine & Struck, Simon, 2015. "Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica," Reliability Engineering and System Safety, Elsevier, vol. 140(C), pages 191-199.

    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.