A Safety-Critical Assessment Process.

Risto Nevalainen Timo Varkoi

Published in: SPICE (2014)

Keyphrases

assessment process
safety critical
formal methods
fault tolerant
safety analysis
agent architecture
embedded systems
nuclear power plant
evaluation process
support systems
regulatory requirements
adaptive systems
software engineering
real time
evaluation model
case study
knowledge base