Answers are grounded in this paper and cite their sources.
Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe abortion of lines of execution, while enforcing memory bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Céu and a proof that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.
No takes yet. Share an insight, caveat, or question.
Santos et al. (2018) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: