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. Suggested areas of interest include, but are not limited to, the following topics:

• Architectures/frameworks for platform independent, reusable software components
• Code-generation
• Component interoperability
• Formal verification at the model and code level
• Integration with control theory and functional modeling
• Model-driven development and model transformations
• Modeling self-optimizing or self-adaptive behavior
• Multi-agent systems for mechatronic systems
• Offline or real-time simulation
• Object-oriented acausal models (e.g. Modelica)
• Software components as products
• Software quality
• Model management
• Standards and guidelines (e.g., AUTOSAR, IEC 61508, MISRA, UML, …)
• Respective trends in automotive software development