A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software.

Asim Abdulkhaleq Stefan Wagner

Published in: CoRR (2016)

Keyphrases

empirical evaluation
safety critical
safety analysis
embedded systems
formal methods
nuclear power plant
fault tolerant
agent architecture
support systems
adaptive systems
fault model
control system
symbolic model checking
artificial intelligence
low cost
decision making