Analyse und Optimierung von fehlertoleranten Eingebetteten Systemen mit geharteten Prozessoren

摘要

Wir stellen einen Ansatz zur Entwurfsoptimierung von fehlertoleranten harten Echtzeitsystemen vor, der Hardware- und Software-Fehlertoleranztechniken kombiniert. Es wird zwischen selektiver Hartung in Hardware und Prozessneuausfuhrungen in Software abgewogen, um benotigte Fehlertoleranz zu geringst moglichen Kosten zu erreichen. Die vorgestellten Entwurfsoptimierungsheuristiken legen die fehlertolerante Architektur und Prozesszuordnung fest, so dass die Systemkosten minimiert, die Deadlines eingehalten und die Zuverlassigkeitsanforderungen erfullt werden.