Formal verification of autonomous vehicle platooning
نویسندگان
چکیده
منابع مشابه
Formal Verification of Autonomous Vehicle Platooning
The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviours of the vehicles in these platoons must be certified. An appropriate representation for vehicle platooning is as a multiagent system in which each agent captures the “autonomous decisions” carried ou...
متن کاملFormal Verification of an Autonomous Vehicle System
Model checking is a widely used technique for formal verification of distributed systems. It works by effectively examining the complete reachable state space of a model in order to determine whether the system satisfies its requirements or desired properties. The complexity of an autonomous vehicle system, however, renders model checking of the entire system infeasible due to the state explosi...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملVehicle-to-vehicle communication for AVCS platooning
Vehicle-to-vehicle radio links suffer from power variations, multipath fading and associated Doppler spreading in frequency, as well as interference form other vehicles. These effects are investigated in the context of an Automated Vehicle Control Systems (AVCS) employing vehicle platoons. A statistical model for the channel is considered and the performance of the network involving many links ...
متن کاملA Formal Approach to Autonomous Vehicle Coordination
Increasing demands on safety and energy efficiency will require higher levels of automation in transportation systems. This involves dealing with safety-critical distributed coordination. In this paper we demonstrate how a Satisfiability Modulo Theories (SMT) solver can be used to prove correctness of a vehicular coordination problem. We formalise a recent distributed coordination protocol and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2017
ISSN: 0167-6423
DOI: 10.1016/j.scico.2017.05.006