1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/op/Seminar 2.mm Fri Jun 04 15:05:34 2010 +0200
1.3 @@ -0,0 +1,159 @@
1.4 +<map version="0.7.1">
1.5 +<node TEXT="Seminar 2">
1.6 +<node TEXT="Abstrakt" POSITION="right">
1.7 +<node TEXT="automatisierte Sicherheit">
1.8 +<node TEXT="Personalkosten"/>
1.9 +</node>
1.10 +</node>
1.11 +<node TEXT="Einleitung" POSITION="left">
1.12 +<node TEXT="IEC 61508">
1.13 +<node TEXT="Functional Safety of Electrical / Electronic / Programmable Electronic Safety Related Systems"/>
1.14 +<node TEXT="IEC 61511 für Benutzer"/>
1.15 +<node TEXT="allgemeiner Standard">
1.16 +<node TEXT="wenn kein Sektorstandard vorhanden"/>
1.17 +<node TEXT="für Subsysteme trotz Sektorstandard"/>
1.18 +</node>
1.19 +</node>
1.20 +</node>
1.21 +<node TEXT="Hauptteil" POSITION="right">
1.22 +<node TEXT="Fehlerquellen">
1.23 +<node TEXT="Komplexität">
1.24 +<node TEXT="sktrukturell">
1.25 +<node TEXT="McCabe CC"/>
1.26 +<node TEXT="Halstead"/>
1.27 +</node>
1.28 +<node TEXT="kognitiv">
1.29 +<node TEXT="maximal 7 Einheiten im Kurzzeitgedächtnis"/>
1.30 +<node TEXT="keine Metriken"/>
1.31 +</node>
1.32 +</node>
1.33 +<node TEXT="44% ungenügende Spezifizierung">
1.34 +<node TEXT="wenig Verständnis für die Einsatzumgebung der Software"/>
1.35 +<node TEXT="wenig Verständnis für den Zweck der Software"/>
1.36 +</node>
1.37 +<node TEXT="Unfälle meist bei Systemen ohne Ausfälle">
1.38 +<node TEXT="falscher Einsatz"/>
1.39 +<node TEXT="ungenügendes Verständnis des Systems"/>
1.40 +</node>
1.41 +<node TEXT="Problem ungelößt">
1.42 +<node TEXT="Sicherheit durch Einfachheit">
1.43 +<node TEXT="sozialer Prozess"/>
1.44 +</node>
1.45 +</node>
1.46 +<node TEXT="Software muss Hardwaresicherheit erreichen"/>
1.47 +<node TEXT="Fehlerfreiheit"/>
1.48 +</node>
1.49 +<node TEXT="Vorkehrungen">
1.50 +<node TEXT="Risikoanalyse"/>
1.51 +<node TEXT="Risikobewertung">
1.52 +<node TEXT="Sicherheit != Verlässlichkeit"/>
1.53 +<node TEXT="Grad für tragbare Risko"/>
1.54 +</node>
1.55 +<node TEXT="V-Modell als Prozessmodel"/>
1.56 +<node TEXT="SIL">
1.57 +<node TEXT="SIL4: Regeltabellen">
1.58 +<node TEXT="Inspektion"/>
1.59 +</node>
1.60 +<node TEXT="SIL3: Funktionsblockdiagramm">
1.61 +<node TEXT="Rückübersetzung"/>
1.62 +</node>
1.63 +<node TEXT="Fehlerwahrscheinlichkeitstabelle">
1.64 +<node TEXT="keine Berücksichtigung der Komplexität"/>
1.65 +<node TEXT="beachtet nicht sicherheitskritischen Aspekt eines Fehlers"/>
1.66 +</node>
1.67 +<node TEXT="unabhängige Zertifizierung ab SIL3"/>
1.68 +<node TEXT="resultierendes SIL != SIL der benutzten Komponenten/Prozesse"/>
1.69 +</node>
1.70 +</node>
1.71 +<node TEXT="Testverfahren">
1.72 +<node TEXT="Monte Carlo"/>
1.73 +<node TEXT="virtuelle Umgebung"/>
1.74 +<node TEXT="modellbasiertes Testen"/>
1.75 +<node TEXT="automatische Testfallerzeugung">
1.76 +<node TEXT="anforderungsbasiertes Testen">
1.77 +<node TEXT="Set Covering Problem (NP-complete)"/>
1.78 +</node>
1.79 +<node TEXT="Tools">
1.80 +<node TEXT="steigern Akzeptanz"/>
1.81 +<node TEXT="Statemate"/>
1.82 +<node TEXT="SCR"/>
1.83 +</node>
1.84 +<node TEXT="konsistente Überdeckung"/>
1.85 +</node>
1.86 +<node TEXT="Testfälle">
1.87 +<node TEXT="Äquivalenzklassen"/>
1.88 +<node TEXT="strukturbasiert"/>
1.89 +<node TEXT="Randwertanalyse"/>
1.90 +<node TEXT="Kontrollflussanalyse"/>
1.91 +<node TEXT="IEC 61508-3 7.4.7"/>
1.92 +</node>
1.93 +<node TEXT="statistischer Beweis als Validierung"/>
1.94 +<node TEXT="statisch">
1.95 +<node TEXT="Code-Review"/>
1.96 +<node TEXT="Formaler Beweis">
1.97 +<node TEXT="Funktionsblockdiagramm HR"/>
1.98 +<node TEXT="Sequenzdiagramm HR"/>
1.99 +<node TEXT="Datenflussdiagramm R"/>
1.100 +<node TEXT="FSM diagramm HR"/>
1.101 +<node TEXT="Zeit-Petrinetze HR"/>
1.102 +<node TEXT="Wahrheitstabellen Hr"/>
1.103 +</node>
1.104 +</node>
1.105 +<node TEXT="dynamisch">
1.106 +<node TEXT="White-Box-Testing"/>
1.107 +<node TEXT="statistisches Testing"/>
1.108 +<node TEXT="funktionales Testen"/>
1.109 +</node>
1.110 +</node>
1.111 +<node TEXT="Verifikation">
1.112 +<node TEXT="Softwaremodultest">
1.113 +<node TEXT="probalistisches Testen R"/>
1.114 +<node TEXT="dynamische Analyse HR">
1.115 +<node TEXT="Randwertanalyse HR"/>
1.116 +<node TEXT="Fehlerraten? R"/>
1.117 +<node TEXT="Fehler (seeding)? R"/>
1.118 +<node TEXT="Performance modelling R"/>
1.119 +<node TEXT="Äquivalenzklassentests R"/>
1.120 +<node TEXT="strukturbasiertes Testen HR"/>
1.121 +</node>
1.122 +<node TEXT="Datensammlung/Analyse HR"/>
1.123 +<node TEXT="Functionales und Black-Box-Testing HR">
1.124 +<node TEXT="Konsequenzdiagrammtesten R"/>
1.125 +<node TEXT="Prototyping R"/>
1.126 +<node TEXT="Randwertanalyse HR"/>
1.127 +<node TEXT="Äquivalenzklassentests HR"/>
1.128 +<node TEXT="Simulation R"/>
1.129 +</node>
1.130 +<node TEXT="Performancetest HR">
1.131 +<node TEXT="Avalanche/Stresstests HR"/>
1.132 +<node TEXT="Antwortzeiten und Speicherbegrenzungen HR"/>
1.133 +<node TEXT="Performancevoraussetzungen HR"/>
1.134 +</node>
1.135 +<node TEXT="Interface test HR"/>
1.136 +</node>
1.137 +</node>
1.138 +</node>
1.139 +<node TEXT="Schlüsselwörter" POSITION="left">
1.140 +<node TEXT="IEC 61508"/>
1.141 +<node TEXT="Safety Integrity Level"/>
1.142 +<node TEXT="Zertifizierung"/>
1.143 +<node TEXT="funktionale Sicherheit"/>
1.144 +</node>
1.145 +<node TEXT="Sonstiges" POSITION="right">
1.146 +<node TEXT="modellbasierte Entwicklung">
1.147 +<node TEXT="zertifizierter Code-Generator"/>
1.148 +<node TEXT="Vertrauensproblem"/>
1.149 +</node>
1.150 +<node TEXT="Function Block Diagram (FBD): IEC 61131-3">
1.151 +<node TEXT="Funktionsblock">
1.152 +<node TEXT="Zustandsmaschine"/>
1.153 +<node TEXT="Datenstruktur enthält Input-, Output- und interne Variablen"/>
1.154 +</node>
1.155 +<node TEXT="Datenflusslinien"/>
1.156 +<node TEXT="Identifizierungslabels"/>
1.157 +<node TEXT="externe Verbindungspunkte"/>
1.158 +<node TEXT="Sequentielle Abarbeitung, Parallelismus muss in Hardware passieren"/>
1.159 +</node>
1.160 +</node>
1.161 +</node>
1.162 +</map>