A Mission Definition, Verification and Validation Architecture - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2020

A Mission Definition, Verification and Validation Architecture

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.
No file

Dates and versions

hal-02963914 , version 1 (12-10-2020)

Identifiers

Cite

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⟩
79 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More