Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study

Théo Serru
  • Fonction : Auteur
  • PersonId : 1119084
Nga Nguyen
  • Fonction : Auteur
  • PersonId : 951107
Michel Batteux
Raphael Blaize
  • Fonction : Auteur
Laurent Sagaspe
  • Fonction : Auteur
  • PersonId : 948727
Emmanuel Arbaretier
  • Fonction : Auteur
  • PersonId : 1120677

Résumé

Cyber-Physical Systems (CPS) are safety critical as they can be at risk for their users and environment. It is thus paramount to assess all risks related to their use, including the risks of cyberattacks. Indeed, malicious intruders are more and more active on such systems because of their interconnected nature. In this paper, we present a method to assess the risks of cyberattacks on CPS and their effects on safety. Thus we will show how to use the language AltaRica and the tool SimfiaNeo to model the behavior of these systems in case of cyberattacks and to generate the sequences of events leading to a safety critical state. Models based on discrete event systems like AltaRica are, however, subject to state-space explosion. To overcome this issue, we will present a new cutoff, called footprint, used to reduce the computation time and keep only relevant sequences of events. To illustrate the effectiveness of our work, we will use an automotive case study as an illustration.
Fichier principal
Vignette du fichier
5A - Generation of Cyberattacks Leading to Safety Top Event Using AltaRica an Automotive Case Study.pdf (382.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03814648 , version 1 (09-12-2022)

Identifiants

  • HAL Id : hal-03814648 , version 1

Citer

Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy, Raphael Blaize, et al.. Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study. 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques (Lambda Mu 23), Oct 2022, Paris-Saclay, France. ⟨hal-03814648⟩
254 Consultations
55 Téléchargements

Partager

More