Standard
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018. / Kamali, Maryam
; Linker, Sven; Fisher, Michael.
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. ed. / Cyrille Artho; Peter Csaba Ölveczky . Cham: Springer, 2019. p. 18-36 (Communications in Computer and Information Science; Vol. 1008).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Harvard
Kamali, M
, Linker, S & Fisher, M 2019,
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018. in C Artho & PC Ölveczky (eds),
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science, vol. 1008, Springer, Cham, pp. 18-36.
https://doi.org/10.1007/978-3-030-12988-0_2APA
Kamali, M.
, Linker, S., & Fisher, M. (2019).
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018. In C. Artho, & P. C. Ölveczky (Eds.),
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (pp. 18-36). (Communications in Computer and Information Science; Vol. 1008). Springer.
https://doi.org/10.1007/978-3-030-12988-0_2Vancouver
Kamali M
, Linker S, Fisher M.
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018. In Artho C, Ölveczky PC, editors, Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Cham: Springer. 2019. p. 18-36. (Communications in Computer and Information Science). doi: 10.1007/978-3-030-12988-0_2
Author
Kamali, Maryam
; Linker, Sven ; Fisher, Michael. /
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time : Formal Techniques for Safety-Critical Systems. FTSCS 2018. Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. editor / Cyrille Artho ; Peter Csaba Ölveczky . Cham : Springer, 2019. pp. 18-36 (Communications in Computer and Information Science).
Bibtex
@inbook{bdb40d8bcfeb45b5a4f892ce84090b0b,
title = "Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018",
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.",
author = "Maryam Kamali and Sven Linker and Michael Fisher",
year = "2019",
month = feb,
day = "2",
doi = "10.1007/978-3-030-12988-0_2",
language = "English",
isbn = "9783030129873",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "18--36",
editor = "Cyrille Artho and {{\"O}lveczky }, {Peter Csaba}",
booktitle = "Formal Techniques for Safety-Critical Systems",
}
RIS
TY - CHAP
T1 - Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
T2 - Formal Techniques for Safety-Critical Systems. FTSCS 2018
AU - Kamali, Maryam
AU - Linker, Sven
AU - Fisher, Michael
PY - 2019/2/2
Y1 - 2019/2/2
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-030-12988-0_2
DO - 10.1007/978-3-030-12988-0_2
M3 - Chapter (peer-reviewed)
SN - 9783030129873
T3 - Communications in Computer and Information Science
SP - 18
EP - 36
BT - Formal Techniques for Safety-Critical Systems
A2 - Artho, Cyrille
A2 - Ölveczky , Peter Csaba
PB - Springer
CY - Cham
ER -
