Mode-automata: a new domain-specific construct for the development of safe critical systems
Citations
126 citations
Additional excerpts
...Following the pioneering work by Maraninchi & Rémond on Mode-automata [15, 16], we propose to provide imperative constructs at a language level by extending a data-flow language with imperative constructs....
[...]
...In comparison, Mode-automata allows a limited form of transitions (essentially weak transitions corresponding to Moore automata) and impose restrictions on the form of data-flow programs appearing into states (e.g., clocks and node instances are forbidden)....
[...]
...Following the pioneering work by Maraninchi & Rémond on Mode-automata [15, 16], we propose to provide imperative constructs at a language level by extending a data-flow language with imperative constructs....
[...]
...Mode-automata: About modes and states for reactive systems....
[...]
...Mode-automata: a new domain-specific construct for the development of safe critical systems....
[...]
94 citations
84 citations
Additional excerpts
...We now consider the following simple system, due to Maraninchi and Rémond [16], of two running modes....
[...]
79 citations
Cites background from "Mode-automata: a new domain-specifi..."
...The .rst one aimstokeep maximalexpressiveness of the source language and consists in compiling the program after a full inlining of function calls....
[...]
69 citations
Cites methods from "Mode-automata: a new domain-specifi..."
...We use the Mode Automata language to program LTSs [40]....
[...]
References
7,184 citations
1,817 citations
609 citations
544 citations