Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study
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
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) |
---|