Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time:Formal Techniques for Safety-Critical Systems. FTSCS 2018

Kamali, Maryam and Linker, Sven and Fisher, Michael (2019) Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time:Formal Techniques for Safety-Critical Systems. FTSCS 2018. In: Formal Techniques for Safety-Critical Systems. Communications in Computer and Information Science . Springer, Cham, pp. 18-36. ISBN 9783030129873

Full text not available from this repository.

Abstract

The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the complex nature of such systems, for example, the intricate combination of discrete and continuous aspects, ensures that whole system verification is often infeasible. This motivates the need for novel analysis approaches that modularise the problem, allowing us to restrict our analysis to one particular aspect of the system while abstracting away from others. For instance, while verifying the real-time properties of an autonomous system we might hide the details of the internal decision-making components. In this paper we describe verification of a range of properties across distinct dimensions on a practical hybrid agent architecture. This allows us to verify the autonomous decision-making, real-time aspects, and spatial aspects of an autonomous vehicle platooning system. This modular approach also illustrates how both algorithmic and deductive verification techniques can be applied for the analysis of different system subcomponents.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
155574
Deposited By:
Deposited On:
16 Jun 2021 13:57
Refereed?:
Yes
Published?:
Published
Last Modified:
27 Aug 2021 07:09