Institut für Informatik

Foundations of Computer Science

Informatik an der TU Clausthal > Abteilungen > Grundlagen der Informatik > Forschung > 8. Dagstuhl-Workshop MBEES 2012

Shortcuts: IFI Kennwort ändern; Studium FAQs; Stud.IP; TUC Studienportal; Formularwesen; Bibliothek; Rechenzentrum; Prüfungstermine; Fakultätentag Informatik; Datenschutz

8. Dagstuhl-Workshop MBEES 2012

Modellbasierte Entwicklung eingebetteter Systeme (06.02.2012 - 08.02.2012)

(Model-Based Development of Embedded Systems)

Neuigkeiten:

Programm verfügbar.

Einleitung

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.

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.

MBEES 2012 wird als geschlossener Workshop abgehalten.

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 Clausthal
Jan Philipps, Validas AG
Dr. Bernhard Schätz, fortiss GmbH, München

Programmkomitee (vorläufig):

Dr. Mirko Conrad, The Mathworks GmbH
Prof. Dr. Ulrich Epple, RWTH Aachen
Prof. Dr. Holger Giese, Hasso-Plattner-Institut an der Universität Potsdam
Dr. Michaela Huhn, TU Clausthal
PD Dr. Hardi Hungar, OFFIS, Oldenburg
Prof. Dr. Stefan Kowalewski, RWTH Aachen
Ulrich Nickel, Delta Energy Systems
Prof. Dr. Oliver Niggemann, Hochschule Ostwestfalen-Lippe
Jan Philipps, Validas AG
Dr. Ralf Pinger, Siemens AG
Prof. Dr. Bernhard Rumpe, RWTH Aachen
Dr. Bernhard Schätz, fortiss GmbH, München
Prof. Dr. Andy Schürr, TU Darmstadt
Prof. Dr. Birgit Vogel-Heuser, TU München
Prof. Dr. Albert Zündorf, Universität Kassel

Wichtige Daten:

Zusage/Absage für die Einreichung eines Beitrags und Teilnahme am Workshop: 15.10.2011
Einreichung Titel und Zusammenfassung: 21.11.2011 (verlängert)
Einreichungen Beiträge: 30. 11. 2011 (verlängert)
Benachrichtigung über Begutachtung: voraussichtlich 20.12.2011
Endfassung Beiträge: 11.01.2012
Workshop: 06.02. - 08.02.2012

Workshop-Format:

MBEES wird als geschlossener Workshop abgehalten:

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: Dr. Michaela Huhn

Einreichungen: www.hpi.uni-potsdam.de/giese/events/2012/mbees2012/

Final Submission / Camera-Ready Version bitte per Email an: <mbees-at-fortiss.org>

Online-Tagungsband:

Tagungsreihe: Modellbasierte Entwicklung eingebetteter Systeme

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

H. Giese, M. Huhn, U. Nickel, B. Schätz (Hrsg.):
Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V.
Informatik- Bericht 2009-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2009.

MBEES 2008

H. Giese, M. Huhn, U. Nickel, B. Schätz (Hrsg.):
Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV.
Informatik- Bericht 2008-02, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2008.

MBEES 2007

M. Conrad, H. Giese, B. Rumpe, B. Schätz (Hrsg.):
Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III.
Informatik- Bericht 2007-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2007.

MBEES 2006

H. Giese, B. Rumpe, B. Schätz (Hrsg.):
Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II.
Informatik- Bericht 2006-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2006.

MBEES 2005

T. Klein, B. Rumpe, B. Schätz (Hrsg.):
Tagungsband des Dagstuhl- Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme.
Informatik- Bericht 2005-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2005.