Skript vom Sommersemester 2012 - Institut fÃ¼r Automatisierungs ...

Weitere Magazine

Empfehlungen

Info

§ 6 Risiko und Gefährdung ZSA Prozess-Unabhängigkeit – Merkmale • Voraussetzung zur Vermeidung systematischer Fehler • Festlegen unabhängiger Entwicklungsphasen (life cycle) • Anforderungen, Systementwurf, Implementierung, Test • Festlegen unabhängiger Organisationseinheiten • Validation, Qualitätssicherung • Festlegen unabhängiger Aktivitäten • Entwicklung, Prüfung (Review) – Nachweis der Unabhängigkeit • Durch Reviews und Audits – Beispiel unabhängiger Prozesse (Aktivitäten) • Team 1 Modul-Spezifikation und –Implementierung • Team 2 Modultest-Spezifikation und -Durchführung © <strong>2012</strong> IAS, Universität Stuttgart 134
§ 6 Risiko und Gefährdung ZSA Unabhängigkeit nach EN50129 SIL 0 SIL 3-4 oder s.u. PM DI, VER, VAL GUT PM DI VER, VAL GUT SIL 1-2 SIL 3-4 DI PM VER, VAL GUT PM Di VER VAL GUT PM Di Ver Val GUT Projektmanager Designer/Implementierer Verifizierer Validierer Gutachter kann dieselbe Person sein kann dieselbe Organisation sein © <strong>2012</strong> IAS, Universität Stuttgart 135
Seite 1 und 2:
Universität Stuttgart Institut fü
Seite 3 und 4:
Zuverlässigkeit und Sicherheit von
Seite 5 und 6:
Seite 7 und 8:
Seite 9 und 10:
§ 1 Einführung, Begriffe und Kenn
Seite 11 und 12:
Seite 13 und 14:
Seite 15 und 16:
Seite 17 und 18:
Seite 19 und 20:
Seite 21 und 22:
Seite 23 und 24:
Seite 25 und 26:
Seite 27 und 28:
Seite 29 und 30:
Seite 31 und 32:
Seite 33 und 34:
Seite 35 und 36:
Seite 37 und 38:
§ 2 Normen zur Zuverlässigkeit un
Seite 39 und 40:
Seite 41 und 42:
Seite 43 und 44:
Seite 45 und 46:
Seite 47 und 48:
Seite 49 und 50:
§ 3 Fehlererkennung ZSA Graphische
Seite 51 und 52:
§ 3 Fehlererkennung ZSA Was ist Di
Seite 53 und 54:
§ 3 Fehlererkennung ZSA Diversitä
Seite 55 und 56:
§ 3 Fehlererkennung ZSA Fehlereige
Seite 57 und 58:
§ 3 Fehlererkennung ZSA Fehlerausw
Seite 59 und 60:
§ 3 Fehlererkennung ZSA Fehlerarte
Seite 61 und 62:
§ 3 Fehlererkennung ZSA Frage zu
Seite 63 und 64:
§ 4 Anforderungen, Beeinflussende
Seite 65 und 66:
Seite 67 und 68:
Seite 69 und 70:
Seite 71 und 72:
Seite 73 und 74:
Seite 75 und 76:
Seite 77 und 78:
Seite 79 und 80:
§ 5 Wahrscheinlichkeitsrechnung ZS
Seite 81 und 82:
§ 5 Wahrscheinlichkeitsrechnung ZS
Seite 83 und 84: § 5 Wahrscheinlichkeitsrechnung ZS
Seite 101 und 102: Zuverlässigkeit und Sicherheit von
Seite 103 und 104: § 6 Risiko und Gefährdung ZSA Ris
Seite 105 und 106: § 6 Risiko und Gefährdung ZSA Gef
Seite 107 und 108: § 6 Risiko und Gefährdung ZSA Sic
Seite 109 und 110: § 6 Risiko und Gefährdung ZSA ICE
Seite 111 und 112: § 6 Risiko und Gefährdung ZSA Gru
Seite 115 und 116: § 6 Risiko und Gefährdung ZSA Bet
Seite 119 und 120: § 6 Risiko und Gefährdung ZSA Sch
Seite 121 und 122: § 6 Risiko und Gefährdung ZSA Bei
Seite 133: § 6 Risiko und Gefährdung ZSA Fun
Seite 137 und 138: § 7 Zuverlässigkeits- und Sicherh
Seite 169 und 170: Zuverlässigkeit und Sicherheit von
Seite 171 und 172: § 8 Sicherungsmethoden ZSA Sicheru
Seite 173 und 174: § 8 Sicherungsmethoden ZSA Sicheru
Seite 175 und 176: § 8 Sicherungsmethoden ZSA Anwendu
Seite 177 und 178: § 9 Berechnungsmethoden ZSA § 9 B
Seite 179 und 180: § 9 Berechnungsmethoden ZSA Graphi
Seite 181 und 182: § 9 Berechnungsmethoden ZSA Serien
Seite 183 und 184: § 9 Berechnungsmethoden ZSA Parall
Seite 185 und 186:
§ 9 Berechnungsmethoden ZSA Parall
Seite 187 und 188:
§ 9 Berechnungsmethoden ZSA Parall
Seite 189 und 190:
§ 9 Berechnungsmethoden ZSA Serien
Seite 191 und 192:
§ 9 Berechnungsmethoden ZSA k-von-
Seite 193 und 194:
§ 9 Berechnungsmethoden ZSA k-von-
Seite 195 und 196:
§ 9 Berechnungsmethoden ZSA Vergle
Seite 197 und 198:
§ 9 Berechnungsmethoden ZSA Booles
Seite 199 und 200:
§ 9 Berechnungsmethoden ZSA Formen
Seite 201 und 202:
§ 9 Berechnungsmethoden ZSA Linear
Seite 203 und 204:
§ 9 Berechnungsmethoden ZSA Überl
Seite 205 und 206:
§ 9 Berechnungsmethoden ZSA Identi
Seite 207 und 208:
§ 9 Berechnungsmethoden ZSA Verbin
Seite 209 und 210:
§ 9 Berechnungsmethoden ZSA System
Seite 211 und 212:
§ 9 Berechnungsmethoden ZSA Minima
Seite 213 und 214:
§ 9 Berechnungsmethoden ZSA Ermitt
Seite 215 und 216:
§ 9 Berechnungsmethoden ZSA Top-do
Seite 217 und 218:
§ 9 Berechnungsmethoden ZSA Analys
Seite 219 und 220:
§ 9 Berechnungsmethoden ZSA Komple
Seite 221 und 222:
§ 9 Berechnungsmethoden ZSA Ausfal
Seite 223 und 224:
§ 9 Berechnungsmethoden ZSA Beispi
Seite 225 und 226:
§ 9 Berechnungsmethoden ZSA Analys
Seite 227 und 228:
ZSA © 2012 IAS, Universität Stutt
Seite 229 und 230:
Seite 231 und 232:
§ 9 Berechnungsmethoden ZSA Ausfal
Seite 233 und 234:
§ 9 Berechnungsmethoden ZSA Verbin
Seite 235 und 236:
Seite 237 und 238:
§ 9 Berechnungsmethoden ZSA Markov
Seite 239 und 240:
Seite 241 und 242:
Seite 243 und 244:
Seite 245 und 246:
Seite 247 und 248:
Seite 249 und 250:
Seite 251 und 252:
Seite 253 und 254:
Seite 255 und 256:
Seite 257 und 258:
§ 9 Berechnungsmethoden ZSA Allgem
Seite 259 und 260:
§ 9 Berechnungsmethoden ZSA Einfac
Seite 261 und 262:
§ 9 Berechnungsmethoden ZSA Zuverl
Seite 263 und 264:
§ 9 Berechnungsmethoden ZSA 2-von-
Seite 265 und 266:
§ 9 Berechnungsmethoden ZSA Sicher
Seite 267 und 268:
§ 9 Berechnungsmethoden ZSA 2-von-
Seite 269 und 270:
§ 9 Berechnungsmethoden ZSA - Einf
Seite 271 und 272:
§ 9 Berechnungsmethoden ZSA - Einf
Seite 273 und 274:
§ 9 Berechnungsmethoden ZSA Verfü
Seite 275 und 276:
Seite 277 und 278:
Seite 279 und 280:
§ 9 Berechnungsmethoden ZSA Bayes'
Seite 281 und 282:
Seite 283 und 284:
Seite 285 und 286:
Seite 287 und 288:
§ 10 Vereinfachungen ZSA Abschätz
Seite 289 und 290:
§ 10 Vereinfachungen ZSA Berechnun
Seite 291 und 292:
§ 10 Vereinfachungen ZSA Numerisch
Seite 293 und 294:
§ 10 Vereinfachungen ZSA Berechnun
Seite 295 und 296:
§ 10 Vereinfachungen ZSA Numerisch
Seite 297 und 298:
Seite 299 und 300:
§ 11 Zuverlässigkeit komplexer Sy
Seite 301 und 302:
Seite 303 und 304:
Seite 305 und 306:
Seite 307 und 308:
Seite 309 und 310:
§ 12 Berechnung von Sicherheitsken
Seite 311 und 312:
Seite 313 und 314:
Seite 315 und 316:
Seite 317 und 318:
Seite 319 und 320:
Seite 321 und 322:
Seite 323 und 324:
Seite 325 und 326:
Seite 327 und 328:
Seite 329 und 330:
Seite 331 und 332:
Seite 333 und 334:
Seite 335 und 336:
§ 13 Softwarezuverlässigkeit ZSA
Seite 337 und 338:
Seite 339 und 340:
Seite 341 und 342:
Seite 343 und 344:
Seite 345 und 346:
Seite 347 und 348:
Seite 349 und 350:
Seite 351 und 352:
Seite 353 und 354:
Seite 355 und 356:
Seite 357 und 358:
Seite 359 und 360:
Seite 361 und 362:
Seite 363 und 364:
Seite 365 und 366:
Seite 367 und 368:
Seite 369 und 370:
Seite 371 und 372:
Seite 373 und 374:
Seite 375 und 376:
Seite 377 und 378:
§ 14 Rams-Management ZSA RAM-Logbu
Seite 379 und 380:
§ 14 Rams-Management ZSA Sicherhei
Seite 381 und 382:
§ 14 Rams-Management ZSA Beispiel:
Seite 383 und 384:
§ 14 Rams-Management ZSA Beispiel:
Seite 385 und 386:
Seite 387 und 388:
§ 15 Sicherheitsnachweis (SN) ZSA
Seite 389 und 390:
Seite 391 und 392:
Seite 393 und 394:
Seite 395 und 396:
Seite 397 und 398:
Seite 399 und 400:
Seite 401 und 402:
Seite 403 und 404:
Seite 405 und 406:
Seite 407 und 408:
Seite 409 und 410:
§ 16 Abkürzungen, Literatur ZSA A
Seite 411 und 412:
§ 16 Abkürzungen, Literatur ZSA A
Seite 413 und 414:
§ 16 Abkürzungen, Literatur ZSA L
Seite 415 und 416:
Seite 417 und 418:
Seite 419:
Alle anzeigen

Skript vom Sommersemester 2012 - Institut fÃ¼r Automatisierungs ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?