Cetratus: A framework for zero downtime secure software updates in safety-critical systems.
Imanol MugarzaJorge ParraEduardo JacobPublished in: Softw. Pract. Exp. (2020)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- support systems
- management system
- adaptive systems
- software architecture
- artificial intelligence
- regulatory requirements
- ambient intelligence
- learning systems
- intelligent systems
- decision support system
- software development
- distributed systems
- software intensive systems