Scholarlink

In automotive engineering, one of the ideas of vehicle cooperation is to improve convoy movements to increase the safety and efficiency of transportation systems. The complexity and stochastic nature of such cooperative systems pose difficulties for traditional model-checking techniques. Statistical model checking (SMC) provides an answer by using statistical inference to evaluate system features in a probabilistic way. In this work, we show how SMC offers a strong framework for assessing vehicle platooning systems in a range of operational scenarios by fusing statistical analysis and formal verification methodologies. Thanks to this approach, we managed to statistically prove a set of safety and functional properties of an autonomous vehicle platoon system.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Statistical Model Checking of Cooperative Autonomous Driving Systems

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Cinzia Bernardeschi,
  • Giuseppe Lettieri,
  • Federico Rossi

摘要

In automotive engineering, one of the ideas of vehicle cooperation is to improve convoy movements to increase the safety and efficiency of transportation systems. The complexity and stochastic nature of such cooperative systems pose difficulties for traditional model-checking techniques. Statistical model checking (SMC) provides an answer by using statistical inference to evaluate system features in a probabilistic way. In this work, we show how SMC offers a strong framework for assessing vehicle platooning systems in a range of operational scenarios by fusing statistical analysis and formal verification methodologies. Thanks to this approach, we managed to statistically prove a set of safety and functional properties of an autonomous vehicle platoon system.