Software Engineering of Safety-Critical Systems: Themes From Practitioners.
Phillip A. LaplanteJoanna F. DeFrancoPublished in: IEEE Trans. Reliab. (2017)
Keyphrases
- safety critical
- formal methods
- software engineering
- safety analysis
- embedded systems
- software intensive systems
- agent architecture
- nuclear power plant
- artificial intelligence
- support systems
- fault tolerant
- adaptive systems
- formal specification
- model checking
- intelligent systems
- expert systems
- information systems
- real time
- learning styles
- knowledge based systems
- management system
- knowledge representation
- regulatory requirements