KIT-Bibliothek

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

This audio or video file is copyrighted. Access is only allowed via computers of the Karlsruhe Institute of Technology (KIT).

Author

Ralf Reussner

Editor

KIT | Webcast

Participating institute

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Description

  • 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

Duration (hh:mm:ss)

01:22:39

Series

Softwaretechnik II, Vorlesung, WS 2016/17

Published on

12.01.2017

Subject area

Computer science

License

KITopen Licence

Resolution 1280 x 720 Pixel
Aspect ratio 16:9
Audio bitrate 104317 bps
Audio channels 2
Audio Codec aac
Audio Sample Rate 48000 Hz
Total Bitrate 910798 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 4959 s
Filename DIVA-2017-19_hd.mp4
File Size 4.096 byte
Frame Rate 25
Video Bitrate 800389 bps
Video Codec h264

Embed Code

Softwaretechnik II, Vorlesung, WS 2016/17 Episodes 1-26 of 26