Login / Signup
Worst-case timing analysis of AeroRing - A Full Duplex Ethernet ring for safety-critical avionics.
Ahmed Amari
Ahlem Mifdaoui
Fabrice Frances
Jérôme Lacan
Published in:
WFCS (2016)
Keyphrases
</>
safety critical
worst case
embedded systems
fault tolerant
formal methods
nuclear power plant
safety analysis
agent architecture
support systems
low cost
lower bound
regulatory requirements
projector camera
adaptive systems
formal specification
load balancing
management system