Zertifizierungsgerechter Entwurf betriebsmitteladäquater Automatisierungssysteme mit Sicherheitsverantwortung

Daniel Koß

doi:10.51202/9783186279088

Zusammenfassung

Programmierbare elektronische Systeme für sicherheitsgerichtete Anwendungen werden nach Prüfung durch Menschen sicherheitstechnisch abgenommen. Für den praktischen Einsatz können nur solche Systeme zertifiziert werden, die Menschen zuvor als weitestgehend frei von sicherheitskritischen Entwurfsfehlern befunden haben. Komplexität kommt hierbei eine besondere Bedeutung zu, da von ihr die Verstehbarkeit von Systementwürfen abhängt. Betriebsmitteladäquatheit ist ein essentielles Element zur Komplexitätsminimierung und hat darüber hinaus weitere, ausfalltolerierende Auswirkungen. Ziel dieser Arbeit ist daher, die im Entwurfslebenszyklus sicherheitsgerichteter programmierbarer elektronischer Systeme eingesetzten Methoden dahingehend zu verbessern, dass Komplexität durch konsequente Anwendung von Betriebsmitteladäquatheit reduziert wird. Dies führt zu verbesserter Prüfbarkeit und damit zu sichereren Systemen. Inhaltsverzeichnis 1 Einleitung 1 1.1 Ziele der Arbeit . . . . . . . . . . . . . . . . . . 1 1.2 Beispiele für sicherheitsrelevante Ausfälle . . . . . . 2 1.2.1 Mars Pathfinder . . . . . . . . . . . . . . . . . . . 2 1.2.2 Transienter Fehlereinfluss schneller Neutronen . . ....

Schlagworte

Publikation durchsuchen

Bibliographische Angaben

Copyrightjahr: 2023
ISBN-Print: 978-3-18-527908-9
ISBN-Online: 978-3-18-627908-8
Verlag: VDI Verlag, Düsseldorf
Reihe: Mess-, Steuerungs- und Regelungstechnik
Band: 1279
Sprache: Deutsch
Seiten: 236
Produkttyp: Monographie

Inhaltsverzeichnis

KapitelSeiten

Titelei/Inhaltsverzeichnis Kein Zugriff Seiten I - X
1. Ziele der Arbeit Kein Zugriff
2. 1. Mars Pathfinder Kein Zugriff
  2. Transienter Fehlereinfluss schneller Neutronen Kein Zugriff
  3. Automatisierte Fahrzeuge auf öffentlichen Straßen Kein Zugriff
3. Zusammenfassung des Kapitels Kein Zugriff
1. 1. Begriffsklärung Kein Zugriff
  2. Grundprinzipien des Entwurfs von EEPE-Systemen Kein Zugriff
  3. Anforderungen an EEPE-Systeme Kein Zugriff
  4. Unterstützende Entwurfsprinzipen Kein Zugriff
2. 1. Anforderungen an den Systementwurf Kein Zugriff
  2. Anforderungen an den Spezifikationsentwurf Kein Zugriff
  3. Anforderungen an den Hardwareentwurf Kein Zugriff
  4. Anforderungen an den Softwareentwurf Kein Zugriff
  5. Fazit zur Anforderungslage Kein Zugriff
3. Zusammenfassung des Kapitels Kein Zugriff
1. 1. Spezifikationsentwurf Kein Zugriff
  2. Hardwareentwurf Kein Zugriff
  3. Softwareentwurf Kein Zugriff
  4. Systemintegration Kein Zugriff
2. 1. Komplexität Kein Zugriff
  2. Nebenläufigkeit Kein Zugriff
  3. Interprozesskommunikation Kein Zugriff
  4. Betriebsmittelabstraktion und -tarnung Kein Zugriff
  5. Fazit Kein Zugriff
3. 1. Triviale Messmethoden Kein Zugriff
  2. Zyklomatische Komplexität Kein Zugriff
  3. Halstead-Metrik Kein Zugriff
  4. Statische Kodeanalyse à la Lint Kein Zugriff
4. Zusammenfassung des Kapitels Kein Zugriff
1. 1. Betriebsmitteladäquatheit Kein Zugriff
  2. Verstehbarkeit Kein Zugriff
  3. Kausalketten und -pfade Kein Zugriff
  4. Parametrierbare Übergabeschnittstellen Kein Zugriff
2. Spezifikationsentwurf Kein Zugriff
3. Verhaltensentwurf Kein Zugriff
4. 1. Bedarfsermittlung Kein Zugriff
  2. Bewertung der Systemkomplexität: Ansatz für eine Metrik Kein Zugriff
  3. Wahrnehmung und Verarbeitung durch menschlichen Geist Kein Zugriff
  4. Eine Komplexitätsmetrik basierend auf der menschlichen Wahrnehmung Kein Zugriff
  5. Entscheidungsfindung auf Basis der Metrik Kein Zugriff
5. 1. Bedarf an Instruktionen für ein Rechenwerk Kein Zugriff
  2. Bedarf an Digitallogik für die Verhaltensbeschreibung Kein Zugriff
  3. Bedarf an Arbeitsspeicher Kein Zugriff
  4. Bedarf an Programmspeicher Kein Zugriff
6. Systemintegration und -abnahme Kein Zugriff
7. Zusammenfassung des Kapitels Kein Zugriff
1. Prozessbeschreibung Kein Zugriff
2. 1. Spezifikation Kein Zugriff
  2. Verhaltensmodell Kein Zugriff
  3. Hardware Kein Zugriff
  4. Systemintegration & -abnahme Kein Zugriff
3. 1. Systementwurf Kein Zugriff
  2. Hardwareentwurf Kein Zugriff
4. Zusammenfassung des Kapitels Kein Zugriff
1. Einordnung des Entwurfsverfahrens Kein Zugriff
2. 1. Unterstützende Entwurfsprinzipien Kein Zugriff
  2. Grundanforderungen Kein Zugriff
3. 1. Berechnungsbeispiel Hardware Kein Zugriff
  2. Verbesserungsansatz für das Beispiel Kein Zugriff
  3. Schlussfolgerungen Kein Zugriff
4. 1. Mars Pathfinder Kein Zugriff
  2. Transienter Fehlereinfluss schneller Neutronen Kein Zugriff
  3. Automatisierte Fahrzeuge auf öffentlichen Straßen Kein Zugriff
5. Zusammenfassung des Kapitels Kein Zugriff
1. Fazit aus den Ergebnissen Kein Zugriff
2. Ausblick auf mögliche Weiterentwicklung Kein Zugriff
Literatur Kein Zugriff Seiten 224 - 236