Login / Signup
Model-based generation of static schedules for safety critical multi-core systems in the avionics domain.
Robert Hilbrich
Hans-Joachim Goltz
Published in:
IWMSE@ICSE (2011)
Keyphrases
</>
safety critical
fault tolerant
formal methods
embedded systems
multi core systems
real time
knowledge acquisition
cloud computing
model checking
domain independent
agent architecture
support systems