IMMD IV Hauptseite Zurück Nach oben Hilfe Ks - 5. Mai 2000

Betriebsprogrammierung 2 (BP2)

Übungen zu Betriebsprogrammierung II (Ü-BPII) (10297)

Dozent/in
Dipl.-Inf. Stephan Kösters

Angaben
Übung
1 SWS, ECTS-Studium, ECTS-Credits: 2
nur Fachstudium
Zeit und Ort: Mo 16:00 - 16:45, 2.037

Übungsblätter und Lösungsvorschläge

Die Themen und Lösungen der Übungen werden nach und nach ergänzt.

Die Übung am Montag, den 24.7. muß zugunsten des Vortrags von Herrn Müller entfallen. Hier eine kurze Ankündigung des Vortrags, den Prof. Hofmann allen Studenten (nicht nur den BP-Hörern) empfiehlt:

Am Montag, 24.7., wird Herr Müller, TÜV Product Service GmbH, zum Thema "Anforderungen an die Entwicklung und Zertifizierung sicherheitsgerichteter Betriebssysteme für Embedded Systems" in einem Informatik-Kolloquium außer der Reihe vortragen.
Der Vortrag beginnt um 16:15 Uhr im H4.

Zur Vorinformation hier noch einmal eine Zusammenfassung des Vortrags:

Betriebssysteme erlauben eine wesentlich effizientere Entwicklung von komplexer Software in Embedded Systems. Bis heute können die Entwickler sicherheitsgerichteter Computersysteme die Vorteile von käuflichen (off the shelf) Betriebssystemen und Libraries jedoch nur begrenzt nutzen. Die Hersteller von Betriebssystemen hatten bisher wenig Möglichkeit und Veranlassung die Anforderungen der Funktionalen Sicherheit zu verstehen.

Diese Situation hat sich mittlerweile vielfältig geändert. Nachdem die ersten zertifizierten Betriebssysteme für sicherheitsgerichtete Embedded Systems für Avionik-Systeme und große Automatisierungssysteme verfügbar sind, wird der Wunsch nach Anwendung von Betriebssystemen auch für andere sicherheitsgerichtete Embedded Systems in KFZ-Anwendungen, Maschinensteuerungen und in der Bahntechnik immer dominanter. Parallel dazu wurden nach langen Jahren der Diskussion unter Experten mit der internationalen Norm IEC 61508-3 und der anwendungs- orientierten Norm DO178B weltweit anerkannte Grundlagen für die Entwicklung sowie Verification & Validation von sicherheitsgerichteter Software verabschiedet.

Der Vortrag wird die sicherheitstechnischen Anforderungen an Software insbesondere Betriebssysteme und deren Entwicklung sowie das Zertifizierungsverfahren beschreiben. Es werden die Betriebssystemeigenschaften erläutert, auf die die Entwickler sicherheitsgerichteter Softwaresysteme aufbauen können.


Unser Server | Brief an Webmaster | Navigationshinweise | Suche