We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free. We express our contracts in Signal Temporal Logic (STL), a lightweight specification language that enables V &V methodologies. We demonstrate how the specification can be used for evaluation of the performance of autonomy software, and We provide preliminary evidence that our contracts are not excessively conservative, i.e., they are not more restrictive than existing guidelines for safe driving by humans.
Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
01.06.2019
372658 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC
British Library Conference Proceedings | 2019
|SAE Technical Papers | 2023
|British Library Conference Proceedings | 2023
|SAFETY AND PERFORMANCE FOR LOGIC DESIGN IN AUTONOMOUS VEHICLES
Europäisches Patentamt | 2024
|