KIT-Bibliothek
Audio-/Videodatei publizieren

Softwaretechnik II, Vorlesung, WS 2016/17, 09.01.2017, 17

Diese Audio- bzw. Video-Datei ist urheberrechtlich geschützt. Der Zugriff ist nur über Rechner des Karlsruher Instituts für Technologie (KIT) erlaubt.

Autor

Ralf Reussner

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

17 |
0:00:00 Starten
0:00:04 Fault-Error-Failure Chain
0:03:46 Types of Faults
0:05:14 Architectural Pattern: Channel
0:06:04 Protected Single Channel
0:09:03 Homogeneous Redundancy (Switch to Backup)
0:13:00 Triple Modular Redundancy
0:17:40 Monitor-Actuator Pattern
0:18:25 Sanity Check Pattern
0:19:06 Watchdog Pattern
0:20:04 Safety Executive Pattern
0:22:29 Safety & Reliability Pattern Summary
0:24:17 Conclusion
0:25:01 Overview on Today's Lecture
0:26:02 Motivation: How Much Testing is Enough?
0:31:11 Dimensions of Dependability
0:32:23 Software Reliability
0:35:25 Availability Calculations
0:36:37 Software Reliability vs. Hardware Reliability
0:38:10 Software Reliability
0:41:42 Software Testing Overview
0:52:13 Calculating Reliability
0:53:47 Testing is Sampling
0:55:22 Statistical Testing
0:57:30 Simple Example
0:59:41 Expected Number of Failures
1:04:26 Sampling Reliability
1:06:02 Reliability Models
1:07:16 A Question of Trust
1:09:00 A Question of Trust II
1:09:11 Usage-Based Statistical Testing
1:11:25 Statistical Usage Model
1:15:42 What Can You Do With Usage Models?
1:17:35 Summary: Usage Models for Testing

Laufzeit (hh:mm:ss)

01:22:39

Serie

Softwaretechnik II, Vorlesung, WS 2016/17

Publiziert am

12.01.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 104317 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 910798 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4959 s
Dateiname DIVA-2017-19_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 800389 bps
Video Codec h264

Embed-Code

Softwaretechnik II, Vorlesung, WS 2016/17 Folgen 1-26 von 26