Programmheft - Software Engineering Konferenzen

Freitag
server, which gave him a local shell, by which he
gained administrator provileges via a security
hole in Perl, and thus installed a new administrator
account”.
Malfor works by experiments. First, we record the
interaction of the system being diagnosed. After
the effect (the intrusion) has been detected, we
replay the recorded events in slightly different
configurations to isolate the processes which
were relevant for the effect. While intrusion
analysis is among the more spectacular uses of
Malfor, the underlying techniques can easily be
generalized to arbitrary system behaviors.
zugelieferter Software verstärkt sich die Anforderung,
die Konfiguration der zeitlichen und sequentiellen
Ausführung von Prozessen in Tasks
systematisch und formal je SW-Komponente zu
erfassen, so dass in den Projekten eine werkzeugunterstützte
Überprüfung stattfinden kann.
Es wird dabei ein OSEK-konformes statisches
Betriebssystem vorausgesetzt. Das entwickelte
und pilotierte Konzept setzt auf dem MSR-Backbone-Gedanken
auf: die durchgängige Verwendung
eines xml-basierten standardisierten Austauschformats
für die komplette Entwicklung
und Zulieferung. Dabei wurde speziell auf den
Aspekt der Variationspunkte Wert gelegt, der in
Produktlinien wichtig ist.
15:00–16:00 (Session N2)
Hörsaal B
C++ ist typsicher? Garantiert!
Ein Forschungsbericht von Daniel Wasserrab, Tobias
Nipkow, Gregor Snelting, Frank Tip
Wir präsentieren eine operationelle Semantik mit
Typsicherheitsbeweis für Mehrfachvererbung
in C++, formalisiert im und maschinengeprüft
durch den Maschinenbeweiser Isabelle/HOL.
Der vorliegende Beweis erhöht das Vertrauen
in die Sprache, erzeugt aber auch neue Einsicht
in die Problematik des C++-Vererbungsmechanismus.
Er öffnet die Tür für weitergehende Beweise,
die bisher unerreichte Sicherheitsgarantien
für C++-Programme liefern.
Zulieferung und Integration in Automative
Produktlinien: Konfiguration von Prozessreihenfolgen
innerhalb Tasks
Ein Erfahrungsbericht von Birgit Boss
Durch die steigende Komplexität von Steuergeräte-Software,
die Wiederverwendung von SW-
Komponenten in verschiedenen Produkten einer
Produktfamilie sowie den steigenden Anteil
29