4429111
doi
10.1109/rtss.2012.78
oai:zenodo.org:4429111
Ohayon, Emmanuel
A Model of Parallel Deterministic Real-Time Computation
Lemerre, Matthieu
info:eu-repo/semantics/openAccess
Free for private use; right holder retains other rights, including distribution
This paper presents a model of computation based on real-time constraints and asynchronous message passing, and proves a sufficient and necessary condition for this model to be deterministic. The model is then extended with deterministic error handling, meaning that the same error yields the same consequences on the system. We consider two different error occurrence models: at a specific time, or at a specific instruction, and conclude that the "error at a specific time" model is more suitable for practical use. We proceed by presenting a concrete implementation of this model in the PharOS real-time system.
Zenodo
2012-12-01
info:eu-repo/semantics/conferencePaper
4429110
1610368040.071887
356117
md5:62d8da3006b634baf6124f24fea4dcf4
https://zenodo.org/records/4429111/files/article.pdf
public