Modellbasierte Entwicklung Eingebetteter Systeme MBEES2017
Inhalt:
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. Derzeit gewinnen neben den klassischen Anforderungen wie Zuverlässigkeit und Korrektheit Forderungen nach Security zunehmend an Gewicht und erfordern eine Abwägung der Ziele.
Der Workshop setzt die Tradition der bisherigen Workshops fort, indem er zur Diskussion zwischen den Teilnehmern anregt.
Durchführung:
MBEES2017 wird als 2,5-tägiger Workshop abgehalten:
- Die Teilnahme erfolgt per Einladung, unter besonderer Berücksichtigung der Teilnehmer des letzten Workshops
- Die Teilnahme ist mit der Einreichung eines Beitrags verbunden; die Beiträge werden als Proceedings (fortiss Technischer Bericht) online zur Verfügung gestellt
- Als Beiträge sind möglich (auch als Kurzfassung bereits veröffentlichter aktueller Arbeiten):
- Short Papers (2 bis max. 6 Seiten): Positionspapier zu offenen Fragen/ Problemen, Präsentation von Forschungsvorhaben, Diskussion von Forschungszielen, Werkzeugdemo
- Research Abstracts (6 bis max. 8 Seiten): Bericht zu einem begonnenen Promotionsvorhaben (geschätzte Restlaufzeit min. 2 Jahre) mit Fokus auf Problemstellung und Lösungsidee
- Technical Contributions (6 bis max. 10 Seiten): Überblick für den Stand der Technik oder Anwendung, Bericht über Forschungsergebnisse
- Die Beiträge werden über das System EasyChair eingereicht. Bitte formatieren Sie Ihren Beitrag entsprechend dem LNI-Format für LaTeX gemäß den Autorenrichtlinien der Reihe LNI
- Die Beiträge der ersten Kategorie werden auf inhaltliche Eignung für den MBEES Workshop begutachtet (Kurzreview). Technical Contributions und Research Abstracts durchlaufen den üblichen Reviewprozess durch Mitglieder des Programmkommitees.
Wichtige Termine:
- Einreichung von Vorschlägen für weitere Teilnehmer (via Email(mbees2017"AT"easychair.org)): 25.11.2016
- Einreichung Titel und Zusammenfassung (via EasyChair): 04.12.2016
- Einreichungen Beiträge (via EasyChair): 11.12.2016 18.12.2016
- Benachrichtigung über Begutachtung: 01.02.2017 06.02.2017
- Endfassung Beiträge: 20.02.2017 26.02.2017
- Workshop: 15.-17.03.2017
Programm:
|
Mittwoch |
15.03.17 |
|
|
11:26 |
Ankunft Türkismühle (RE 29512 von Frankfurt(Main)Hbf) für Sammeltaxi |
|
|
12:00 |
13:00 |
Mittagessen |
|
12:26 |
Ankunft Türkismühle (RE 29514 von Frankfurt(Main)Hbf) für Sammeltaxi |
|
|
13:30 |
14:30 |
Begrüßung, Vorstellung, Ziele der Gruppendiskussion |
|
14:30 |
15:30 |
Eingeladener Vortrag: Brauer, Schulze, Peleska: Model Based Testing of Avionics Software, A True Story |
|
15:30 |
15:45 |
Kaffee |
|
15:45 |
16:30 |
Kai Adam, Bernhard Rumpe and Andreas Wortmann: Improving Reuse in Architecture Modeling with Higher-Order Components |
|
16:30 |
17:15 |
Thomas Strathmann and Sibylle Fröschle: Towards a Model-Based Safety and Security Analysis |
|
17:15 |
18:00 |
Christopher Pietsch, Dennis Reuling, Udo Kelter and Timo Kehrer: SiPL - Towards a Comprehensive Development Environment for Delta-oriented Model-based Software Product Lines |
|
18:00 |
Abendessen |
|
|
19:00 |
Get Together |
|
|
Donnerstag |
16.03.17 |
|
|
09:00 |
10:00 |
Eingeladener Vortrag: Hardi Hungar: Modellierung eines generischen Systems |
|
10:00 |
12:00 |
PhD-Session: Christoph Eickhoff and Albert Zuendorf: Verification of Dynamic Systems with SDMLib Reachability Graphs, a Car2X Case Study |
|
12:15 |
13:15 |
Mittagspause |
|
13:15 |
14:00 |
Philipp Bosler, Melanie Finkbeiner, Jan-Niklas Nieland, Uwe Ingelfinger and Frank Traenkle: Model-Based Development and Testing of Flight Dynamics Control Software for Quadrotors |
|
14:00 |
14:45 |
Jens Zimmermann: Software-Architektur eingebetteter Systeme auf Basis domänenspezifischer Sprachen in der industriellen Praxis – eine Fallstudie |
|
14:45 |
15:30 |
Vorbereitung Gruppendiskussion |
|
15:30 |
15:45 |
Kaffee |
|
15:45 |
18:00 |
Gruppendiskussion |
|
18:00 |
Abendessen |
|
|
Freitag |
17.03.17 |
|
|
09:00 |
10:00 |
eingeladener Vortrag: Johannes Eder: Model-basierte Design Space Exploration - Eine Fallstudie mit Continental |
|
10:00 |
12:00 |
Gruppendiskussion |
|
12:00 |
12:30 |
Zusammenfassung und Abschluss |
|
12:30 |
13:30 |
Mittagessen und Abreise |
Organisatoren:
- Michaela Huhn, Ostfalia Hochschule für angewandte Wissenschaften
- Hardi Hungar, DLR
- Matthias Riebisch, Universität Hamburg
- Sebastian Voss, fortiss GmbH
MBEES ist als Arbeitskreis der Fachgruppe Architekturen der GI zugeordnet.
Programmkommitee:
- Sibylle Froeschle, Universität Oldenburg
- Michaela Huhn, Ostfalia Hochschule für angewandte Wissenschaften
- Hardi Hungar, DLR
- Matthias Riebisch, Universität Hamburg
- Bernhard Rumpe, RWTH Aachen
- Andy Schürr, TU Darmstadt
- Sebastian Voss, fortiss GmbH
- Markus Völter, Independent
- Albert Zuendorf, Universität Kassel
Ort des Workshops:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Informationen zur Anreise nach Dagstuhl
Nutzen Sie bei Bedarf ein Pauschalpreis-Bahnticket der GI, auch kombinierbar mit Bahncard
Anmeldung und Kosten:
Für die Anmeldung haben die Teilnehmer eine Email erhalten.
Für den Workshop selbst fallen keine Gebühren an, die Teilnehmer haben nur die Kosten Kategorie 2 für Übernachtung und Verpflegung von Schloss Dagstuhl zu erwarten, die vor Ort zu bezahlen sind.
Proceedings:
Die Post-Proceedings des Workshops wurden online als Fortiss-Publikation veröffentlicht und sind hier zum Download zur Verfügung gestellt
Kontakt:
Email(mbees2017"AT"easychair.org) an Organisatoren
Administration Schloss Dagstuhl