Model-Based Synthesis and Safety Assurance of Intelligent Controllers for Autonomous Vehicles

自动驾驶汽车智能控制器的基于模型的综合和安全保证

• 批准号: RGPIN-2017-04733
• 负责人: Czarnecki, Krzysztof
• 金额: $ 3.06万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634561
• 关键词: Model; Based; Synthesis; Safety; Assurance

Vehicles with limited self-driving capabilities are already on the market and some car makers have promised products capable of autonomous driving in an urban setting in 2020. Self-driving cars will eventually completely transform the automotive industry, replacing private car ownership by service-based products such as robotic cabs. The deployment of large-scale self-driving vehicle fleets will reduce the number of crashes and crash severity, reduce emissions, allow commuters to use their time more effectively, and free up spaces occupied by parked cars. While current self-driving technologies have improved immensely in recent years, a major challenge is assuring safe and appropriate operation of an autonomous vehicle in all traffic situations and all road conditions. New design methods and tools are needed to address this challenge.

自动驾驶功能有限的汽车已经上市，一些汽车制造商已经承诺在2020年推出能够在城市环境中自动驾驶的产品。自动驾驶汽车最终将彻底改变汽车行业，用机器人出租车等服务型产品取代私家车。大规模自动驾驶车队的部署将减少碰撞次数和碰撞严重程度，减少排放，让通勤者更有效地利用时间，并释放停放汽车占用的空间。虽然近年来自动驾驶技术有了很大的改进，但一个主要的挑战是确保自动驾驶汽车在所有交通情况和所有道路条件下的安全和适当操作。需要新的设计方法和工具来应对这一挑战。