A framework for modeling and analyzing cyber-physical systems using statistical model checking

The trustworthiness of a cyber–physical system is essential for it to be qualified for utilization in most real-life deployments. This is especially critical for systems that deal with precious human lives. Although these safety-critical systems can be investigated using both experimental testing an...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Internet of things (Amsterdam. Online) 2023-07, Vol.22, p.100732, Article 100732
Hauptverfasser:	Alshalalfah, Abdel-Latif, Ait Mohamed, Otmane, Ouchani, Samir
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Cyber–physical systems Enhanced Activity Calculus Mathematics Model transformation Model-based verification Priced timed automata Safety-critical Statistical model checking System Modeling Language
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!