Modeling Software Safety for Safety-Critical Systems.
Ben Swarup MedikondaSeetha Ramaiah PanchumarthyPublished in: Software Engineering Research and Practice (2008)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- support systems
- nuclear power plant
- regulatory requirements
- adaptive systems
- software intensive systems
- software systems
- information systems
- knowledge based systems
- management system
- expert systems
- artificial intelligence