Statisch und dynamisch sichere Prozessoren

Autor: Wolfgang A. Halang, Rudolf M. Konakovsky
Rok vydání: 2018
Zdroj: Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
DOI: 10.1007/978-3-662-56369-4_11
Popis: Die in eingebetteten Systemen eingesetzten Mikroprozessoren werden stetig komplexer und verhindern so die Konstruktion uberprufbar sicherer Systeme. Abhilfe schafft eine Mikroprozessorarchitektur, die gemas dem Entwurfziel Einfachheit und Klarheit auf uberflussige Komplexitat verzichtet. Zum Zwecke konsensualer Analyse und Verifizierung ist der komplette Entwurf offentlich zuganglich. Wegen der fortwahrenden Verkleinerung ihrer Strukturbreiten werden integrierte Schaltkreise immer empfindlicher gegenuber Umgebungseinflussen wie Strahlung, was sich in steigender Wahrscheinlichkeit von Kontroll- und Datenflussfehlern auswirkt. Anstatt dem Trend zur Fehlererkennung durch immer komplexere Software zu folgen, werden hier neuartige Prozessorarchitekturen mit hardwarebasierten Fehlererkennungsmerkmalen vorgestellt. Diese erlauben einfache und zuverlassige Erkennung auftretender Kontroll- und Datenflussfehler und sind bisherigen Ansatzen deutlich uberlegen.
Databáze: OpenAIRE