Integrated safety analysis of software-controlled critical systems.

Ben Swarup Medikonda P. Seetha Ramaiah

Published in: ACM SIGSOFT Softw. Eng. Notes (2010)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
formal methods
fault model
symbolic model checking
intelligent systems
embedded systems
fault tolerant
distributed systems
dynamic systems
multi agent
software architecture
health care
expert systems
cooperative