5th Workshop on Model-Based Development for ComputerBased Systems:
Domain-Specific
Approaches to Model-Based Development
within the 14th Annual
IEEE
International Conference and Workshop on the Engineering of Computer
Based
Systems (ECBS)
Schedule
Thursday, March 29, 2007
8:45 Workshop opening & Introduction
9:15 Presentations I
Joel Huselius, Johan Kraft, Hans Hansson and Sasikumar
Punnekat:
Evaluating the Quality of Models Extracted from Embedded Real-Time
Software
Bas Graaf and Arie van Deursen: Visualisation of domain-specific
modelling
languages using UML
10:15 - 10:30 Refreshments
10:30 Presentations II, Position statements and Goal Definition
Jing Liu, Josh Dehlinger, Hongyu Sun and Robyn Lutz:
State-Based
Modeling to Support the Evolution and Maintenance of Safety-Critical
Software
Product Lines
Bernhard Schaetz: Modular Functional Descriptions (Paper available
online)
12:00 - 1:30 Lunch
1:30 -3:00 Working group discussions "Model-Based Systems Development
- More Than Graphic Programming"
3:00 - 3:30 Refreshments
3:30 - 4:30 Working group discussions (cont'd)
4:30 - 5:00 Workshop Summary & Working group decisions for the
next year
Program for Working group discussions
"Model-Based Systems Development - More Than Graphic Programming"
The goal of the group work is the elaboration of a concept of a
publication
which shows how Model-Based Development is more a paradigm shift rather
than just graphical programming. Examples for important issues are:
- models for problem domains instead of models of solutions, and their
advantages
- model-specific methods for analysis and synthesis, more advanced
than the State-of-the-Art code analysis
- specialized views on systems.
All participants are asked to contribute system design approaches from
their special working area, to inform about the practical experience
with
them, to show that there are substantive changes to the way of system
design.
Organizing Committee:
- Matthias Riebisch TU Ilmenau (DE)
- Bernhard Schatz TU Munich (DE)
Joint Programme Committee:
- Dov
Dori
Technion (IL)
- Holger Giese
U Paderborn (DE)
- Jonah
Lavi
CASE (IL)
- John
Leaney
UT Sydney (AU)
- Jan Philipps
Validas AG (DE)
- Alexander Pretschner ETH Zurich (CH)
- Byron Purves
Boeing (US)
- Matthias Riebisch TU Ilmenau (DE)
- Bernhard Schaetz TU Muenchen (DE)
- Jonathan Sprinkle UC Berkeley (US)
- Peter Tabeling Intervista
(AT,DE)