Model-Based Engineering (MBE) is evolving into a fully-fledged engineering discipline, with well-established standards, industrial-strength tools, and emerging theoretical foundations. Models are being used to specify the artefacts, structure, and behaviour of complex and mission-critical systems in various domains. MBE provides the ability to, design, analyze, validate, and implement such systems using much higher levels of abstraction and computer-based automation than traditional approaches to software development. One of the most challenging domains for which MBE is a natural fit is the development of Real-time and Embedded Systems (RTES). The focus of this workshop is identifying the critical challenges in the RTES domain and how MBE techniques and standards can be used to overcome them.
Special focus is given (but not Limited) to the following topics:
- MARTE (Modeling and Analysis of Real-time and Embedded systems), The OMG standard for real time embedded systems: e.g. feedbacks on test cases, on-going work, tutorial
- MBE for Flexibility in embedded systems
- Tools that support model-based development of real-time and embedded systems
- Model-Based Safety Engineering: e.g. How we can specify safety attributes in an architectural model, how we can guarantee that a real-time embedded system is safe
- MBE Industrial Feedback
The primary objective of the workshop is to bring together experts, researchers, and practitioners, from the embedded and real-time systems community as well from other relevant disciplines (e.g., hardware and systems designers), who are interested in the industrial application of MBE to embedded systems.
In addition, by means of one or more invited presentations, the intent is to provide an overview of the state of the art and the state of the practice of applying MBE to embedded systems development.