Entwurf E DIN EN (VDE ): pren 50128:2009

Transkript

1 Inhalt Vorwort... 2 Einleitung Anwendungsbereich Normative Verweisungen Begriffe und Abkürzungen Begriffe Abkürzungen Ziele, Konformität und Software-Sicherheitsanforderungsstufen Softwaremanagement und -organisation Organisation, Rollen und Verantwortlichkeiten Kompetenz der Mitarbeiter Fragen des Lebenszyklus und Dokumentation Softwaresicherung Softwaretests Software-Verifikation Software-Validierung Software-Begutachtung Software-Qualitätssicherung Modifikations- und Änderungskontrolle Hilfswerkzeuge und Sprachen Entwicklung generischer Software Lebenszyklus und Dokumentation für generische Software Software-Anforderungen Architektur und Entwurf Komponentenentwurf Implementierung und Test der Komponenten Integration Endabnahme/Validierung Entwicklung der Anwendungsdaten oder -algorithmen Systeme, die durch Anwendungsdaten oder -algorithmen konfiguriert werden Ziele Eingangsdokumente Ausgangsdokumente Anforderungen Bereitstellung und Wartung der Software Bereitstellung der Software Wartung der Software

2 Entwurf Anhang A (normativ) Kriterien für die Auswahl der Techniken und Maßnahmen A.1 Tabellen zu den Abschnitten A.2 Detaillierte Tabellen Anhang B (normativ) Rollen der Schlüssel-Software und Verantwortlichkeiten Anhang C (informativ) Zusammenfassung der Dokumentenkontrolle und des Dokumentenlaufs Anhang D (informativ) Verfahrensübersicht D.1 KI(Künstliche-Intelligenz)-Fehlerkorrektur (en: AI Fault Correction) D.2 Analysierbare Programme D.3 Avalanche-/Belastungstests (en: Avalanche/Stress Testing) D.4 Grenzwertanalyse (en: Boundary Value Analysis) D.5 Rückwärts-Regeneration (en: Backward Recovery) D.6 Ursache-Wirkungsdiagramme (en: Cause Consequence Diagrams) D.7 Zertifizierte Werkzeuge und zertifizierte Übersetzer (en: Certified Tools and Certified Translators) D.8 Checklisten (en: Checklists) D.9 Steuerflussanalyse (en: Control Flow Analysis)...87 D.10 Analyse gemeinsamer Fehler (en: Common Cause Failure Analysis) D.11 Datenflussanalyse (en: Data Flow Analysis) D.12 Datenflussdiagramme (en: Data Flow Diagrams) D.13 Datenaufzeichnung und -analyse (en: Data Recording and Analysis) D.14 Entscheidungstabellen (Wahrheitstabellen) (en: Decision Tables (Truth Tables)) D.15 Defensive Programmierung (en: Defensive Programming) D.16 Codierstandards und Formatanleitung (en: Coding Standards and Style Guide) D.17 Diversitäre Programmierung (en: Diverse Programming) D.18 Dynamische Rekonfiguration (en: Dynamic Reconfiguration) D.19 Tests auf Basis von Äquivalenzklassen und Eingangsdaten-Unterteilung (en: Equivalence Classes and Input Partitioning Testing) D.20 Fehlererkennende und -korrigierende Codes (en: Error Detecting and Correcting Codes) D.21 Fehlererwartung (en: Error Guessing) D.22 Fehlereinstreuung (en: Error Seeding) D.23 Ereignisbaumanalyse (en: Event Tree Analysis) D.24 Fagan-Inspektionen (en: Fagan Inspections)...94 D.25 Failure Assertion -Programmierung (en: Failure Assertion Programming) D.26 SEEA Softwarefehler-Auswirkungsanalyse (en: Software Error Effect Analysis) D.27 Fehlererkennung und Diagnose (en: Fault Detection and Diagnosis) D.28 Fehlerbaumanalyse (en: Fault Tree Analysis)...96 D.29 Finite-Zustandsmaschinen (FSM)/Zustands-Übergangsdiagramme (en: Finite State Machines/State Transition Diagrams) D.30 Formale Verfahren (en: Formal Methods)

