Variability management in safety-critical systems design and dependability analysis.
André Luíz de OliveiraRosana T. V. BragaPaulo César MasieroDavid ParkerYiannis PapadopoulosIbrahim HabliTim KellyPublished in: J. Softw. Evol. Process. (2019)
Keyphrases
- safety critical
- safety analysis
- formal methods
- embedded systems
- support systems
- fault tolerant
- nuclear power plant
- management system
- agent architecture
- failure modes and effects
- low cost
- adaptive systems
- cooperative
- real time
- model checking
- ambient intelligence
- design process
- knowledge management
- multi agent systems
- information systems