Workshop Ada und sichere Systeme im Kontext UML und MDA

Frankfurt, 29.09.2003
Teiltagung Sicherheit - Schutz und Zuverlässigkeit (im Rahmen der Informatik 2003)

Vorträge

Das Raven MDA Profil für die Modellierung sicherheitskritischer Systeme
Klaus Wachsmuth, Aonix [pdf]

A Snapshop of Ada 0Y
Erhard Plödereder, Universität Stuttgart

Comparison of the execution times of Ada, C and Java.
Marcus Weiskirchner, EADS [pdf]

Integrated Modular Avionics - The ARINC 653 Example
Michael Friess, ACT-Europe [pdf folgt]

Steigender Einsatz komplexer Software in sicherheitskritischen Anwendungen.
Hampp, Windriver [ppt/zip]