Safety-Critical Software [Guest editors' introduction].
Xabier LarruceaAnnie CombellesJohn M. FavaroPublished in: IEEE Softw. (2013)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- support systems
- regulatory requirements
- adaptive systems
- load balancing
- low cost
- artificial intelligence
- monitoring system
- software development
- decision makers
- open source
- control system
- decision making
- machine learning
- software intensive systems
- real time