Skip to Main content Skip to Navigation
Book sections

A Mission Definition, Verification and Validation Architecture

Louis Viard 1 Laurent Ciarletta 1 Pierre-Etienne Moreau 2, 3 
1 SIMBIOT - SIMulating and Building IOT
LORIA - NSS - Department of Networks, Systems and Services
2 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Book sections
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-02963914
Contributor : Louis Viard Connect in order to contact the contributor
Submitted on : Monday, October 12, 2020 - 8:05:13 AM
Last modification on : Thursday, January 20, 2022 - 5:26:12 PM

Identifiers

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM | LORIA-NSS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

72