原文传递
Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety
| 题名： | Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety |
| 作者： | Fulton, N.;Ji, R.;Platzer, A.; |
| 关键词： | Autonomous vehicles;Advanced driver assistance systems;Driver safety;Cyber physical systems(CPS);Dynamic logic;Theorem prover; |
| 摘要： | The main objective of this project was to provide technology for answering crucial safety and correctness questions about verification of autonomous vehicle and advanced driver assistance systems based on logic. In synergistic activities, we have significantly improved tooling for cyberphysical systems (CPS) verification, including the development of the completely new theorem prover KeYmaera X based on a uniform substitution calculus for differential dynamic logic. This project saw a substantial advance in the foundation of proof certificates by developing the logic of proof for differential dynamic logic (LPdL) as a foundation for CPS safety certificates. This report briefly explains the key benefits of KeYmaera X over existing systems that are relevant for the goals of this project and discusses the advances that LPdL bring in detail. |
| 总页数： | Fulton, N.;Ji, R.;Platzer, A.; |
| 报告类型： | 科技报告 |
相关文献
- Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety.
- Towards Autonomous Vehicles.
- Liability and Regulation of Autonomous Vehicle Technologies.
- EVALUATION OF THE LATERAL SUPPORT SYSTEM: A PILOT STUDY WITHIN THE SCOPE OF THE ADVISORS PROJECT.
- MOTORWAY FLOW QUALITY IMPACTS OF ADVANCED DRIVER ASSISTANCE SYSTEMS.
- ADVANCED DRIVER ASSISTANCE (ADA) SYSTEMS: FRAMEWORK FOR SPEED ASSISTANCE.
检索历史
应用推荐
