Login / Signup
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems.
Huáscar Espinoza
Alejandra Ruiz
Mehrdad Sabetzadeh
Paolo Panaroni
Published in:
WOSOCER (2011)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
embedded systems
support systems
software intensive systems
agent architecture
adaptive systems
regulatory requirements
artificial intelligence
decision making
databases
learning systems
control system
cooperative
real time