Login / Signup

Model-based generation of static schedules for safety critical multi-core systems in the avionics domain.

Robert HilbrichHans-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