KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Softwaretechnik II, Vorlesung, WS 2016/17, 19.12.2016, 15

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

15 |
0:00:00 Starten
0:00:13 Topic 13 - Real-time Development & Patterns
0:01:08 Overview on the next Lectures
0:01:49 Real-time systems
0:04:35 Logical vs. Temporal Correctness
0:05:58 Some Definitions
0:06:45 Stimulus/Response Systems
0:08:14 Interrupts vs. Periodic Processes
0:10:53 Monitoring & Control Systems
0:13:42 Example Control Systems
0:15:26 Data Acquisition Systems
0:17:15 Basic Sensor / Actuator Schema
0:17:45 Design Considerations
0:18:46 Real-Time Operating Systems
0:23:40 RTOS Overview
0:27:17 Process Management
0:28:17 (Periodic) Process Management
0:28:55 Classification of Scheduling Strategies
0:35:02 Some Scheduling Strategies
0:39:03 The Dilbert Way
0:40:03 Java as a Real-Time Language
0:44:08 JamaicaVM: Real-Time JVM from Karlsruhe
0:45:06 Example for Java in RT
0:45:34 System Design
0:46:38 The RT System Design Process
0:48:20 Examplary System
0:49:56 Burglar Alarm System
0:51:36 Timing Requirements
0:53:22 Burglar Alarm System Processes
0:55:09 Terminology: ""Thread"" vs. ""Process""
0:56:36 Properties of a Thread
0:59:10 Thread Communication
1:03:03 Petri Nets in a Nutshell
1:03:55 Petri Net Example
1:07:18 RT System Analysis
1:08:04 Dimensions of Dependability
1:09:33 Safety & Reliability
1:16:26 Example Avionics
1:19:39 Fault-Error-Failure Chain
1:21:32 Types of Faults

Laufzeit (hh:mm:ss)

01:25:39

Serie

Softwaretechnik II, Vorlesung, WS 2016/17

Publiziert am

23.12.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

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