A conceptual framework for semantic case-based safety analysis.

Olawande J. Daramola Tor Stålhane Thomas Moser Stefan Biffl

Published in: ETFA (2011)

Keyphrases

conceptual framework
safety analysis
control system
theoretical framework
safety critical
case based reasoning
nuclear power plant
fault model
symbolic model checking
domain specific
high level
databases
conceptual model
expert systems
reliability analysis