Software health management: a necessity for safety critical systems.
Ashok N. SrivastavaJohann SchumannPublished in: Innov. Syst. Softw. Eng. (2013)
Keyphrases
- safety critical
- health management
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- engineering systems
- agent architecture
- support systems
- software intensive systems
- adaptive systems
- development process
- software systems
- knowledge based systems
- decision support system
- case based reasoning