From static analyses to runtime verification of cyber-physical systems - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Poster De Conférence Année : 2023

From static analyses to runtime verification of cyber-physical systems

Résumé

Modern autonomous systems, known as Cyber-Physical Systems (CPSs), contain thousands of lines of source code running on hundreds of Electronic Control Units (ECUs). Traditional formal verification methods may miss runtime faults. This paper proposes a temporal monitoring logic to derive a runtime verification method for CPSs analyzed with a dataflow Model of Computation and Communication (MoCC). The runtime verification method developed here verifies that properties derived from static analyses remain valid at runtime. This contribution is illustrated by the formalization of some runtime properties on a partial dataflow model of the Ingenuity helicopter.

Domaines

Informatique
Fichier principal
Vignette du fichier
poster_Guillaume_Roumage_266538.pdf (604.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04520657 , version 1 (25-03-2024)

Identifiants

  • HAL Id : cea-04520657 , version 1

Citer

Guillaume Roumage, Selma Azaiez, Stephane Louise. From static analyses to runtime verification of cyber-physical systems. DAC 2023 - 2023 60th ACM/IEEE Design Automation Conference, Jul 2023, San Francisco, United States. 2023. ⟨cea-04520657⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More