Supporting Consistency in the Heterogeneous Design of Safety-Critical Software.

Andrés Paz Ghizlane El-Boussaidi

Published in: COMPSAC (1) (2019)

Keyphrases

safety critical
formal methods
support systems
embedded systems
user interface
case study
fault tolerant
software architecture
safety analysis
nuclear power plant
regulatory requirements
software development
artificial intelligence
design process
knowledge based systems
learning environment
real time