A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications.

Jason D. Lee Praveen Bhojwani Rabi N. Mahapatra

Published in: HASE (2007)

Keyphrases

safety critical
safety analysis
nuclear power plant
fault tolerant
formal methods
embedded systems
real time
control system
symbolic model checking
decision support
adaptive systems
information systems
knowledge acquisition
agent architecture