AADL-Based Safety Analysis Approaches for Safety-Critical Systems.

Published in: ICST (2019)

Keyphrases

safety critical
safety analysis
nuclear power plant
formal methods
fault tolerant
embedded systems
agent architecture
support systems
control system
adaptive systems
symbolic model checking
information systems
object oriented
real time
cooperative
multi agent
fault model
artificial intelligence