The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems.
Jayasri kottiSeetha Ramaiah PanchumarthyPublished in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
- computer systems
- safety critical
- safety analysis
- formal methods
- fault tolerant
- data processing
- nuclear power plant
- embedded systems
- agent architecture
- communication systems
- information processing systems
- computing systems
- human beings
- information systems
- support systems
- regulatory requirements
- high end
- adaptive systems
- knowledge based systems
- distributed systems
- cooperative