Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 21662 (SoSe 17)

 
21662 Sicherheitsgerichtete Echtzeitsysteme II im Sommersemester 2017
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Sommersemester 1998 Umfang: 3.0 SWS
Übungsumfang: 0.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungBei sicherheitsgerichteten Echtzeitsystemen - oder ausführlicher: hoch verläßlichen programmierbaren elektronischen Systemen für sicherheitskritische Steuer- und Regelanwendungen - handelt es sich um ein Gebiet, das erst am Anfang seiner Behandlung in Forschung und Lehre steht. Seine Bedeutung ergibt sich aus dem wachsenden Sicherheitsbewußtsein einerseits und aus dem technischen Trend zu flexibleren, d.h. programmgesteuerten Automatisierungsgeräten andererseits. Es ist das Ziel, den Zustand zu erreichen, daß Echtzeitsysteme mit einem hinreichenden Grad an Vertrauen in ihre Verläßlichkeit erstellt werden können, der ihre Zulassung für sicherheitskritische Steuer- und Regelaufgaben auf der Basis formeller Abnahmen erlaubt.
Der zweite Teil stellt im wesentlichen Ergebnisse jüngster Forschungen vor. Im einzelnen werden sichere speicherprogrammierbare Steuerungen, das Paradigma der Programmierung mit Funktionsplänen und deren bijektive Abbildung in Hardware-Implementationen, Fallstudien sicherheitsgerichteter und sicherheitstechnisch abnehmbarer Rechnerarchitekturen, inhärent sichere Konstrukte in und beweisbar sichere Teilmengen von Echtzeitprogrammiersprachen, Fragen der Ablaufplanung, Ressourcenzuteilung und Zuteilbarkeitsanalysen sowie ein Regelwerk zur Konstruktion sicherheitsgerechter Echtzeitsysteme behandelt.
Termine
Veranstaltungsbeginn: 03.04.2017
Versand
Material
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.
Demonstrationsmaterial PDF-Datei Einheiten
Einstieg
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,1s  |  29.3.24,08:06 im Wintersemester 2023/2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de