Program
The 11th IEEE Symposium and Workshops on Engineering of Computer-Based Systems (ECBS'04), will be held in Brno, Czech Republic, May 24-28, 2004, see http://www.fit.vutbr.cz/events/ECBS2004/.
ECBS'04 will be the 11th IEEE sponsored meeting dedicated to specify and advance processes, models and tools for the engineering of complex and interdisciplinary computer-based systems. This increasingly important discipline is devoted to systems engineering issues related to fielding systems whose behavior is largely determined or controlled by computers. Computer-based systems are characterized by functional, performance and reliability requirements that mandate the tight integration of information processing and physical processes.
The ECBS'04 conference will be chaired by Miroslav Sveda, Brno
University of Technology, Czech Republic
with Vaclav Dvorak, Brno University of Technology as the Program
committee chairman.
Within this conference we are organizing a workshop and a session, both
titled "Model-Based Development of Computer Based Systems:
Appropriateness, Consistency and Integration of Models,
see http://www.proinf.de/mbd/.
The topics of interest include:
Wednesday, May 26, 2004
10:15 -11:45 Session A7: Model-Based
Development 1
Chair: Matthias Riebisch, Ilmenau
Technical University (D)
Features with Fuzzy Probability
A. Pieczyński, S. Robak, A. Walaszek-Babiszewska
Hand-written vs. MOF-based Metadata
Repositories: The SOFA Experience
P. Hnětynka and M. Pise
Symbolic Model Checking of UML
Statechart Diagrams with an Integrated Approach
V. S. W. Lam and J. Padget
14:00 -16:00 Session A8:
Model-Based Development 2
Chair: Silva Robak, University of
Zielona Gora (PL)
Supporting Evolutionary Development by Feature Models and
Traceability Links
M. Riebisch
Functional and Object-Oriented Views in Embedded Software Modeling
J. M. Fernandes and J. Lilius
Tool Support for DFD-UML Model-based Transformations
D. Truscan, J. M. Fernandes, and J. Lilius
A Foundation for Tool-Supported Critical Systems Development with
UML
J. Jürjens and P. Shabalin
Traditionally at ECBS conferences, workshops provide a forum for focused meetings dealing with various areas of ECBS research. This workshop will continue this tradition by bringing together experts from research and industry for fruitful discussion and for establishing new ideas. This workshop will continue the 2003 initial MBD workshop and focus the working group's ongoing efforts. The workshop consists of 6 position paper presentations and an in-depth working part with active discussions among the participants. New participants are highly welcome and encouraged to join our group.
Thursday - May 27, 2004
9:00 - 10:30 Session B10
Paper Presentation, Discussion in groups
Chair: Wilhelm
Rossak, University Jena (D)
11:00 - 12:30 Session B11
Group Work & Discussion continued,
Summary, Definitions of the Next
Goals, and Conclusion
Chair: Wilhelm Rossak,
University Jena (D)
Paper Presentations
Model-Based Development of Embedded
Software Beyond UML
B. Schätz - PDF 84 KB
Model-Based Development - Beyond Model
Transformation
P. Tabeling - PDF 38 KB
Closing the Gap Between Models and Code
P. Wolstenholme - PDF 83 KB
Refinement and Formalization of Use
Case Descriptions
M. Riebisch, M. Hübner - PDF 85 KB
Integrating Architecture-based
Trade-off Analysis into the design process through tool-assisted
modelling
D. Colquitt, J. Leaney, T. O'Neill - PDF 160 KB
Strongly typed Architectural Models
for Architecture-based Engineering: Current developments in their
definition and description
T. O'Neill, J. Leaney, M. Denford, D. Colquitt, D.
Turton, N. Sheridan-Smith, J. Wootton - PDF 143 KB
After the workshop the Program Committee will summarize the results and publish them in the ECBS newsletter. The continuation of the discussions within the working group after the conference is planned.
Matthias Riebisch Matthias.Riebisch@TU-Ilmenau.de
last changed 23-Aug-04 M. Riebisch