A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System.

Athanasios Stratis Adnan Causevic

Published in: ISSRE Workshops (2017)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
embedded systems
support systems
adaptive systems
regulatory requirements
machine learning
distributed systems
business intelligence
intelligent agents
agent architecture