Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Read chapter Read first chapter

2018 | OriginalPaper | Chapter

11. Statisch und dynamisch sichere Prozessoren

Authors : Wolfgang A. Halang, Rudolf M. Konakovsky

Published in: Sicherheitsgerichtete Echtzeitsysteme

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

Die in eingebetteten Systemen eingesetzten Mikroprozessoren werden stetig komplexer und verhindern so die Konstruktion überprüfbar sicherer Systeme. Abhilfe schafft eine Mikroprozessorarchitektur, die gemäß dem Entwurfziel Einfachheit und Klarheit auf überflüssige Komplexität verzichtet. Zum Zwecke konsensualer Analyse und Verifizierung ist der komplette Entwurf öffentlich zugänglich. Wegen der fortwährenden Verkleinerung ihrer Strukturbreiten werden integrierte Schaltkreise immer empfindlicher gegenüber Umgebungseinflüssen 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 zuverlässige Erkennung auftretender Kontroll- und Datenflussfehler und sind bisherigen Ansätzen deutlich überlegen.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Einige formale Methoden zur Programmverifikation
next chapter Eine funktionsplanabbildende Prozeßrechnerarchitektur
Literature
1.
AEG Datenverarbeitung: TR 4 Bedienungshandbuch (1962)
2.
Baumann, R.C., Smith, E.B.: Neutron-induced boron fission as a major source of soft errors in deep submicron SRAM devices. In: Proceeding of 38th Annual IEEE Reliability Physics Symposium, S. 152–157 (2000)
3.
Beyer, S., Jacobi, C., Kröning, D., Leinenbach, D., Paul, W.J.: Putting it all together – formal verification of the VAMP. Softw. Tools Technol. Trans. 8, 411–430 (2006)CrossRef
4.
Biedenkopf, K.: Komplexität und Kompliziertheit. Informatik-Spektrum 17, 82–86 (1994)
5.
Dijkstra, E.W.: The next fifty years. Persönliche Notiz EWD 1051 (1989)
6.
Giloi, W.: Rechnerarchitektur, 2. Auflage. Springer, Berlin/Heidelberg (1993)CrossRef
7.
Gollub, L.: Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen. VDI Verlag, Düsseldorf (2014)
8.
Gollub, L., Halang, W.A.: Prozessor mit Ansprungbefehlen zur Überwachung des Kontrollflusses. Deutsches Patent 10 2008 029 231 (2008)
9.
Gollub, L., Halang, W.A.: Prozessor, der zur Überwachung des Kontrollflusses Befehlen zugeordnete Eigen- und Folgekennungen auswertet. Deutsches Patent 10 2009 005 449 (2009)
10.
Hunt, W.A.J.: FM8501: a verified microprocessor. Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. Springer, Berlin (1994)
11.
Intel Corp.: Intel Xeon Processor E3-1200, v3 Product Family, Specification Update (2015)
12.
Krebs, H., Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis. 26, 73–78 (1984)
13.
14.
15.
Levy, H.: Capability-Based Computer Systems. Digital Equipment Corporation, Bedford (1984)CrossRef
16.
17.
MacKenzie, D.: Mechanizing proof: computing, risk, and trust. MIT Press, Cambridge (2001)
18.
Myers, G.: Advances in computer architecture, 2. Aufl. Wiley, New York (1978)
19.
Normand, E.: Single event upset at ground level. IEEE Trans. Nucl. Sci. 43(6):2742–2750 (1996)CrossRef
20.
Organisation Intergouvernementale de la Convention du Mètre: The international system of units (SI), 8e edn (2006)
21.
Schaible, M.: On the construction of a crowd-verifiable microprocessor. In: Unger, H., Halang, W.A. (Hrsg.) Autonomous Systems 2016, S. 46–54. VDI-Verlag, Düsseldorf (2016)
22.
Widmann, S.: Eine inhärent sichere Mikroprozessorarchitektur. Düsseldorf, VDI Verlag (2015)
23.
Widmann, S.: Eine Datenspezifikationsarchitektur. VDI Verlag, Düsseldorf (2017)
24.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung inkompatibler Operandeneinheiten in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 005 975.6 beim Deutschen Patent- und Markenamt (2017)
25.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Einschränkung der zulässigen Operationen auf Daten in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 005 945.4 beim Deutschen Patent- und Markenamt (2017)
26.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung der Datennutzung außerhalb ihres Gültigkeitszeitraums in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 005 974.8 beim Deutschen Patent- und Markenamt (2017)
27.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung von absichtlichen oder durch Störungen und/oder Fehler verursachten Datenverfälschungen in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 006 354.0 beim Deutschen Patent- und Markenamt (2017)
28.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung von Datenflussfehlern in Datenverarbeitungseinheiten und -systemen. Patentanmeldung 10 2017 005 972.1 beim Deutschen Patent- und Markenamt (2017)
29.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung von Wertebereichsverletzungen von Datenwerten in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 005 971.3 beim Deutschen Patent- und Markenamt (2017)
30.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung von Synchronisations- und Datenaktualisierungsfehlern in Datenverarbeitungseinheiten. Patentanmeldung 10 2017 005 970.5 beim Deutschen Patent- und Markenamt (2017)
31.
Widmann, S., Halang, W.A.: Vorrichtung und Verfahren zur gerätetechnischen Erkennung von Verletzungen von zyklischen Echtzeitbedingungen in Datenverarbeitungseinheiten und -systemen. Patentanmeldung 10 2017 005 944.6 beim Deutschen Patent- und Markenamt (2017)
32.
Wilkes, M.V., Stringer, J.B.: Micro-programming and the design of the control circuits in an electronic digital computer. Math. Proc. Camb. Philos. Soc. 2, 230–238 (1953)MathSciNetCrossRef
33.
Windley, P.J.: Formal modeling and verification of microprocessors. IEEE Trans. Comput. 44(1), 54–72 (1995)CrossRef
Metadata
Title
Statisch und dynamisch sichere Prozessoren
Authors
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright Year
2018
Publisher
Springer Berlin Heidelberg
Book
Sicherheitsgerichtete Echtzeitsysteme

Print ISBN: 978-3-662-56368-7

Electronic ISBN: 978-3-662-56369-4

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-662-56369-4_11