: bridging EMF, simulink and stateflow for model-based design of safety-critical systems.

Andrés Paz Ghizlane El-Boussaidi

Published in: MoDELS (Companion) (2020)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
support systems
fault tolerant
knowledge based systems
distributed systems
building blocks
agent architecture
nuclear power plant
regulatory requirements
control system
low cost
decision support
adaptive systems