IDEAS home Printed from https://ideas.repec.org/a/gam/jftint/v14y2022i2p60-d751594.html
   My bibliography  Save this article

Safety Verification of Driving Resource Occupancy Rules Based on Functional Language

Author

Listed:
  • Zhixi Hu

    (Academic Affairs Office, Changzhou Institute of Technology, Changzhou 213032, China)

  • Yi Zhu

    (School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China
    Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Ministry of Industry and Information Technology, Nanjing 211106, China)

  • Xiaoying Chen

    (School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China)

  • Yu Zhao

    (School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China)

Abstract

Autonomous driving is a safety-critical system, and the occupancy of its environmental resources affects the safety of autonomous driving. In view of the lack of safety verification of environmental resource occupation rules in autonomous driving, this paper proposes a verification method of automatic driving model based on functional language through CSP M . Firstly, the modeling and verification framework of an autopilot model based on CSP M is given. Secondly, the process algebra definition of CSP M is given. Thirdly, the typical single loop environment model in automatic driving is abstracted, and the mapping method from automatic driving model to CSP is described in detail for the automatic driving environment and the typical collision, overtaking, lane change and other scenes involved. Finally, the autopilot model of the single loop is mapped to CSP M , and the application effect of this method is discussed by using FDR tool. Experiments show that this method can verify the safety of autonomous driving resources, thereby improving the reliability of the autonomous driving model.

Suggested Citation

  • Zhixi Hu & Yi Zhu & Xiaoying Chen & Yu Zhao, 2022. "Safety Verification of Driving Resource Occupancy Rules Based on Functional Language," Future Internet, MDPI, vol. 14(2), pages 1-15, February.
    • Handle: RePEc:gam:jftint:v:14:y:2022:i:2:p:60-:d:751594
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/1999-5903/14/2/60/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/1999-5903/14/2/60/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Stewart, Danielle & Liu, Jing (Janet) & Cofer, Darren & Heimdahl, Mats & Whalen, Michael W. & Peterson, Michael, 2021. "AADL-Based safety analysis using formal methods applied to aircraft digital systems," Reliability Engineering and System Safety, Elsevier, vol. 213(C).
    2. Jingjing Hao & Guangsheng Han, 2020. "On the Modeling of Automotive Security: A Survey of Methods and Perspectives," Future Internet, MDPI, vol. 12(11), pages 1-17, November.
    3. Lingli Yu & Decheng Kong & Xiaoxin Yan, 2018. "A Driving Behavior Planning and Trajectory Generation Method for Autonomous Electric Bus," Future Internet, MDPI, vol. 10(6), pages 1-14, June.
    4. Youngjoon Yoon & Hyogon Kim, 2021. "Resolving Persistent Packet Collisions through Broadcast Feedback in Cellular V2X Communication," Future Internet, MDPI, vol. 13(8), pages 1-21, August.
    5. Kamran Zaidi & Muttukrishnan Rajarajan, 2015. "Vehicular Internet: Security & Privacy Challenges and Opportunities," Future Internet, MDPI, vol. 7(3), pages 1-19, July.
    Full references (including those not matched with items on IDEAS)

    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. Hu, Yunpeng & Peng, Qibo & Ni, Qing & Wu, Xinfeng & Ye, Dongming, 2023. "Event-based safety and reliability analysis integration in model-based space mission design," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
    2. Song, Xueying & Qi, Lei & Liu, Shiyan & Ding, Shuiting & Li, Daqing, 2024. "Simple analysis of complex system safety based on Finite State Machine Network and phase space theory," Reliability Engineering and System Safety, Elsevier, vol. 249(C).
    3. Teguh Indra Bayu & Yung-Fa Huang & Jeang-Kuo Chen, 2023. "Reinforcement Learning Approach for Adaptive C-V2X Resource Management," Future Internet, MDPI, vol. 15(10), pages 1-15, October.
    4. Xiao, Jun & Qu, Yuqing & She, Buxin & Song, Chenhui, 2023. "Operational boundary of flow network," Reliability Engineering and System Safety, Elsevier, vol. 231(C).
    5. Gan, Chenyu & Ding, Shuiting & Qiu, Tian & Liu, Peng & Ma, Qinglin, 2024. "Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal–mechanical systems of aero-engines," Reliability Engineering and System Safety, Elsevier, vol. 243(C).

    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:gam:jftint:v:14:y:2022:i:2:p:60-:d:751594. 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: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    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.