Measuring Confidence of Assurance Cases in Safety-Critical Domains.

Chung-Ling Lin Wuwei Shen Betty H. C. Cheng

Published in: HICSS (2020)

Keyphrases

safety critical
fault tolerant
agent architecture
safety analysis
embedded systems
nuclear power plant
regulatory requirements
formal methods
support systems
real time
expert systems
medical images
decision support system
adaptive systems