KIT-Bibliothek

24: Echtzeitsysteme, Vorlesung, SS 2017, 12.07.2017

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

Autor

Torsten Kröger

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Starten
  • 0:00:36 Aufzeichnungs-Nachreichung vom 04.07
  • 0:01:31 Sicherheitskritische Systeme
  • 0:02:23 The Origins of IEC 61508: 1988
  • 0:03:41 Industrial Accident Causes
  • 0:05:05 IEC/EN 61508 Functional Safety: 1998/2000
  • 0:06:04 Domain-specific Derivatives of IEC 61508 Today
  • 0:08:15 Structure of IEC 61508
  • 0:10:32 Functional Safety Certification
  • 0:14:00 IEC 61508 Hazard/Risk Analysis and SIL Determination
  • 0:17:37 Safety Function / Safe State
  • 0:20:12 Rik Analysis / Safety Integrity Level
  • 0:32:54 Hazard Analysis
  • 0:52:19 Safety Development Phases
  • 0:53:40 Safety vs Reliability
  • 0:54:42 Reliability Engineering Approach to Safety
  • 0:56:22 Reliability of Electrical Components
  • 0:57:53 Software Development V-Model
  • 0:59:54 Software Safety Requirements Specification
  • 1:06:35 Software Aspects of System Safety Validation
  • 1:06:49 Software Modification
  • 1:06:55 Software Verification
  • 1:07:21 Design and Coding Standards
  • 1:08:36 Dynamic Analysis and Testing
  • 1:08:48 Functional and Black-box Testing
  • 1:10:10 Static Analysis
  • 1:13:39 Safety-critical Coding Standards
  • 1:15:50 Relationship between C, C++, MISRA C/C++, JSF++
  • 1:18:20 Rationale for Coding Rules

Laufzeit (hh:mm:ss)

01:24:10

Serie

Echtzeitsysteme, Vorlesung, SS 2017

Publiziert am

13.07.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

Echtzeitsysteme, Vorlesung, SS 2017 Folgen 1-28 von 28