6. Dagstuhl-Workshop MBEES 2010:
Modellbasierte Entwicklung eingebetteter Systeme

(Model-Based Development of Embedded Systems)
03.02.2010 - 05.02.2010

Schloss Dagstuhl ist eine wunderbare Begegnungstätte für Forscher und Praktiker in Deutschland. Sie erlaubt es in informellem Rahmen Workshops und Konferenzen zu abzuhalten, dabei den Gedankenaustausch zu pflegen und neue Ideen zu entwickeln.

Wir laden daher Interessenten ein, an diesem offen organisierten Workshop zur modellbasierten Entwicklung eingebetteter Systeme teilzunehmen.

Modellbasierte Entwicklung von eingebetteten (Software)Systemen beruht auf der anwendungsorientierten Modellierung mit domänenspezifischen Konzepten (z.B. gezeitete Signale, synchroner Datenfluss) zur Abstraktion von Implementierungsmodellen und deren Konstrukte (z.B. Interrupt, Methodenaufruf). Analytische und generative Verfahren auf diesen Modellen ermöglichen die effiziente Entwicklung hochqualitativer Software.

Die Ziele des Workshops:

• Austausch über domänenspezifische Probleme und existierende Ansätze zwischen den unterschiedlichen Disziplinen (insbesondere Elektro- und Informationstechnik, Maschinenwesen/Mechatronik, und Informatik)
• Austausch über relevante Probleme in der Anwendung/Industrie und existierende Ansätze in der Forschung
• Verbindung zu nationalen und internationalen Aktivitäten (z.B. Initiative des IEEE zum Thema Model-Based Systems Engineering, GI-AK Modellbasierte Entwicklung eingebetteter Systeme, GI-FG Echtzeitprogrammierung, MDA Initiative der OMG)

Themengebiete:

Modellbasierte Entwicklung eingebetteter Softwaresysteme, unter anderem

• Domänenspezifische Ansätze zur Modellierung von Systemen (z.B. Flight, Railway, Automotive, Produktions- und Automatisierungstechnik)
• Integration ereignisgesteuerter und zeitgesteuerter Systeme
• Modellierung spezifischer Eigenschaften eingebetteter Systeme (z.B. Echtzeiteigenschaften, Robustheit/Zuverlässigkeit, Ressourcenmodellierung)
• Konstruktiver Einsatz von Modellen (Generierung und Evolution)
• Modellbasierte Validierung und Verifikation

Angesprochene Personen:

• Wissenschaftlerinnen und Wissenschaftler mit Schwerpunkt modellbasierte Entwicklung eingebetteter Softwaresysteme mit starkem Bezug zur Anwendung, Themenbereiche Elektro- und Informationstechnik als auch im Themenbereich Informatik
• Mitarbeiterinnen und Mitarbeiter aus den Forschungs-/Entwicklungsbereichen von Herstellern von Softwarewerkzeugen für eingebettete Systeme

Organisationskomitee:

• Prof. Dr. Holger Giese,  Hasso-Plattner-Institut an der Universität Potsdam
• Dr. Michaela Huhn, TU Braunschweig
• Jan Philipps, Validas AG
• Dr. Bernhard Schätz, TU München

Programmkomitee:

• Dr. Mirko Conrad, The Mathworks GmbH
• Prof. Dr. Holger Giese,  Hasso-Plattner-Institut an der Universität Potsdam
• Dr. Michaela Huhn, TU Braunschweig
• Dr. Hardi Hungar, OFFIS
• Prof. Dr. Stefan Kowalewski, RWTH Aachen
• Ulrich Nickel, Hella KGaA Hueck&Co
• Dr. Oliver Niggemann, dSPACE GmbH
• Jan Philipps, Validas AG
• Dr. Ralf Pinger, Siemens AG
• Prof. Dr. Bernhard Rumpe, RWTH Aachen
• Dr. Bernhard Schätz, TU München
• Wladimir Schamai, EADS
• Prof Dr.-Ing. Birgit Vogel-Heuser, TU München
• Prof. Dr. Albert Zündorf, Universität Kassel

Wichtige Daten:

• Einreichungen Abstract: Mi, 9.12.2009, um 12:00 Uhr (verlängert)
• Einreichungen Beiträge: Mo, 14.12.2009, 10:00 Uhr (verlängert)
• Benachrichtigung über Begutachtung: 4.01.2010
• Endfassung Beiträge: 25.01.2010 (Link siehe unten)
• Workshop: 03.-05.02.2010

Workshop-Format:

• Die Teilnahme erfolgt per Einladung, unter besonderer Berücksichtigung der Teilnehmenden vom letzten Workshop.
• Die Teilnahme ist mit der Einreichung eines Beitrags verbunden; die Beiträge werden als Arbeitsmaterial für die Proceedings zur Verfügung gestellt
• Als Beiträge sind möglich (jeweils 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.
  • Technical Contributions (ca. 6 -10 Seiten): Überblick für den Stand der Technik oder Anwendung, Bericht über Forschungsergebnisse einzureichen.
  • Research Abstracts (ca. 6 Seiten): Bericht zu einem begonnenen Promotionsvorhaben (geschätzte Restlaufzeit min. 2 Jahre) mit Fokus auf das adressierte Problem und die Lösungsidee.
• Die Beiträge werden auf inhaltliche Eignung grob begutachtet
• Die Beiträge sollten im LNI-Format erstellt werden

Kontakt: Dennis Klar <mbees10tu-bs.de>

Einreichungen: http://www.hpi.uni-potsdam.de/giese/events/2010/mbees2010/

Camera-Ready Version bitte per Email an: mbees@fortiss.org

Vorläufiger Zeitplan für den Workshop: MBEES 2010 Zeitplan (pdf, 44 KByte)

Tagungsreihe: Modellbasierte Entwicklung eingebetteter Systeme

Die finalen Versionen der akzpetierten Einreichungen der bisherigen Workshops wurden jeweils zu einem technischen Bericht zusammengefasst.

Der Workshop wird unterstützt von

• Software Systems Engineering (SSE), TU Braunschweig
• TU München
• Hasso Plattner-Institut
• Validas AG
• Querschnittsfachausschuss Modellierung der GI
• Schloss Dagstuhl

---

last changed 2010-02-01   print version

X

modified by y0018400
first created 2009-12-07

---

Responsible: Dr. Michaela Huhn
Feedback to m.huhn@tu-braunschweig.de