Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems.

Chung-Ling Lin Wuwei Shen

Published in: HASE (2015)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
nuclear power plant
agent architecture
case base
support systems
adaptive systems
regulatory requirements
real time
intelligent systems
decision support
expert systems
distributed systems
software engineering
artificial intelligence