Software Hazard and Safety Analysis: Opportunities and Challenges.

John Alexander McDermid

Published in: SSS (1996)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
symbolic model checking
fault model
fault tolerant
embedded systems
formal methods
agent architecture
artificial intelligence
software systems
domain independent
reliability analysis
reinforcement learning
partial observability