D 2022

Timing Model for Predictive Simulation of Safety-Critical Systems

CIOROAICA, Emilia, José Miguel BLANCO SÁNCHEZ a Bruno ROSSI

Základní údaje

Originální název

Timing Model for Predictive Simulation of Safety-Critical Systems

Autoři

CIOROAICA, Emilia (642 Rumunsko), José Miguel BLANCO SÁNCHEZ (724 Španělsko, garant, domácí) a Bruno ROSSI (380 Itálie, domácí)

Vydání

Not specified, 17th International Conference on Software Technologies (ICSOFT 2022), od s. 331-339, 9 s. 2022

Nakladatel

SciTePress

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/22:00125921

Organizační jednotka

Fakulta informatiky

ISBN

978-989-758-588-3

UT WoS

000852747000033

Klíčová slova anglicky

Runtime Prediction; Predictive Simulation; Malicious Behavior; Virtual Evaluation; Trust; Automotive

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 13. 3. 2023 09:33, Bruno Rossi, PhD

Anotace

V originále

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.

Návaznosti

CZ.02.1.01/0.0/0.0/16_019/0000822, interní kód MU
(Kód CEP: EF16_019/0000822)
Název: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur (Akronym: C4e)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur, PO 1 Posilování kapacit pro kvalitní výzkum
EF16_019/0000822, projekt VaV
Název: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur