<map version="0.7.1">

 <node TEXT="Seminar 2">

 <node TEXT="Abstrakt" POSITION="right">

 <node TEXT="automatisierte Sicherheit">

 <node TEXT="Personalkosten"/>

 </node>

 </node>

 <node TEXT="Einleitung" POSITION="left">

 <node TEXT="IEC 61508">

 <node TEXT="Functional Safety of Electrical / Electronic /  Programmable Electronic Safety Related Systems"/>

 <node TEXT="IEC 61511 f&#xfc;r Benutzer"/>

 <node TEXT="allgemeiner Standard">

 <node TEXT="wenn kein Sektorstandard vorhanden"/>

 <node TEXT="f&#xfc;r Subsysteme trotz Sektorstandard"/>

 </node>

 </node>

 </node>

 <node TEXT="Hauptteil" POSITION="right">

 <node TEXT="Fehlerquellen">

 <node TEXT="Komplexit&#xe4;t">

 <node TEXT="sktrukturell">

 <node TEXT="McCabe CC"/>

 <node TEXT="Halstead"/>

 </node>

 <node TEXT="kognitiv">

 <node TEXT="maximal 7 Einheiten im Kurzzeitged&#xe4;chtnis"/>

 <node TEXT="keine Metriken"/>

 </node>

 </node>

 <node TEXT="44% ungen&#xfc;gende Spezifizierung">

 <node TEXT="wenig Verst&#xe4;ndnis f&#xfc;r die Einsatzumgebung der Software"/>

 <node TEXT="wenig Verst&#xe4;ndnis f&#xfc;r den Zweck der Software"/>

 </node>

 <node TEXT="Unf&#xe4;lle meist bei Systemen ohne Ausf&#xe4;lle">

 <node TEXT="falscher Einsatz"/>

 <node TEXT="ungen&#xfc;gendes Verst&#xe4;ndnis des Systems"/>

 </node>

 <node TEXT="Problem ungel&#xf6;&#xdf;t">

 <node TEXT="Sicherheit durch Einfachheit">

 <node TEXT="sozialer Prozess"/>

 </node>

 </node>

 <node TEXT="Software muss Hardwaresicherheit erreichen"/>

 <node TEXT="Fehlerfreiheit"/>

 </node>

 <node TEXT="Vorkehrungen">

 <node TEXT="Risikoanalyse"/>

 <node TEXT="Risikobewertung">

 <node TEXT="Sicherheit != Verl&#xe4;sslichkeit"/>

 <node TEXT="Grad f&#xfc;r tragbare Risko"/>

 </node>

 <node TEXT="V-Modell als Prozessmodel"/>

 <node TEXT="SIL">

 <node TEXT="SIL4: Regeltabellen">

 <node TEXT="Inspektion"/>

 </node>

 <node TEXT="SIL3: Funktionsblockdiagramm">

 <node TEXT="R&#xfc;ck&#xfc;bersetzung"/>

 </node>

 <node TEXT="Fehlerwahrscheinlichkeitstabelle">

 <node TEXT="keine Ber&#xfc;cksichtigung der Komplexit&#xe4;t"/>

 <node TEXT="beachtet nicht sicherheitskritischen Aspekt eines Fehlers"/>

 </node>

 <node TEXT="unabh&#xe4;ngige Zertifizierung ab SIL3"/>

 <node TEXT="resultierendes SIL != SIL der benutzten Komponenten/Prozesse"/>

 </node>

 </node>

 <node TEXT="Testverfahren">

 <node TEXT="Monte Carlo"/>

 <node TEXT="virtuelle Umgebung"/>

 <node TEXT="modellbasiertes Testen"/>

 <node TEXT="automatische Testfallerzeugung">

 <node TEXT="anforderungsbasiertes Testen">

 <node TEXT="Set Covering Problem (NP-complete)"/>

 </node>

 <node TEXT="Tools">

 <node TEXT="steigern Akzeptanz"/>

 <node TEXT="Statemate"/>

 <node TEXT="SCR"/>

 </node>

 <node TEXT="konsistente &#xdc;berdeckung"/>

 </node>

 <node TEXT="Testf&#xe4;lle">

 <node TEXT="&#xc4;quivalenzklassen"/>

 <node TEXT="strukturbasiert"/>

 <node TEXT="Randwertanalyse"/>

 <node TEXT="Kontrollflussanalyse"/>

 <node TEXT="IEC 61508-3 7.4.7"/>

 </node>

 <node TEXT="statistischer Beweis als Validierung"/>

 <node TEXT="statisch">

 <node TEXT="Code-Review"/>

 <node TEXT="Formaler Beweis">

 <node TEXT="Funktionsblockdiagramm HR"/>

 <node TEXT="Sequenzdiagramm HR"/>

 <node TEXT="Datenflussdiagramm R"/>

 <node TEXT="FSM diagramm HR"/>

 <node TEXT="Zeit-Petrinetze HR"/>

 <node TEXT="Wahrheitstabellen Hr"/>

 </node>

 </node>

 <node TEXT="dynamisch">

 <node TEXT="White-Box-Testing"/>

 <node TEXT="statistisches Testing"/>

 <node TEXT="funktionales Testen"/>

 </node>

 </node>

 <node TEXT="Verifikation">

 <node TEXT="Softwaremodultest">

 <node TEXT="probalistisches Testen R"/>

 <node TEXT="dynamische Analyse HR">

 <node TEXT="Randwertanalyse HR"/>

 <node TEXT="Fehlerraten? R"/>

 <node TEXT="Fehler (seeding)? R"/>

 <node TEXT="Performance modelling R"/>

 <node TEXT="&#xc4;quivalenzklassentests R"/>

 <node TEXT="strukturbasiertes Testen HR"/>

 </node>

 <node TEXT="Datensammlung/Analyse HR"/>

 <node TEXT="Functionales und Black-Box-Testing HR">

 <node TEXT="Konsequenzdiagrammtesten R"/>

 <node TEXT="Prototyping R"/>

 <node TEXT="Randwertanalyse HR"/>

 <node TEXT="&#xc4;quivalenzklassentests HR"/>

 <node TEXT="Simulation R"/>

 </node>

 <node TEXT="Performancetest HR">

 <node TEXT="Avalanche/Stresstests HR"/>

 <node TEXT="Antwortzeiten und Speicherbegrenzungen HR"/>

 <node TEXT="Performancevoraussetzungen HR"/>

 </node>

 <node TEXT="Interface test HR"/>

 </node>

 </node>

 </node>

 <node TEXT="Schl&#xfc;sselw&#xf6;rter" POSITION="left">

 <node TEXT="IEC 61508"/>

 <node TEXT="Safety Integrity Level"/>

 <node TEXT="Zertifizierung"/>

 <node TEXT="funktionale Sicherheit"/>

 </node>

 <node TEXT="Sonstiges" POSITION="right">

 <node TEXT="modellbasierte Entwicklung">

 <node TEXT="zertifizierter Code-Generator"/>

 <node TEXT="Vertrauensproblem"/>

 </node>

 <node TEXT="Function Block Diagram (FBD): IEC 61131-3">

 <node TEXT="Funktionsblock">

 <node TEXT="Zustandsmaschine"/>

 <node TEXT="Datenstruktur enth&#xe4;lt Input-, Output- und interne Variablen"/>

 </node>

 <node TEXT="Datenflusslinien"/>

 <node TEXT="Identifizierungslabels"/>

 <node TEXT="externe Verbindungspunkte"/>

 <node TEXT="Sequentielle Abarbeitung, Parallelismus muss in Hardware passieren"/>

 </node>

 </node>

 </node>

 </map>