36
Qualitätssicherung von Software (SWQS) Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FOKUS 20.6.2013: Sicherheitsnormen

Qualitätssicherung von Software (SWQS) Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FOKUS 20.6.2013: Sicherheitsnormen

Embed Size (px)

Citation preview

Qualitätssicherung von Software (SWQS)

Prof. Dr. Holger Schlingloff

Humboldt-Universität zu Berlinund

Fraunhofer FOKUS

20.6.2013: Sicherheitsnormen

Folie 2H. Schlingloff, Software-Qualitätssicherung

Fragen zur Wiederholung

• Wie funktioniert ein Code-Review?

• Probleme?

• Toolunterstützung?

• Abgrenzung Code-Review / Code-Checking / Model-Checking?

• Was versteht man unter ALM / PLM?

Folie 3H. Schlingloff, Software-Qualitätssicherung

Wo stehen wir?

1. Einleitung, Begriffe, Software-Qualitätskriterien2. Testverfahren, Teststufen, Testüberdeckung3. automatisierte Testfallerstellung4. Verifikation und Validierung, Modellprüfung5. statische und dynamische Analysetechniken6. Softwarebewertung, Softwaremetriken7. Codereview- und andere Inspektionsverfahren8. Zuverlässigkeitstheorie, Fehlerbaumanalyse9. Qualitätsstandards, Qualitätsmanagement,

organisatorische Maßnahmen

Folie 4H. Schlingloff, Software-Qualitätssicherung

Standards und Normen

• Produktstandards Interoperabilität (z.B. Schraubgewinde) Vergleichbarkeit (z.B. Maßeinheit “Fuß”)

• Prozessstandards Objektivierung, Vereinheitlichung Überprüfbarkeit

• Verschiedene Arten von Software-Normen Normierung von Sprachen, Protokollen, Schnittstellen Referenzmodelle für Vorgehensweisen (z.B. CMMI) Sicherheitsnormen (z.B. ISO 61508) Qualitätsmanagementnormen (z.B. EN ISO 9001, IEC 25000)

Folie 5H. Schlingloff, Software-Qualitätssicherung

IEC EN 61508

• Generische Sicherheitsnorm Funktionale Sicherheit sicherheitsbezogener

elektrischer/elektronischer/programmierbarer elektronischer Systeme

• Branchenspezifische Ausprägungen CENELEC EN 50128 (Bahntechnik) ISO 26262 (Automotive) DO 178 C (Aerospace) IEC 61511 (Prozessindustrie) ...

Folie 6H. Schlingloff, Software-Qualitätssicherung

Funktionale Sicherheit

• Schutz gegen Gefahren, die von einer gestörten oder fehlerhaften Funktion ausgehen

• Sicherheit einer Anlage bzw. Anwendung ist von der sicheren Funktion der Überwachungseinrichtungen bestimmt; Funktionale Sicherheit ist gegeben, wenn jedes Risiko über Schutzeinrichtungen abgesichert ist

• Sicherheit muss beim normalen Betrieb gewährleistet sein und darf beim Ausfall einzelner Komponenten nicht verloren gehen

• “Sicherer Zustand” ?

• Nachweise: FMEA, FTA, ... (nächsten Dienstag)

• Numerische Betrachtungen zum Restrisiko!

Folie 7H. Schlingloff, Software-Qualitätssicherung

Iterativer Sicherheitsprozess

Folie 8H. Schlingloff, Software-Qualitätssicherung

Aufbau der IEC 61508

Veröffentlicht 1998, revidiert 2010steigende Bedeutung in der Industrie (insbesondere

Spezialisierungen)

• Teil 1: Allgemeine Anforderungen

• Teil 2: Anforderungen an sicherheitsbezogene e/e/pe Systeme

• Teil 3: Anforderungen an Software

• Teil 4: Begriffe und Abkürzungen

• Teil 5: Beispiele zur Ermittlung der Stufe der Sicherheitsintegrität

• Teil 6: Anwendungsrichtlinien

• Teil 7: Übersicht über Techniken und Maßnahmen

zentraler Begriff: Sicherheitsanforderungsstufe (SAS, engl.: SIL – Safety Integrity Level)alle Anforderungen sind SIL-abhängig

