This EU-FP7 funded project (8 partners, UT is coordinator), deals with researching and developing methods and open tools that support collaborative design of dependable real-time embedded control systems using a model-base approach. Models here are co-models consisting of a discrete-event part modeled in VDM, and a continuous-time part modeled in 20-sim. These models are co-simulated. Fault modeling and fault injection is done to enhance the dependability of the resulting embedded software. The UT contribution is mostly on design methods, design space exploration and organisation and management for models.

Results 2013

Although the project is budgetary finished, our work continued, focusing on further developing scenario support, model-management tools and writing papers and PhD theses. One journal paper has been accepted for publication, and is expected to appear in 2014. The final EU review resulted in an excellent ranking: the “project has fully achieved its objectives”, the “progress beyond the state-of-the-art was apparent and credible”, and project management was "of high quality and very effective”. This resulted in a short presentation of project results at the plenary session of a strategic EU meeting of the EU unit on embedded systems.

Results 2012

Collaborative modelling guidelines were produced, taking intensive feedback from the industrial partners into account. These guidelines serve engineers using DESTECS concepts, and can be used beyond the life of this project. Furthermore, specification of model-base management services, scenario support and a definition of a framework for co-simulation have been further worked on. Examples and documentation has been produced. Intermediate results were presented in 3 conference papers. A Summer School at UT was held, where 20 PhD students form overall in Europe were learning and testing DESTECS. We held 3 public briefings, one at the Bits & Chips conference, to inform a wider technical audience.

Results 2011

Guidelines to support collaborative modelling were extended, using experience of a pilot study (the UT line-following robot) with modellers across two sites (Newcastle and Twente). Scenario support has been prototyped with a formal definition of the DESTECS Command Language. Guidelines for co-model development have been formulated in greater detail. Design Space Exploration for alternative designs and model evolution experiments have been formulated. Formal descriptions of model management services have been developed. The DESTECS scenario language has been further developed, contributing to ACA, Automated Co-model Analysis. Feedback from the industrial partners conducting their test cases was used in the design work.

Results 2010

A common co-simulation framework has been developed enabling co-simulation using Overture (VDM) and 20-sim. Executable test scenarios that drive co-simulation experiments have been prototyped. For structuring and managing models to enable co-simulation and concurrent engineering, an initial approach and initial methodological guidelines have been formulated. Feedback from the industrial partners about requirements and specifications was taken into account. The project website ( has been set up, an industrial briefing meeting has been held to get test cases from outside the project, and one invited lecture was given.

Project lead

no picture available Jan Broenink