Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems

Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The loose coordination between the components in these frameworks gives rise to nondeterminism...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design) S. 1 - 11
Hauptverfasser:	Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Lee, Edward A.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 21.09.2023
Schlagworte:	Computational modeling Cyber-physical systems Deterministic models Distributed systems Embedded systems Languages Organizations Real-time and embedded systems Runtime Throughput Timing
ISSN:	2832-6520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!