Programm

Workshop "Entwicklung zuverlässiger Software-Systeme",
18. Juni 2009, Hochschule Regensburg
[Download gesamtes Vortragspaket - 7MB]

Programm des Workshops am 18. Juni (Donnerstag) [Die Vorträge sind bei den Titeln hinterlegt als PDF!]
8.30 Uhr Hubert B. Keller Begrüßung und Einführung
8.45 Uhr John Barnes The Spark approach to high integrity software
9.30-10.10 Uhr

Daniel Kästner,
AbsInt GmbH

Astrée: Nachweis der Abwesenheit von Laufzeitfehlern
10.10-10.40 Uhr Pause  
10.40-11.00 Uhr Harald Hauff,
Universität Passau
Erfüllung von funktionalen und nichtfuntionalen Anforderungen in eingebetteten Systemen durch modellbasierte Software-Entwicklung

11.00-11.40 Uhr

Zamira Daw,
Hochschule Mannheim
Methode zur Entwicklung sicherheitskritischer Systeme mittels deterministischer UML-Modelle
11.40-12.20 Uhr Armin Beer,
Siemens AG
Model-based testing and verification of dependable systems
12.20-13.20 Uhr Mittagspause  
13.20-13.40 Uhr Gunter Blache,
ETAS GmbH
Model based development & automatic code generation for safety critical systems with ASCET
13.40-14.00 Uhr Michael Erskine,
LFK-Lenkflugkörpersysteme GmbH
Sicherheitskritische Software mit dem V-Modell
14.00-14.20 Uhr Stefan Puchner,
TU München
Safety-Cases für zertifizierte Fahrzeugfunktionen
14.20-14.40 Uhr Sandro Schulze,
University of Magdeburg
IT Security in Automotive Software Development
14.40-15.00 Uhr Michael Niemetz,
Continental Automotive GmbH
Quirks and Challenges in the Design and Verification of Efficient, High-Load Real-Time Software Systems
15.00-15.30 Uhr Pause  
15.30-16.10 Uhr M. Steindl,
Regensburg University of Applied Sciences
Migration of Safely Embedded Software to FPGA Based Architectural Concepts
16.10-16.50 Uhr Matthias Götz,
Forschungszentrum Karlsruhe
Analyse und Entwicklung einer μ-Controller-basierten Echtzeitsteuerung für Sensorsysteme mit Ada-Raven
16.50-17.30 Uhr Sven Söhnlein,
Universität Erlangen-Nürnberg
Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung
17.30-17.45 Uhr Abschluss  
     
Abendveranstaltung am 17. Juni (Mittwoch)
20.00 Uhr Restaurant Vitus, Regensburg

Dinner Speech: "Intuitionsfallen in Projekten -Erfahrungen aus dem Projektalltag", Peter Siwon, MicroConsult
Begrenzte Teilnehmerzahl, Teilnahme nach Reihenfolge der Anmeldung


Veranstaltungen am 17. Juni (Mittwoch)
16.30 Uhr GI FG Ada Mitgliederversammlung
17.30 Uhr FV Ada-Deutschland Mitgliederversammlung
18.30 Uhr GMA FA Embedded Software Sitzung
20.00 Uhr Abendveranstaltung
Restaurant Vitus, Regensburg
Dinner Speech:

Überlegungen zu "Intuitionsfallen in Projekten -Erfahrungen aus dem Projektalltag", Peter Siwon, MicroConsult
 
Veranstaltungen am 19. Juni (Freitag)
9.00 Uhr GI FB Sicherheit, AK Begriffe Sitzung

06.08.2009