Call for Participation
3rd Workshop on Object-oriented Modeling of
Embedded Real-Time Systems (OMER 3)
October 13 and 14, 2005,
Heinz Nixdorf MuseumsForum, Paderborn, Germany.
http://omer3.uni-paderborn.de
([EMAIL PROTECTED])
Scope
=====
In today's world embedded real-time systems have become a crucial
element in most advanced technical systems such as airplanes or cars.
Embedded software has therefore become a main driver of innovations. The
complexity of embedded software nowadays often reaches a level at which
developing, evolving, and maintaining it are serious challenges to the
development process.
While model-based development strategies and automatic code generation
have become an established technology on the functional level, the use
of similar modeling strategies on the system level remains challenging.
Domain-specific constraints such as real-time requirements, resource
limitations and specific hardware dependencies often impede the
acceptance of object-oriented modeling techniques. Much effort in
industry and academia therefore goes into the adaptation and improvement
of object-oriented and component-based methods which promise to
facilitate the development, deployment, and reuse of software components
in embedded environments.
Like the preceding events, this third workshop in the OMER series aims
to bring together industry and academia to encourage communication on
the achievements and needs of object-oriented modeling of embedded
real-time systems. It places special emphasis on the remaining
challenges, especially on how to further integrate the software
engineering and control engineering worlds.
-------------------------------------------------------------
Program
=======
Tutorials, Wednesday 12.10.05:
------------------------------
14:30 – 16:00 Tutorial 1:
A UML 2.0 Profile for AUTOSAR
Andreas Korff, Artisan
16:30 – 18:00 Tutorial 2:
Making Effective Use of Real-Time Java Technologies
Kelvin Nilsen, Aonix
First Day of the Workshop, Thursday 13.10.05:
---------------------------------------------
9:30 – 10:00 Welcome
10:15 – 11:15 Keynote:
SysML extensions to the UML behavioural model
Alan Moore, ARTiSAN, UK
11:30 – 12:30 Session I: Schedulability & Quantitative Analysis
A schedulability condition for an IEC 61499 control application with
limited buffers
Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion
Guidelines for the development of a communication middleware for
automotive applications
Ricardo Marques, Françoise Simonot-Lion
Real-Time Architecture Description and Quantitative Analysis using UML
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
14:00 – 15:00 Session II: Modeling & Architecture
Interface Descriptions for Embedded Components
Bernhard Schätz
Development of Embedded Software Systems with Structured Components and
Active Composition Support
Mathias Maurmaier, Thomas Wagner
A Concept for Improving the Re-usability of Mechatronic System Models
Alfonso Gambuzza, Dirk Koert
15:45 – 16:45 Session III: Test & Simulation:
Model-Based Testing: Getting More Out of Modeling
Björkander Morgan
Model Driven Testing of Real-Time Embedded Systems - From Object
Oriented towards Function Oriented Development -
Justyna Zander-Nowicka, Zhen Ru Dai, Ina Schieferdecker
Running Real-Time Java in Simulated Time
Jan Rosenkranz, Werner Pohlmann
17:00 – 18:00 Panel:
Research in Computer Science and Industrial Practice:
Will Formal Verification ever make it?
19:00 – 23:00 Social event
Second Day of the Workshop, Friday 14.10.05:
-------------------------------´--------------
9:00 – 10:00 Keynote:
AUTOSAR: Intents, Status, Consequences
Tilmann Seubert, Hella KGaA, Germany
10:15 – 11:15 Session IV: MDD
Executable and Translatable UML
Stephen Mellor, Thomas Ulber
Model Transformations for Automotive Software Engineering in AutoMoDe
Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund,
Pierre Mai, Dirk Ziegenbein
A Model-Based Design Approach for a Dynamically Configurable
Hardware-/Software-Architecture
Philipp Graf, Clemens Reichmann, Klaus D. Müller-Glaser
11:30 – 12:30 Session V: Code Level
Guidelines for a Model-based Development Process with Automatic Code
Generation
Ulrich Eisemann
Modeling embedded and real-time concurrent applications with objects and
events
Volkan Arslan, Patrick Eugster
A Java Framework for Giotto
Markus Amersdorfer, Helge Hagenauer, Werner Pohlmann
14:00 – 15:00 Guided tour of the computer museum
15:45 – 16:45 Session VI: Process
Development of product families - an example from the automobile industry
Michael Benkel, Markus Schweizer
Interrelationship between variant functional structures and software
components for automotive systems
Ingo Dürrbaum, Jörg Petersen, Dirk Ziegenbein, Hans-Dieter Kochs
Architecture Design to functional modelling of distributed ECU networks
Gerhard Steininger
17:00 – 17:30 Closing Session
-------------------------------------------------------------
Program Chairs
==============
Holger Giese, University of Paderborn, Germany
Oliver Niggemann, dSPACE GmbH, Germany
Program Committee
=================
J. Bielefeld, BMW AG, Germany
M. Brörkens, CARMEQ GmbH, Germany
W. Damm, OFFIS, Oldenburg, Germany
H. Dörr, DaimlerChrysler AG, Germany
A. Ferrari, Parades G.E.I.E., Italy
U. Freund, ETAS GmbH, Germany
S. Graf, Verimag, France
Ø. Haugen, University of Oslo, Norway
U. Honekamp, Vector Informatik GmbH, Germany
J. Hooman, University of Nijmwegen, Netherlands
S. Jähnichen, TU Berlin/Fhg FIRST, Germany
J. Kramer, Imperial College, London, UK
S. Kowalewski, RWTH Aachen, Germany
P. B. Ladkin, University of Bielefeld, Germany
U. Pansa, Telelogic Deutschland GmbH, Germany
B. Rumpe, Braunschweig University of Technology, Germany
W. Schäfer, University of Paderborn, Germany
B. Schätz, TU Munich, Germany
A. Schürr, Darmstadt University of Technology, Germany
B. Selic, IBM Rational Software, Canada
B. Stein, Bauhaus University Weimar, Germany
J. Ziegler, Nokia, Helsinki, Finland
-------------------------------------------------------------
Attendance
==========
The workshop fee has been kept at a minimum thanks to the generous
support of the sponsors. The regular rate is 125,- €. A reduced rate of
75,- € applies to students and PhD students.
Fees include the tutorials, lunch during the workshop, refreshments
during the coffee breaks, a guided tour of the Heinz Nixdorf Museum, and
the social event on Thursday.
Please register by 29 September at:
http://omer3.upb.de
Location
========
The workshop is located in the conference center of the Heinz Nixdorf
MuseumsForum (HNF) in Paderborn, which is the largest computer museum in
the world.
http://www.hnf.de/index_en.html
-------------------------------------------------------------
Sponsors
========
Main Sponsor: dSPACE GmbH, http://www.dspace.de
Secondary Sponsors:
S-Lab, University of Paderborn, http://s-lab.upb.de/
SFB 614, University of Paderborn, http://www.sfb614.de/index_eng.htm
Additional Sponsors:
AONIX, http://www.aonix.de/
ARTISAN, http://www.artisansw.com/
Other Supporters:
Joint Interest Groups on Modeling of the German Informatics Society
(GI), http://www.gi-modellierung.de/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