3 D.31 Formaler Nachweis (en: Formal Proof) D.32 Vorwärts-Regeneration (en: Forward Recovery) D.33 Abgestufte Funktionseinschränkungen (en: Graceful Degradation) D.34 Gefahren- und Operabilitätsstudie (HAZOP) (en: Hazard and Operability Study) D.35 Auswirkungsanalyse (en: Impact Analysis) D.36 Information-Hiding/Einkapselung (en: Information Hiding/Encapsulation) D.37 Schnittstellentests (en: Interface Testing) D.38 Untermenge der Programmiersprache (en: Language Subset) D.39 Aufzeichnung ausgeführter Fälle (en: Memorising Executed Cases) D.40 Bibliothek bewährter/verifizierter Komponenten (en: Library of Trusted/Verified Components) D.41 Markov-Modelle D.42 Metriken (en: Metrics) D.43 Modularer Ansatz (en: Modular Approach) D.44 Monte-Carlo-Simulation D.45 Leistungs-Modellierung (en: Performance Modelling) D.46 Leistungsanforderungen (en: Performance Requirements) D.47 Wahrscheinlichkeits-Tests (en: Probabilistic Testing) D.48 Prozesssimulation (en: Process Simulation) D.49 Prototyping/Animation D.50 Recovery Block D.51 Zuverlässigkeits-Blockdiagramme (en: Reliability Block Diagram) D.52 Antwortzeiten und Speichergrenzen (en: Response Timing and Memory Constraints) D.53 Re-Try Fault Recovery -Mechanismen (en: Re-Try Fault Recovery Mechanisms) D.54 Externe Überwachungseinrichtung (en: Safety Bag) D.55 Nebenpfadanalyse (en: Sneak Circuit Analysis) D.56 Software-Konfigurationsmanagement (en: Software Configuration Management) D.57 Streng typisierte Programmiersprache (en: Strongly Typed Programming Languages) D.58 Strukturabhängige Tests (en: Structure Based Testing) D.59 Strukturdiagramme (en: Structure Diagrams) D.60 Strukturierte Methodik (en: Structured Methodology) D.61 Strukturierte Programmierung (en: Structured Programming) D.62 Geeignete Programmiersprachen (en: Suitable Programming Languages) D.63 Symbolische Ausführung (en: Symbolic Execution) D.64 Zeit-Petri-Netze (en: Time Petri Nets) D.65 Betriebsbewährter Übersetzer (en: Translator Proven in Use) D.66 Walkthroughs/Entwurfsüberprüfungen (en: Walkthrouhgs/Design Reviews) D.67 Objektorientierte Programmierung (en: Object Oriented Programming) D.68 Verfolgbarkeit (en: Traceability) D.69 Statische Verifikation der Laufzeiteigenschaften durch abstrakte Interpretation (en: Static 5

4 Entwurf verification of runtime properties by abstract interpretation) D.70 Datenfluss (en: Dataflow) D.71 Metaprogrammierung (en: Metaprogramming) D.72 Prozedurale Programmierung (en: Procedural programming) D.73 Sequentielle Funktionslisten (en: Sequential Function Charts SFC) D.74 Kontaktplan (en: Ladder Diagram) D.75 Funktionsblockdiagramm (en: Functional Block Diagram) D.76 Zustandsliste oder Zustandsdiagramm (en: State Chart or State Diagram) D.77 Datenmodellierung (en: Data modelling) D.78 Kontrollflussdiagramm/Kontrollflussgraph (en: Control Flow Diagram/Control Flow Graph) D.79 Ablaufdiagramm (en: Sequence diagram) Literaturhinweise Bilder Bild 1 Software, Übersicht über das Vorgehen Bild 2 Unabhängigkeit und Kombination der Rollen in Bezug auf die Software- Sicherheitsanforderungsstufen Bild 3 Darstellung des Entwicklungs-Lebenszyklus Bild 4 Darstellung des Entwicklungs-Lebenszyklus Tabellen Tabelle 1 Beziehung zwischen Werkzeugklasse und anwendbarem Abschnitt Tabelle A.1 Fragen des Lebenszyklus und der Dokumentation (5.3) Tabelle A.2 Software-Anforderungsspezifikation (7.2) Tabelle A.3 Software-Architektur (7.3) Tabelle A.4 Software-Entwurf und -Implementierung (7.4) Tabelle A.5 Verifikation und Testen (6.2 und 7.3) Tabelle A.6 Software/Hardware-Integration (7.6) Tabelle A.7 Testen der Gesamtsoftware (6.2 und 7.7) Tabelle A.8 Software-Analysetechniken (6.3) Tabelle A.9 Software-Qualitätssicherung (6.5) Tabelle A.10 Software-Wartung (9.2) Tabelle A.11 Codierstandards Tabelle A.12 Dynamische Analyse und Testen Tabelle A.13 Funktions-/Black-Box-Tests Tabelle A.14 Text-Programmiersprachen Tabelle A.15 Diagrammartige Sprachen für Anwendungsalgorithmen Tabelle A.16 Modellierung Tabelle A.17 Leistungstests Tabelle A.18 Statische Analyse Tabelle A.19 Komponenten

5 Tabelle A.20 Testabdeckung für Code Tabelle A.21 Objektorientierte Software-Architektur Tabelle A.22 Objektorientierter detaillierter Entwurf Tabelle B.1 Spezifikation der Rolle des Anforderungsmanagers Tabelle B.2 Spezifikation der Rolle des Entwerfers Tabelle B.3 Spezifikation der Rolle des Implementierers Tabelle B.4 Spezifikation der Rolle des Testers Tabelle B.5 Spezifikation der Rolle des Verifizierers Tabelle B.6 Spezifikation der Rolle des Integrators Tabelle B.7 Spezifikation der Rolle des Validierers Tabelle B.8 Spezifikation der Rolle des Gutachters Tabelle B.9 Spezifikation der Rolle des Projektmanagers Tabelle B.10 Spezifikation der Rolle des Konfigurationsmanagers Tabelle C.1 Zusammenfassung der Dokumentenkontrolle