[ecoop-info] CFPart: 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)

[Holger Giese]

                         Call for Participation

                4th Workshop on Object-oriented Modeling of
                    Embedded Real-Time Systems (OMER 4)

October 30 and 31, 2007, Heinz Nixdorf MuseumsForum, Paderborn, Germany.
                      http://omer4.uni-paderborn.de

**************************************************************************
            Early Registration discount until: 14th October 2007
**************************************************************************

Keynotes:
  - Model based development of automotive software from the OEM point of
    view - present state and future requirements
    Karsten Schmidt, Audi AG
  - Model-based Embedded Systems: Past and future challenges and
    opportunities
    Gabor Karsai, Vanderbilt University

Tutorials:
  - Software at Mechanical Engineering
  - The OMG Standard SysML

Paper topics:
  - AUTOSAR, UML, Modeling, Quality, ...

(see the attached complete program)


Scope
=====

Most of the technical systems which make up our daily environment such
as cars or airplanes are unthinkable in their current form without the
hidden complex embedded software which controls and coordinates their
behavior. As the embedded software of advanced technical systems not
only realizes the fundamental functionality, but is today often also
employed to realize the main competitive advantages of a product,
embedded software has become the main driver for innovations in many
technical fields.

Model-based development and automatic code generation have become an
established technology on the functional level. However, their seamless
support for the system level and its object-oriented modeling remains
challenging. The adaptation and improvement of object-oriented,
component-based, and model-based methods which promise to facilitate the
development, deployment, and reuse of software components in embedded
environments therefore has gained much attention in industry and
academia. The domain-specific constraints of technical systems such as
real-time requirements, resource limitations and specific hardware
dependencies, however, have often impeded the acceptance of appropriate
object-oriented modeling techniques and model-based development approaches.

This workshop therefore focuses on the current trends in the automotive
industry and related fields towards system architectures, software reuse
and complexity management. This fourth workshop in the OMER series aims
like the preceding events to bring together industry and academia to
encourage communication on the achievements and needs of object-oriented
modeling and model-based development 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
=======

Tuesday, 30.10.2007

-Tutorials-

09:30-12:00 Tutorial 1:

  Software at Mechanical Engineering – A Dog-Cat Situation
  Ulrich Deppe, Daniel Steffen, UNITY AG

09:30-12:00 Tutorial 2:

  A short introduction in the new OMG Standard SysML
  Andreas Korff, Artisan Software

-Workshop-

13:00-13:10 Opening Session

13:10-13:40 Introduction:

  A Perspective of Automotive Electronics Development
  Herbert Hanselmann, CEO, dSPACE GmbH

13:40-14:40 Keynote:

  Model based development of automotive software from the OEM point of
  view - present state and future requirements
  Karsten Schmidt, Audi AG

14:40-15:30 Coffee Break

15:30-16:30 Session I: AUTOSAR

  On the Complexity of Adding Real-Time Properties to the AUTOSAR
  Software Component Model
  Kai Richter

  AUTOSAR compliant reengineering of an Engine Management System
  Patrick Frey, Ulrich Freund

16:30-16:45 Coffee Break

16:45-17:45 Session II: UML

  Automotive Software Engineering - Integrative Migration to the
  Unified Modeling Language
  Tibor Farkas, Carsten Neumann, Andrej Mauch, Karsten Köchlin

  Combined usage of UML and Simulink in the Design of Embedded Systems:
  Investigating Scenarios and Structural and Behavioral Mapping
  Jianlin Shi, Martin Törngren, David Servat, Carl-Johan Sjöstedt,
  Dejiu Chen, Henrik Lönn

-Social Event-

17:45-18:45 Museum Tour

Take an exciting trip through 5,000 years of information technology
history, and find out about inventors, entrepreneurs, historical
machines and the latest technological developments.The tour will start
at the Reception desk.

19:00-23:00 Workshop Dinner: “Gut Ringelsbruch”

The Workshop Dinner will take place at Gut Ringelsbruch. The
bus-transfer to Gut Ringelsbruch will start at the Heinz Nixdorf Museums
Forum after the Museum Tour. After the dinner the bus will bring you
back to your hotel.




Wednesday, 31.10.2007
-Workshop-

09:00-09:15 Welcome

09:15-10:15 Keynote:

  Model-based Embedded Systems: Past and future challenges and
  opportunities
  Gabor Karsai, Vanderbilt University

10:15-10:30 Coffee Break

10:30-11:30 Session III: Modeling

  View-Based Modeling of Function Nets
  Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard
  Rumpe

  Modeling and simulation of embedded systems using UML2.0 and the
  Y-chart approach
  Fateh Boutekkouk, Mohammed Benmohammed

11:30-13:00 Lunch

13:00-14:00 Session IV: Quality & Models

  Compositional Validation of Distributed Real Time Systems
  Stefan Henkler, Martin Hirsch

  Automated Transformation of MATLAB Simulink and Stateflow Models
  Ingo Stürmer, Dietrich Travkin

14:00-14:45 Coffee Break

14:45-15:45 Session V: Extending the Scope of Models

  Use Case Modeling for Embedded Software Systems - Deficiencies &
  Workarounds
  Alexander Nyßen, Horst Lichter

  Towards a Transformation Language for Component Structures
  Matthias Tichy, Stefan Henkler

15:45-16:15 Closing Session

Organization
============

Program Chairs
Holger Giese, University of Paderborn, Germany
Joachim Stroop, dSPACE GmbH, Germany

Local Chair
Matthias Gehrke, University of Paderborn, Germany

Program Committee
H. Dörr, Carmeq GmbH, Germany
U. Freund, ETAS GmbH, Germany
S. Graf, Verimag, France
H. Hansson, Mälardalen University, Sweden
U. Honekamp, Vector Informatik, Germany
H. Hungar, OFFIS, Oldenburg, Germany
S. Jähnichen, TU Berlin/Fhg FIRST, Germany
S. Kowalewski, RWTH Aachen, Germany
I. Krüger, UC San Diego, USA
P. Mosterman, The MathWorks, USA
R. Rinat, Telelogic, Israel
S. Rooks, IBM Rational Software, United Kingdom
B. Rumpe, Braunschweig University of Technology, Germany
B. Sanchez, Siemens VDO Automotive, France
W. Schäfer, University of Paderborn, Germany
B. Schätz, TU Munich, Germany
A. Schürr, Darmstadt University of Technology, Germany
M. Törngren, KTH - Royal Institute of Technology, Sweden
M. von der Beeck, BMW AG, Germany
J. Ziegler, Nokia, Helsinki, Finland

Main Sponsors
dSPACE GmbH

Secondary Sponsors
s-lab, University of Paderborn
SFB 614, University of Paderborn
Artisan Software
UNITY AG

Other Supporters
Joint Interest Group on Modeling of the German Informatics Society (GI)