Beschreibung
Ziel des Workshops ist der Austausch über offene Probleme, gewonnene Erfahrungen, und neue Ansätze zwischen den verschiedenen Disziplinen (Elektronik, Mechatronik, Informatik) sowie zwischen Industrie und Universität im Umfeld der modellbasierten Entwicklung eingebetteter und Software-intensiver Systeme. Er setzt die Tradition der bisherigen Workshops fort, indem er zur Diskussion zwischen den Teilnehmern anregt.
Programm
Mittwoch 30.03. |
| |
17:26 | empfohlene Ankunft Türkismühle - RE 29524 von Frankfurt(Main)Hbf für Sammeltaxi |
18:00 | Abendessen falls angemeldet |
20:26 | empfohlene Ankunft Türkismühle - RE 29530 von Frankfurt(Main)Hbf für Sammeltaxi |
| |
| Donnerstag 31.03. |
| |
09:30 | M. Huhn, M. Riebisch: Begrüßung |
| Formal Methods, Verification & Validation |
10:00 | Hardi Hungar (Invited Talk) |
| Verification and Validation of Software for the European Vital Computer - Experiences from the Project openETCS |
|
11:00 | Kaffee |
| |
11:15 | Jan Oliver Ringert, Bernhard Rumpe and Andreas Wortmann |
| Model-Based Specification of Component Behavior with Controlled Underspecification |
12:15 | Mittagessen |
| |
13:15 | Shahar Maoz and Jan Oliver Ringert |
| SYNTECH: Synthesis technologies for reactive systems software engineers (Position presentation) |
| Quality Assessment and Certification |
14:00 | Thomas Gerlitz, Norman Hansen, Christian Dernehl and Stefan Kowalewski |
| A Continuous Integration and Quality Assessment Framework for Model-Based Software Artifacts |
14:45 | Sinem Getir, Lars Grunske and Matthias Tichy |
| ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results |
15:30 | |
| |
16:00 | Lars Evertz and Ulrich Epple |
| Metamodelle für die einheitliche Verwaltung von entitätsbezogenen Lebenszyklusdaten |
16:45 | Fokussierte Gruppendiskussion: Entscheidung über Themen und Fragestellungen |
| Themenvorschläge siehe Workshop-Inhalt |
18:00 | Abendessen |
ab 20:15 | Diskussion |
| |
| Freitag 01.04. |
| |
09:00 | Daniel Tuchscherer, Stefan Geigenberger, Alexander Weibert, Konstantin Zeller and Frank Traenkle |
| Modellbasierte PID-Reglerentwicklung mit Modern C++, Boost und ROS |
09:45 | Christopher Brink and Philipp Heisig |
| Analyse von Änderungen in Produktfamilien unter Berücksichtigung der Kombination von Hardware- und Software-Varianten |
10:30 | alle |
| Fokussierte Gruppendiskussion: Themenbearbeitung Teil 1 |
12:15 | Mittagessen |
| |
13:15 | alle |
| Fokussierte Gruppendiskussion: Themenbearbeitung Teil 2 |
14:45 | M. Huhn, M. Riebisch: Zusammenfassung und Abschluß |
| |
15:00 | Ende des Workshops |