Abstract
Safe operation of Cyber-Physical Systems such as Unmanned Aircraft Systems requires guarantees not only on the system, but also on the mission. Following approaches that are used to produce robust Cyber-Physical Controllers, we present the architecture of a mission definition, verification and validation toolchain. We conclude by reporting on the current state of the authors’ implementation of this framework.
Cite
CITATION STYLE
Viard, L., Ciarletta, L., & Moreau, P. E. (2020). A mission definition, verification and validation architecture. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12232 LNCS, pp. 281–287). Springer. https://doi.org/10.1007/978-3-030-54994-7_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
