Login / Signup
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata.
Mathieu Jan
Jean-Sylvain Camier
Vincent David
Published in:
RTNS (2011)
Keyphrases
</>
safety critical
real time
fault tolerant
formal methods
embedded systems
nuclear power plant
agent architecture
safety analysis
support systems
timing constraints
real time database systems
adaptive systems
regulatory requirements
low cost
control system
expert systems
artificial intelligence
cooperative