Formal Methods for Residual Risk Reduction in Cyber-Physical Systems
Uložené v:
| Názov: | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems |
|---|---|
| Autori: | Kaufmann, David, Mateescu, Radu, Muller, Lucie, Serwe, Wendelin, Wotawa, Franz |
| Prispievatelia: | Mateescu, Radu |
| Zdroj: | 2025 25th International Conference on Software Quality, Reliability and Security (QRS). :258-269 |
| Informácie o vydavateľovi: | IEEE, 2025. |
| Rok vydania: | 2025 |
| Predmety: | formal methods, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], management system, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, residual risks, cyber-physical systems, system monitoring, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems |
| Popis: | Assuring quality for cyber-physical systems has been a significant concern, leading to various proposed solutions. Faults in cyber-physical systems lead to security and safety issues in communication and operation, respectively. To prevent harm, verification and validation methodologies are applied during development. However, there might be no guarantee that the final deployed system is fault-free, i.e., a residual risk always remains. This paper focuses on involved risks, identifies their sources, and discusses methods for risk reduction in cyber-physical systems. For this purpose, a holistic approach to risk reduction in cyber-physical systems is utilized. Further, different stages of system development and operation are explained, and methodologies for finding defects and evaluating risks are discussed. Finally, concepts and methods using an industrial battery management system are presented. Specifically, the benefits of using formal methods to reduce risks in the context of autonomous driving and ADAS functionality are illustrated. |
| Druh dokumentu: | Article Conference object |
| Popis súboru: | application/pdf |
| DOI: | 10.1109/qrs65678.2025.00035 |
| Prístupová URL adresa: | https://inria.hal.science/hal-05305293v1 https://inria.hal.science/hal-05305293v1/document https://doi.org/10.1109/qrs65678.2025.00035 |
| Rights: | STM Policy #29 CC BY |
| Prístupové číslo: | edsair.doi.dedup.....7028d85867fc3ff0441fb3415b36bd8a |
| Databáza: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstrakt: | Assuring quality for cyber-physical systems has been a significant concern, leading to various proposed solutions. Faults in cyber-physical systems lead to security and safety issues in communication and operation, respectively. To prevent harm, verification and validation methodologies are applied during development. However, there might be no guarantee that the final deployed system is fault-free, i.e., a residual risk always remains. This paper focuses on involved risks, identifies their sources, and discusses methods for risk reduction in cyber-physical systems. For this purpose, a holistic approach to risk reduction in cyber-physical systems is utilized. Further, different stages of system development and operation are explained, and methodologies for finding defects and evaluating risks are discussed. Finally, concepts and methods using an industrial battery management system are presented. Specifically, the benefits of using formal methods to reduce risks in the context of autonomous driving and ADAS functionality are illustrated. |
|---|---|
| DOI: | 10.1109/qrs65678.2025.00035 |