A Mission Definition, Verification and Validation Architecture

Louis Viard (1) , Laurent Ciarletta (1) , Pierre-Etienne Moreau (2, 3)

1 SIMBIOT - SIMulating and Building IOT
2 MOSEL - Proof-oriented development of computer-based systems
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

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.

Domaines: Théorie et langage formel [cs.FL]; Robotique [cs.RO]

Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau. A Mission Definition, Verification and Validation Architecture. Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩. ⟨hal-02963914⟩