Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards MyNewsletter
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
Lackier- und Pulvertreff 2024

Nasslackieren und pulverbeschichten

Der Kongress am 15. / 16. Oktober 2024 in Heidelberg informiert umfassend über neue lack-, anlagen- und verfahrens­technische Entwicklungen und deren Umsetzung in die Praxis.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

11. Statisch und dynamisch sichere Prozessoren

verfasst von : Wolfgang A. Halang, Rudolf M. Konakovsky

Erschienen in: Sicherheitsgerichtete Echtzeitsysteme

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Einige formale Methoden zur Programmverifikation
Nächstes Kapitel Eine funktionsplanabbildende Prozeßrechnerarchitektur
Literatur
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
Metadaten
Titel
Statisch und dynamisch sichere Prozessoren
verfasst von
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright-Jahr
2018
Verlag
Springer Berlin Heidelberg
Buch
Sicherheitsgerichtete Echtzeitsysteme

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

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

Copyright-Jahr: 2018

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