Concepedia

Mode-Automata: a new domain-specific construct for the development of safe critical systems

Florence Maraninchi, Yann Rémond

Science of Computer Programming · 2002 · 123 citations · 14 references

Concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSafety EngineeringAutomata TheorySafety Requirements EngineeringSafety SystemsSafety-critical SystemsSystem SafetySafe System DesignSafety-critical System DesignSafety-critical System ModelingSafety-critical Systems AnalysisSafety-critical Systems Architecture

References

14

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Specification and Description Language (SDL)

Itu-T · Medical Entomology and Zoology · 1999 · 655 citations

Computing, Computer Science, Systems Engineering +10

LUSTRE: a declarative language for real-time programming

P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 557 citations · Full text

Computing, Computer Engineering, Computer Science +17

Sequential abstract-state machines capture sequential algorithms

Yuri Gurevich · ACM Transactions on Computational Logic · 2000 · 463 citations · Full text

Computing, Computer Science, Algorithms +12