Login / Signup

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.

Nermin KajtazovicChristopher PreschernAndrea HöllerChristian Kreiner
Published in: SAFECOMP Workshops (2014)
Keyphrases
  • embedded systems
  • safety critical
  • low cost
  • embedded devices
  • safety analysis
  • computing power
  • embedded software
  • software systems
  • formal methods
  • fault tolerant
  • agent architecture
  • protocol stack