Communication Dans Un Congrès Année : 2025

Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods

Résumé

We investigate the use of formal methods to detect and resolve feature interactions (FI) in cyber-physical systems (CPS). These systems are often made up of multiple components that may interact with each other in unexpected and unwanted ways, potentially creating a security risk. Specifically, we use supervisory control theory to examine FI in a smart home, an example of a CPS. With the rising adoption of smart home devices, mitigating these interaction threats at the modelling stage is important before they are installed in homes. We present an extended taxonomy of FI threats that affect such a CPS. We demonstrate how one such threat, chaotic device management (Codema), can be detected and resolved in a system comprised of a smart light bulb that supports two disjointed device management channels.

Fichier principal
Vignette du fichier
ICCA_2025_Feature_Interaction_in_IoT.pdf (320.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05364753 , version 1 (14-11-2025)

Licence

Identifiants

Citer

D. Walker H., S. Ricker, Hervé Marchand. Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods. ICCA 2025 - IEEE 19th International Conference on Control & Automation, Jun 2025, Tallinn, Estonia. pp.274-279, ⟨10.1109/ICCA65672.2025.11129862⟩. ⟨hal-05364753⟩
50 Consultations
81 Téléchargements

Altmetric

Partager

  • More