Prof. Dr. Dr. Wolfgang A. Halang / Dipl.-Ing. Jutta Düring
FernUniversität in Hagen, LG Informationstechnik, D-58084 Hagen
Telefon: +49 2331 987 372, E-Mail: tagung@real-time.de

Faltblatt als PDF

ca. 11:00 Uhr	Treffen der GI-Arbeitskreise
ab 11:30 Uhr	Mittagsimbiss (optional)
13:00 Uhr	Begrüßung
13:15 Uhr	Sitzung 1: Funktionale Sicherheit und ihre Normen (Cseke) Eingeladener Vortrag: Rolle (DKE im VDE): Funktionale Sicherheit programmierbarer elektronischer Systeme Glöe, Volkwarth (CATS Software Tools): Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität
14:15 Uhr	Pause
15:00 Uhr	Sitzung 2: Automobiltechnische Anwendungen (Frey) Eggert, Fuchs, Bohdanowicz, Zöbel (Universität Koblenz-Landau): Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen Schnarz, Wietzke (Hochschule Darmstadt): IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld
16:00 Uhr	Pause
16:30 Uhr	Sitzung 3: Graduiertenwettbewerb (Benra) Beifuß (Universität Hamburg): Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem Müller (Universität Erlangen-Nürnberg): Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung Strobel (Hochschule Furtwangen): Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs
18:00 Uhr	Preisverleihung
18:15 Uhr	Abendessen
20:00 Uhr	Mitgliederversammlung des Fachausschusses

9:00 Uhr	Sitzung 4: Systementwicklung (Schiedermeier) Elzer (ehemals TU Clausthal): Fehlertolerante verteilte Systeme aus Standardkomponenten Godesa, Hilbrich (Fraunhofer FOKUS): Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren Schwarz (Universität Koblenz-Landau): Statistische Parametersynthese für hybride Systeme
10:30 Uhr	Pause
11:00 Uhr	Sitzung 5: Verifikation (Zöbel) Jovalekic, Wiescholek, Rist (Hochschule Albstadt-Sigmaringen, Honeywell Security Group): Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration Soliman, Frey (Universität des Saarlandes): Verifikation und Validierung sicherheitsgerichteter SPS-Programme Roth, Liggesmeyer (TU Kaiserslautern): Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen
12:30 Uhr	Verabschiedung
12:45 Uhr	Mittagsimbiss (optional)

Wir danken folgenden Firmen für ihre Unterstützung durch Spenden:

Ingenieurbüro für Technik,
Cseke und Domeyer GbR

Beenen IT-Lösungen GmbH