A Knowledge-based Approach for Safety Analysis Using System Interactions.

Tariq Mahmood Edmund Kazmierczak

Published in: APSEC (2006)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
fault model
symbolic model checking
artificial intelligence
reliability analysis
real time
information systems
cooperative
software engineering
orders of magnitude
fault tolerant