Indexed in

License and use

Citations

Altmetrics

Grant support

This work has been partially funded by European Funds for Regional Development (EFRE) in context of "Investment in Growth and Employment" (IWB) P1-SZ2-3 F&E: Technologieorientierte Kompetenzenfelder -MWVLW "Neue Erprobungskonzepte fuer sichere Software in hochautomatisierten Nutzfahrzeugen", by the European Union's Horizon 2020 research and innovation programme under grant agreement No 952702 (BIECO) and by ERDF/ESF "CyberSecurity, CyberCrime and Critical Information Infrastructures Center of Excellence" (No. CZ.02.1.01/0.0/0.0/16 019/0000822).

Analysis of institutional authors

Share

Timing Model for Predictive Simulation of Safety-critical Systems

Publicated to:Proceedings Of The 17th International Conference On Software Technologies (Icsoft). 331-339 - 2022-01-01 (), DOI: 10.5220/0011317000003266

Authors: Cioroaica, Emilia; Blanco, Jose Miguel; Rossi, Bruno

Affiliations

Abstract

Emerging evidence shows that safety-critical systems are evolving towards operating in uncertain context while integrating intelligent software that evolves over time as well. Such behavior is considered to be unknown at every moment in time because when faced with a similar situation, these systems are expected to display an improved behavior based on artificial learning. Yet, a correct learning and knowledge-building process for the non-deterministic nature of an intelligent evolution is still not guaranteed and consequently safety of these systems cannot be assured. In this context, the approach of predictive simulation enables runtime predictive evaluation of a system behavior and provision of quantified evidence of trust that enables a system to react safety in case malicious deviations, in a timely manner. For enabling the evaluation of timing behavior in a predictive simulation setting, in this paper we introduce a general timing model that enables the virtual execution of a system's timing behavior. The predictive evaluation of the timing behavior can be used to evaluate a system's synchronization capabilities and in case of delays, trigger a safe fail-over behavior. We iterate our concept over an use case from the automotive domain by considering two safety critical situations.

Keywords