Normativ

Informativ

Folie 9H. Schlingloff, Software-Qualitätssicherung

Merkmale der 61508

• betrachtet alle Phasen im Lebenszyklus eines Produkts, ganzheitliche Betrachtung

• Anforderungen zur funktionalen Sicherheit: Vermeidung systematischer Fehler (QM) Beherrschung systematischer Fehler / Ausfälle Beherrschung zufälliger Ausfälle Dokumentation Fehlerwahrscheinlichkeit und Zuverlässigkeit

• Management der funktionalen Sicherheit

Folie 10H. Schlingloff, Software-Qualitätssicherung

Schadensart und -Häufigkeit

Folie 11H. Schlingloff, Software-Qualitätssicherung

SIL-Klassen

• SIL = safety integrity level• System-SIL wird bestimmt durch RAMS-Analyse

(Reliability, Availability, Maintainability, Safety)

Folie 12H. Schlingloff, Software-Qualitätssicherung

Bestimmung der Software-SIL

• Software-SIL richtet sich nach System-SIL „… werden auf Basis der Risikostufe für den Einsatz der

Software im System entschieden…“ (EN 50128)

• Im Allgemeinen ist Software-SIL gleich der System-SIL

„Without further precautions, the software safety integrity level shall be, as a minimum, identical to the system safety integrity level.“

• Ausnahmen möglich, falls zusätzliche Sicherungsmaßnahmen eingeführt werden

„if mechanisms exist to prevent the failure of a software module from causing the system to go to an unsafe state, the software safety integrity level of the module may be reduced“

Beispiel: HW-Watchdog, Voter o.ä.

Folie 13H. Schlingloff, Software-Qualitätssicherung

Risikograph

Folie 14H. Schlingloff, Software-Qualitätssicherung

61508-Anforderungsschwerpunkte

Folie 15H. Schlingloff, Software-Qualitätssicherung

Wichtigkeit der Maßnahmen

Folie 16H. Schlingloff, Software-Qualitätssicherung

Wirksamkeit der Maßnahmen

Folie 17H. Schlingloff, Software-Qualitätssicherung

Maßnahmen in den Lebensphasen

Folie 18H. Schlingloff, Software-Qualitätssicherung

V-Modell nach 61508

Folie 19H. Schlingloff, Software-Qualitätssicherung

Ablauf der Phasen

Folie 20H. Schlingloff, Software-Qualitätssicherung

Beispiel: SW-Architektur

Folie 21H. Schlingloff, Software-Qualitätssicherung

Forderungen an den Entwicklungsprozess

Folie 22H. Schlingloff, Software-Qualitätssicherung

Maßnahmen (1) HW

Folie 23H. Schlingloff, Software-Qualitätssicherung

Folie 24H. Schlingloff, Software-Qualitätssicherung

Maßnahmen (2) SW

Folie 25H. Schlingloff, Software-Qualitätssicherung

Folie 26H. Schlingloff, Software-Qualitätssicherung

Annex: Auswahl von Verfahren und Techniken

Folie 27H. Schlingloff, Software-Qualitätssicherung

Folie 28H. Schlingloff, Software-Qualitätssicherung

Folie 29H. Schlingloff, Software-Qualitätssicherung

Betriebsbewährtheit

• Bootstrapping-Problematik!

Folie 30H. Schlingloff, Software-Qualitätssicherung

Coding Rules

Folie 31H. Schlingloff, Software-Qualitätssicherung

Folie 32H. Schlingloff, Software-Qualitätssicherung

noch: Codierregeln

Folie 33H. Schlingloff, Software-Qualitätssicherung

61508 Dokumentationsanforderungen

Folie 34H. Schlingloff, Software-Qualitätssicherung

Allgemeine Anforderungen

Folie 35H. Schlingloff, Software-Qualitätssicherung

Dokumentenstruktur

Folie 36H. Schlingloff, Software-Qualitätssicherung

Anforderungen an Dokumente

• Für jedes Dokument gibt es detaillierte Anforderungen in Bezug auf den Inhalt

• Struktur ist firmenspezifisch!

• Beispiel: Requirements