29. - 30. Juni 2011 im Bosch Zentrum Feuerbach
Call for Papers
Call for Paper zum Download in Deutsch / English
Organisation
Workshopleitung
Peter Dencker, ETAS GmbH, Stuttgart
Hubert B. Keller, KIT Karlsruhe
Organisationsleitung
Peter Dencker, ETAS GmbH, Stuttgart
Fachliche Träger
- Gesellschaft für Informatik, Fachbereiche „Sicherheit“ und „Softwaretechnik“
- Fachgruppe Ada und zuverlässige Softwaresysteme
- Fachgruppe ENCRESS
- VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik, Fachausschuss Embedded Software
- Förderverein Ada Deutschland e. V.
Kontakt
Hubert B. Keller, hubert.keller (at) kit.edu
Peter Dencker, peter.dencker (at) etas.com
Mit der freundlichen Unterstützung von ETAS GmbH, Stuttgart
Programm
Mittwoch, 29. Juni
| 13:00 - 16:00 |
Arbeitskreis Begriffe des GI FB Sicherheit |
| 16:30 - 17:30 |
FG Ada - Zuverlässige Softwaresysteme - Mitgliederversammlung |
| 17:00 - 18:00 |
Förderverein Ada Deutschland - Mitgliederversammlung |
| 19:00 |
Abendveranstaltung - mit freundlicher Einladung von Ada Deutschland |
Donnerstag, 30. Juni
| |
Registrierung |
| 8:30 |
Begrüßung |
| 8:45 |
Hauptvortrag: Michael Tiedemann, Sysgo AG |
Virtualisierung in sicherheitskritischen Systemen |
| 9:30 |
Hilbrich, Robert |
Many-Core und Task Migration in sicherheitskritischen eingebetteten Systemen |
| 10:05 |
Pause |
| 10:45 |
Bohn, Michael; Schneider, Jörn; Eltges, Christian |
Migration von AUTOSAR-basierten Echtzeitanwendungen auf Multicore-Systeme |
| 11:20 |
Iyenghar, Padma; Pulvermüller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wübbelmann, Jürgen |
Model-Based Debugging of Embedded Software Systems |
| 11:55 |
Mittagspause / Ausstellungsbesichtigung |
| 13:15 |
Kaske, Axel; Gebhardt, Markus |
Tools and Methods for Validation and Verification as requested by ISO26262 |
| 13:50 |
Conrad, Mirko; Fey, Ines |
ISO 26262 - Exemplary tool classification of Model-Based Design tools |
| 14:25 |
Kanig, Johannes; Guitton, Jerome; Moy, Yannick |
Hi-Lite - Verification by Contract |
| 15:00 |
Pause |
| 15:30 |
Ammann, Christian |
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers |
| 16:05 |
Meitner, Matthias; Saglietti, Francesca |
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung |
| 16:40 |
Herzner, Wolfgang; Schlick, Rupert; Brandl, Harald; Wiessalla, Johannes |
Towards Fault-based Generation of Test Cases for Dependable Embedded Software |
| 17:15 |
Herrmann, Dirk; Liebehenschel, Jens |
An Approach for Requirements Engineering for Software Library-Components and Patterns to be Reused in and Across Product Lines |
| 17:50 |
Abschluss |
Anreise
Die Tagung findet im Auditorium Boschzentrum am Feuerbach, Borsigstraße 14, Stuttgart, statt. Informationen über Anreisemöglichkeiten, Hotels allgemein, Parkmöglichkeiten und die genaue Lage finden Sie hier (Anreiseinfo).
Tagungsort
Der Tagungsbereich in der Borsigstraße und der Parkplatz P60 in der Kruppstraße finden Sie hier (Anfahrt_und_Parken).
Abendveranstaltung
Die Abendveranstaltung findet im xxx statt.
Verkehrsverbund Stuttgart
Verkehrsverbund
Fahrplanauskunft
Hotelverzeichnis
Verzeichnis Stuttgart
Bitte sprechen Sie uns bei Fragen an. Wir helfen gerne weiter.
Ausstellung
Parallel zur Konferenz wird am 30. Juni im Foyer neben 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 mit Getränke- und Gebäckservice im Bereich der Ausstellung geben. Die Mittagspause ist ca. eine Stunde.
Ausstellungsplan
Den Lageplan für die Ausstellung finden Sie hier (Lageplan). Jeder Aussteller erhält ca. 2,5m x 2m Stellfläche, dazu je einen Tisch der Maße 160x80 cm und einen 220V Stromanschluss.
Die Flächenaufteilung ersehen Sie unverbindlich hier (Flächenaufteilung).
Ausstellergebühr und Anmeldung
Die Gebühr für einen Ausstellerplatz inklusive eines regulären Teilnehmers für die Tagung beträgt EUR 500,00.
Die Gebühren beinmhalten keine Umsatzsteuer, sie sind von der Umsatzsteuer befreit. Der Förderverein Ada Deutschland e.V. ist nach Mitteilung des Finanzamtes Karlsruhe Stadt mit der St.-Nr. 35022/30530 als gemeinnützig anerkannt.
Es gibt Platz für 8 Aussteller. Nach Eingang der Ausstellergebühr werden Sie auf der Ausstellerseite der Tagungswebsite mit Logo und Verweis auf Ihre Homepage genannt. Die Ausstellerplätze werden in der Reihenfolge des Zahlungseingangs vergeben.
Die vorläufige Zusage erhalten Sie nach Eingang der schriftlichen oder e-mail Anmeldung bei Peter Dencker (peter.dencker (at) etas.com). Die endgültige Zusage erhalten Sie nach Eingang der Gebühr auf dem Konto 22176333, Förderverein Ada Deutschland e.V, Sparkasse Karlsruhe, BLZ 660 501 01.
