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

Weitere Magazine

Empfehlungen

Info

§ 7 Zuverlässigkeits- und Sicherheitstechnik ZSA Sicherheitsmaßnahmen für Software – Vermeiden von Fehlern • Höhere Programmiersprachen • Software-Entwicklungwerkzeuge • Software-Prüfung und -Qualitätssicherung – Echt-fail-safe-Verfahren • Bei Software nicht realisierbar, da auch unbekannte Fehler sicherheitsgerichtet wirken müssten – Quasi-fail-safe-Verfahren • Fehlererkennung durch • Programmablaufüberwachung • Rechnezeit-, Laufzeit-Überwachung • Plausibilitätsprüfungen • Software-Diversität und anschließender sicherheitsgerichteter Maßnahmen. © 2012 IAS, Universität Stuttgart 168
Zuverlässigkeit und Sicherheit von Automatisierungssystemen ZSA Gliederung § 7 Zuverlässigkeits- und Sicherheitstechnik § 8 Sicherungsmethoden § 9 Berechnungsmethoden § 10 Vereinfachungen § 11 Zuverlässigkeit komplexer Systeme § 12 Berechnung von Sicherheitskenngrößen § 13 Softwarezuverlässigkeit § 14 RAMS-Management § 15 Sicherheitsnachweis (SN) § 16 Abkürzungen, Literatur © 2012 IAS, Universität Stuttgart 169
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:
Seite 83 und 84:
Seite 85 und 86:
Seite 87 und 88:
Seite 89 und 90:
Seite 91 und 92:
Seite 93 und 94:
Seite 95 und 96:
Seite 97 und 98:
Seite 99 und 100:
Seite 101 und 102:
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 113 und 114:
§ 6 Risiko und Gefährdung ZSA Ris
Seite 115 und 116:
§ 6 Risiko und Gefährdung ZSA Bet
Seite 117 und 118: § 6 Risiko und Gefährdung ZSA Ris
Seite 119 und 120: § 6 Risiko und Gefährdung ZSA Sch
Seite 121 und 122: § 6 Risiko und Gefährdung ZSA Bei
Seite 123 und 124: § 6 Risiko und Gefährdung ZSA Ris
Seite 133 und 134: § 6 Risiko und Gefährdung ZSA Fun
Seite 135 und 136: § 6 Risiko und Gefährdung ZSA Una
Seite 137 und 138: § 7 Zuverlässigkeits- und Sicherh
Seite 167: § 7 Zuverlässigkeits- und Sicherh
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 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?