Login / Signup
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.
Pujie Han
Zhengjun Zhai
Brian Nielsen
Ulrik Nyman
Martin Kristjansen
Published in:
J. Aerosp. Inf. Syst. (2019)
Keyphrases
</>
distributed systems
data analysis
computer systems
real time
operating system
computing environments
database
expert systems
image analysis
statistical analysis
learning systems
fault tolerant
data intensive
mission critical