seminar2: op/Seminar 2.mm@67acda11be36 (annotated)

sawine@0	1	<map version="0.7.1">
sawine@0	2	<node TEXT="Seminar 2">
sawine@0	3	<node TEXT="Abstrakt" POSITION="right">
sawine@0	4	<node TEXT="automatisierte Sicherheit">
sawine@0	5	<node TEXT="Personalkosten"/>
sawine@0	6	</node>
sawine@0	7	</node>
sawine@0	8	<node TEXT="Einleitung" POSITION="left">
sawine@0	9	<node TEXT="IEC 61508">
sawine@0	10	<node TEXT="Functional Safety of Electrical / Electronic / Programmable Electronic Safety Related Systems"/>
sawine@0	11	<node TEXT="IEC 61511 für Benutzer"/>
sawine@0	12	<node TEXT="allgemeiner Standard">
sawine@0	13	<node TEXT="wenn kein Sektorstandard vorhanden"/>
sawine@0	14	<node TEXT="für Subsysteme trotz Sektorstandard"/>
sawine@0	15	</node>
sawine@0	16	</node>
sawine@0	17	</node>
sawine@0	18	<node TEXT="Hauptteil" POSITION="right">
sawine@0	19	<node TEXT="Fehlerquellen">
sawine@0	20	<node TEXT="Komplexität">
sawine@0	21	<node TEXT="sktrukturell">
sawine@0	22	<node TEXT="McCabe CC"/>
sawine@0	23	<node TEXT="Halstead"/>
sawine@0	24	</node>
sawine@0	25	<node TEXT="kognitiv">
sawine@0	26	<node TEXT="maximal 7 Einheiten im Kurzzeitgedächtnis"/>
sawine@0	27	<node TEXT="keine Metriken"/>
sawine@0	28	</node>
sawine@0	29	</node>
sawine@0	30	<node TEXT="44% ungenügende Spezifizierung">
sawine@0	31	<node TEXT="wenig Verständnis für die Einsatzumgebung der Software"/>
sawine@0	32	<node TEXT="wenig Verständnis für den Zweck der Software"/>
sawine@0	33	</node>
sawine@0	34	<node TEXT="Unfälle meist bei Systemen ohne Ausfälle">
sawine@0	35	<node TEXT="falscher Einsatz"/>
sawine@0	36	<node TEXT="ungenügendes Verständnis des Systems"/>
sawine@0	37	</node>
sawine@0	38	<node TEXT="Problem ungelößt">
sawine@0	39	<node TEXT="Sicherheit durch Einfachheit">
sawine@0	40	<node TEXT="sozialer Prozess"/>
sawine@0	41	</node>
sawine@0	42	</node>
sawine@0	43	<node TEXT="Software muss Hardwaresicherheit erreichen"/>
sawine@0	44	<node TEXT="Fehlerfreiheit"/>
sawine@0	45	</node>
sawine@0	46	<node TEXT="Vorkehrungen">
sawine@0	47	<node TEXT="Risikoanalyse"/>
sawine@0	48	<node TEXT="Risikobewertung">
sawine@0	49	<node TEXT="Sicherheit != Verlässlichkeit"/>
sawine@0	50	<node TEXT="Grad für tragbare Risko"/>
sawine@0	51	</node>
sawine@0	52	<node TEXT="V-Modell als Prozessmodel"/>
sawine@0	53	<node TEXT="SIL">
sawine@0	54	<node TEXT="SIL4: Regeltabellen">
sawine@0	55	<node TEXT="Inspektion"/>
sawine@0	56	</node>
sawine@0	57	<node TEXT="SIL3: Funktionsblockdiagramm">
sawine@0	58	<node TEXT="Rückübersetzung"/>
sawine@0	59	</node>
sawine@0	60	<node TEXT="Fehlerwahrscheinlichkeitstabelle">
sawine@0	61	<node TEXT="keine Berücksichtigung der Komplexität"/>
sawine@0	62	<node TEXT="beachtet nicht sicherheitskritischen Aspekt eines Fehlers"/>
sawine@0	63	</node>
sawine@0	64	<node TEXT="unabhängige Zertifizierung ab SIL3"/>
sawine@0	65	<node TEXT="resultierendes SIL != SIL der benutzten Komponenten/Prozesse"/>
sawine@0	66	</node>
sawine@0	67	</node>
sawine@0	68	<node TEXT="Testverfahren">
sawine@0	69	<node TEXT="Monte Carlo"/>
sawine@0	70	<node TEXT="virtuelle Umgebung"/>
sawine@0	71	<node TEXT="modellbasiertes Testen"/>
sawine@0	72	<node TEXT="automatische Testfallerzeugung">
sawine@0	73	<node TEXT="anforderungsbasiertes Testen">
sawine@0	74	<node TEXT="Set Covering Problem (NP-complete)"/>
sawine@0	75	</node>
sawine@0	76	<node TEXT="Tools">
sawine@0	77	<node TEXT="steigern Akzeptanz"/>
sawine@0	78	<node TEXT="Statemate"/>
sawine@0	79	<node TEXT="SCR"/>
sawine@0	80	</node>
sawine@0	81	<node TEXT="konsistente Überdeckung"/>
sawine@0	82	</node>
sawine@0	83	<node TEXT="Testfälle">
sawine@0	84	<node TEXT="Äquivalenzklassen"/>
sawine@0	85	<node TEXT="strukturbasiert"/>
sawine@0	86	<node TEXT="Randwertanalyse"/>
sawine@0	87	<node TEXT="Kontrollflussanalyse"/>
sawine@0	88	<node TEXT="IEC 61508-3 7.4.7"/>
sawine@0	89	</node>
sawine@0	90	<node TEXT="statistischer Beweis als Validierung"/>
sawine@0	91	<node TEXT="statisch">
sawine@0	92	<node TEXT="Code-Review"/>
sawine@0	93	<node TEXT="Formaler Beweis">
sawine@0	94	<node TEXT="Funktionsblockdiagramm HR"/>
sawine@0	95	<node TEXT="Sequenzdiagramm HR"/>
sawine@0	96	<node TEXT="Datenflussdiagramm R"/>
sawine@0	97	<node TEXT="FSM diagramm HR"/>
sawine@0	98	<node TEXT="Zeit-Petrinetze HR"/>
sawine@0	99	<node TEXT="Wahrheitstabellen Hr"/>
sawine@0	100	</node>
sawine@0	101	</node>
sawine@0	102	<node TEXT="dynamisch">
sawine@0	103	<node TEXT="White-Box-Testing"/>
sawine@0	104	<node TEXT="statistisches Testing"/>
sawine@0	105	<node TEXT="funktionales Testen"/>
sawine@0	106	</node>
sawine@0	107	</node>
sawine@0	108	<node TEXT="Verifikation">
sawine@0	109	<node TEXT="Softwaremodultest">
sawine@0	110	<node TEXT="probalistisches Testen R"/>
sawine@0	111	<node TEXT="dynamische Analyse HR">
sawine@0	112	<node TEXT="Randwertanalyse HR"/>
sawine@0	113	<node TEXT="Fehlerraten? R"/>
sawine@0	114	<node TEXT="Fehler (seeding)? R"/>
sawine@0	115	<node TEXT="Performance modelling R"/>
sawine@0	116	<node TEXT="Äquivalenzklassentests R"/>
sawine@0	117	<node TEXT="strukturbasiertes Testen HR"/>
sawine@0	118	</node>
sawine@0	119	<node TEXT="Datensammlung/Analyse HR"/>
sawine@0	120	<node TEXT="Functionales und Black-Box-Testing HR">
sawine@0	121	<node TEXT="Konsequenzdiagrammtesten R"/>
sawine@0	122	<node TEXT="Prototyping R"/>
sawine@0	123	<node TEXT="Randwertanalyse HR"/>
sawine@0	124	<node TEXT="Äquivalenzklassentests HR"/>
sawine@0	125	<node TEXT="Simulation R"/>
sawine@0	126	</node>
sawine@0	127	<node TEXT="Performancetest HR">
sawine@0	128	<node TEXT="Avalanche/Stresstests HR"/>
sawine@0	129	<node TEXT="Antwortzeiten und Speicherbegrenzungen HR"/>
sawine@0	130	<node TEXT="Performancevoraussetzungen HR"/>
sawine@0	131	</node>
sawine@0	132	<node TEXT="Interface test HR"/>
sawine@0	133	</node>
sawine@0	134	</node>
sawine@0	135	</node>
sawine@0	136	<node TEXT="Schlüsselwörter" POSITION="left">
sawine@0	137	<node TEXT="IEC 61508"/>
sawine@0	138	<node TEXT="Safety Integrity Level"/>
sawine@0	139	<node TEXT="Zertifizierung"/>
sawine@0	140	<node TEXT="funktionale Sicherheit"/>
sawine@0	141	</node>
sawine@0	142	<node TEXT="Sonstiges" POSITION="right">
sawine@0	143	<node TEXT="modellbasierte Entwicklung">
sawine@0	144	<node TEXT="zertifizierter Code-Generator"/>
sawine@0	145	<node TEXT="Vertrauensproblem"/>
sawine@0	146	</node>
sawine@0	147	<node TEXT="Function Block Diagram (FBD): IEC 61131-3">
sawine@0	148	<node TEXT="Funktionsblock">
sawine@0	149	<node TEXT="Zustandsmaschine"/>
sawine@0	150	<node TEXT="Datenstruktur enthält Input-, Output- und interne Variablen"/>
sawine@0	151	</node>
sawine@0	152	<node TEXT="Datenflusslinien"/>
sawine@0	153	<node TEXT="Identifizierungslabels"/>
sawine@0	154	<node TEXT="externe Verbindungspunkte"/>
sawine@0	155	<node TEXT="Sequentielle Abarbeitung, Parallelismus muss in Hardware passieren"/>
sawine@0	156	</node>
sawine@0	157	</node>
sawine@0	158	</node>
sawine@0	159	</map>

author	Eugen Sawin <sawine@me73.com>
	Fri, 04 Jun 2010 15:05:34 +0200
changeset 0	67acda11be36
permissions	-rw-r--r--