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...

Full description

Bibliographic Details

Published in:	Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design) pp. 1 - 11
Main Authors:	Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Lee, Edward A.
Format:	Conference Proceeding
Language:	English
Published:	ACM 21.09.2023
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!