Login / Signup
Scheduling periodic task graphs for safety-critical time-triggered avionic systems.
Menglan Hu
Jun Luo
Yang Wang
Bharadwaj Veeravalli
Published in:
IEEE Trans. Aerosp. Electron. Syst. (2015)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
agent architecture
support systems
nuclear power plant
real time
information systems
decision making
embedded systems
medical images
formal specification
adaptive systems
regulatory requirements