Login / Signup
Managing Complexity in Safety-critical Railway Signaling Systems using Simplex Architectures.
Robert Schmid
Katja Assaf
Clemens Tiedt
Frederic Reiter
Dirk Friedenberger
Andreas Polze
Published in:
ISORC (2024)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
embedded systems
support systems
nuclear power plant
agent architecture
real time
management system
learning systems
machine learning
learning environment
expert systems
intelligent systems
regulatory requirements