• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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