Model-based safety analysis of software product lines.
André Luíz de OliveiraRosana T. V. BragaPaulo Cesar MasieroYiannis PapadopoulosIbrahim HabliTim KellyPublished in: Int. J. Embed. Syst. (2016)
Keyphrases
- safety analysis
- software product line
- nuclear power plant
- software engineering
- safety critical
- future directions
- control system
- fault model
- symbolic model checking
- adult literacy
- life cycle
- learning methodologies
- software development
- embedded systems
- reliability analysis
- software systems
- information systems
- artificial intelligence