Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events.

Stefan Puch Martin Fränzle Sebastian Gerwinn

Published in: ISoLA (2) (2018)

Keyphrases

safety critical
risk assessment
rare events
fault tolerant
formal methods
embedded systems
network security
support systems
risk management
learning systems
agent architecture
low cost
expert systems
intelligent systems
decision support system
database
data model
information systems