Modellbasierte Entwicklung Eingebetteter Systeme MBEES2016
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. Er setzt die Tradition der bisherigen Workshops fort, indem er zur Diskussion zwischen den Teilnehmern anregt.
Durchführung:
MBEES2016 wird als 1,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 (ca. 2 - 6 Seiten): Positionspapier zu offenen Fragen/ Problemen, Präsentation von Forschungsvorhaben, Diskussion von Forschungszielen, Werkzeugdemo
- Research Abstracts (ca. 6 Seiten): Bericht zu einem begonnenen Promotionsvorhaben (geschätzte Restlaufzeit min. 2 Jahre) mit Fokus auf Problemstellung und Lösungsidee
- Technical Contributions (ca. 6 -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(mbees2016"AT"easychair.org)): 15.12.2015
- Einreichung Titel und Zusammenfassung (via (mbees2016"AT"easychair.org)EasyChair): 22.01.2016
- Einreichungen Beiträge (via (mbees2016"AT"easychair.org)EasyChair): 29.01.2016 07.02.2016
- Benachrichtigung über Begutachtung: 29.02.2016 01.03.2016
- Endfassung Beiträge: 09.03.2016 20.03.2016
- Workshop: 30.03. - 01.04.2016
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 |
Organisatoren:
- Michaela Huhn, Ostfalia Hochschule für angewandte Wissenschaften
- Matthias Riebisch, Universität Hamburg
- Bernhard Schätz, TU München und fortiss GmbH
MBEES ist als Arbeitskreis der Fachgruppe Architekturen der GI zugeordnet.
Programmkommitee
- Mirko Conrad
- Ulrich Epple, RWTH Aachen
- Michaela Huhn, Ostfalia Hochschule für angewandte Wissenschaften
- Hardi Hungar, German Aerospace Center
- Ulrich Nickel, Delta Energy Systems
- Matthias Riebisch, Universität Hamburg
- Bernhard Rumpe, RWTH Aachen
- Bernhard Schätz, TU München und fortiss GmbH
- Andy Schürr, TU Darmstadt
- Markus Völter
- Albert Zuendorf, Universität Kassel
Ort des Workshops:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Informationen zur Anreise
Proceedings:
Die Proceedings wurden online als Fortiss-Publikation veröffentlicht: Download PDF
Kontakt:
Email(mbees2016"AT"easychair.org) an Organisatoren
Administration Schloss Dagstuhl