A model-based framework for flexible safety-critical software development: a design study.

Jesper Pedersen Notander Per Runeson Martin Höst

Published in: SAC (2013)

Keyphrases

safety critical
software architecture
software development
formal methods
fault tolerant
design patterns
safety analysis
decision making
decision support system
support systems
software engineering
computational intelligence
knowledge based systems
design process
embedded systems
agent architecture