Mode-automata: A new domain-specific construct for the development of safe critical systems.

DOI10.1016/S0167-6423(02)00093-XzbMath1051.68097OpenAlexW2010945517MaRDI QIDQ1870864

Yann Rémond, Florence Maraninchi

Publication date: 14 May 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00093-x

zbMATH Keywords

Real-time systemsCase-studyLanguage design and implementationProduction cellRegulation systemsRunning-modesSafety-critical

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Development of global specification for dynamically adaptive software ⋮ A metamodel for the design of polychronous systems ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ A modular formal semantics for Ptolemy

This page was built for publication: Mode-automata: A new domain-specific construct for the development of safe critical systems.