Workshop 2009

Entwicklung zuverlässiger Software-Systeme

18. Juni 2009, Hochschule Regensburg
93053 Regensburg, Galgenbergstraße 30

Call for Papers

Organisation

Workshopleitung
Hubert B. Keller, Forschungszentrum Karlsruhe
Erhard Plödereder, Universität Stuttgart
Jürgen Mottok, Hochschule Regensburg

Programm

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

Anmeldung

Workshopgebühren
Anmeldung vor Ort möglich

Kategorie	Überweisung oder vor Ort
Regulär	60 € Workshopband der SWT-Trends, Kaffeepausen und die Abendveranstaltung am 17.6. sind inbegriffen
Studenten	Frei, nur als Zuhörer

Anreise

Anfahrt und Lageplan

Ausstellung

	Parallel zum Workshop wird am 18. Juni im Foyer vor dem Auditorium eine Ausstellung stattfinden. Die Ausstellung ist von 8:30 bis 17:00 Uhr geöffnet. Es wird vormittags und nachmittags je eine größere Kaffeepause im Bereich der Ausstellung geben. Das Mittagessen gibt es in der Mensa im Haus gegenüber dem Auditorium.
Fläche etc.	Jeder Aussteller erhält ca. 2,5m x 2m Stellfläche, dazu je einen Tisch der Maße 140 x 75cm, einen 220V Stromanschluss und freier Zugang zum WLAN-Netzwerk. Den Lageplan für die Ausstellung und die Flächenaufteilung ersehen Sie hier (Link zum Plan).
Gebühren und Zahlung	Die Gebühr für einen Ausstellerplatz inklusive eines regulären Teilnehmers für die Tagung beträgt EUR 500,00. MwSt wird nicht ausgewiesen. Nach Eingang der Ausstellergebühr werden Sie auf der Workshopwebsite mit Logo und Verweis auf Ihre Homepage sowie im Programm genannt. Es gibt Platz für 8 Aussteller. Die Ausstellerplätze werden in der Reihenfolge des Zahlungseingangs vergeben. Die vorläufige Zusage erhalten Sie nach Eingang der Anmeldung. Die endgültige Zusage erhalten Sie nach Eingang der Gebühr (Stichwort „Aussteller 2009“) auf dem Konto 22176333, Förderverein Ada Deutschland e.V, Sparkasse Karlsruhe, BLZ 660 501 01.
Anmeldung	Anmeldung sowie weitere Fragen und Informationen unter: peter.dencker at etas.com

Unsere Aussteller