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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design) s. 1 - 11
Hlavní autoři:	Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Lee, Edward A.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 21.09.2023
Témata:	Computational modeling Cyber-physical systems Deterministic models Distributed systems Embedded systems Languages Organizations Real-time and embedded systems Runtime Throughput Timing
ISSN:	2832-6520
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!