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

Weitere Magazine

Empfehlungen

Info

§ 3 Fehlererkennung Beispiel: Software-Fehler – Datenreferenz • Initialisierungsfehler • Indizes nicht innerhalb der Grenzen – Datendeklaration • Deklaration der Variablen fehlt • Attribute falsch verstanden – Berechnungen • Berechnung mit verschiedenen Datentypen • Klammer falsch gesetzt • Rundungsfehler – Vergleich • Priorität der Vergleichsoperatoren falsch verstanden • Boole'sche Ausdrücke sind inkorrekt © <strong>2012</strong> IAS, Universität Stuttgart – Steuerfluss • Schleifenendekriterium falsch • DO/END-Struktur falsch ZSA – Schnittstellen • Parameter und Argumente nicht konsistent • Verwechslung von Konstanten und Variablen – Ein-/Ausgaben • Formate der E/A-Anweisungen sind fehlerhaft • Behandlung der E/A-Fehler unklar – Sonstige • Bestimmte Funktionen wurden nicht realisiert • Warnungen der Compilerläufe nicht beachtet 60
§ 3 Fehlererkennung ZSA Frage zu § 3 Welche Aussagen gelten für die physikalische Diversität? Antwort f f Gleicher Herstellung beim selben Hersteller Unterschiedliche Hersteller Unterschiedliche Charge bei der Herstellung Unterschiedliche Materialien bzw. deren Qualität © <strong>2012</strong> IAS, Universität Stuttgart 61
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 35 und 36: Zuverlässigkeit und Sicherheit von
Seite 37 und 38: § 2 Normen zur Zuverlässigkeit un
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: § 3 Fehlererkennung ZSA Fehlerarte
Seite 63 und 64: § 4 Anforderungen, Beeinflussende
Seite 79 und 80: § 5 Wahrscheinlichkeitsrechnung ZS
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:
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:
Seite 125 und 126:
Seite 127 und 128:
Seite 129 und 130:
Seite 131 und 132:
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 139 und 140:
Seite 141 und 142:
Seite 143 und 144:
Seite 145 und 146:
Seite 147 und 148:
Seite 149 und 150:
Seite 151 und 152:
Seite 153 und 154:
Seite 155 und 156:
Seite 157 und 158:
Seite 159 und 160:
Seite 161 und 162:
Seite 163 und 164:
Seite 165 und 166:
Seite 167 und 168:
Seite 169 und 170:
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:
Seite 187 und 188:
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?