Can we build it: formal synthesis of control strategies for cooperative driver assistance systems†
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems†
复制标题
DOI：
10.1017/s0960129512000230
复制
发表时间：
2013-07
影响因子：
0.5
通讯作者：
W. Damm;H. Peter;Jan-Hendrik Rakow;B. Westphal
中科院分区：
文献类型：
--
作者：
W. Damm;H. Peter;Jan-Hendrik Rakow;B. Westphal
我们提出了一种设计和验证方法，为合作驾驶员援助系统的系统设计的早期阶段提供了研究，重点是新的汽车功能的真实性。具体来说，我们专注于应用程序，这些应用程序通过涉及多辆车的协调运动以成功完成驾驶任务的安全策略在复杂的驾驶任务中得到支持。我们提出了一种鸿沟和征服方法，以正式验证基于一组给定的机动和通信能力的正式规格，成功完成驾驶任务和碰撞自由的定时概率要求。特别是，这允许评估它们是否足以实施成功完成驾驶任务的策略。
We propose a design and verification methodology supporting the early phases of system design for cooperative driver assistance systems, focusing on the realisability of new automotive functions. Specifically, we focus on applications where drivers are supported in complex driving tasks by safe strategies involving the coordinated movements of multiple vehicles to complete the driving task successfully. We propose a divide and conquer approach for formally verifying timed probabilistic requirements on successful completion of the driving task and collision freedom based on formal specifications of a set of given manoeuvring and communication capabilities of the car. In particular, this allows an assessment of whether they are sufficient to implement strategies for successful completion of the driving task.