DESTECS

Yunyun Ni MSc

Xiaochen Zhang MSc

1-1-2010 - 31-12-2012, CTIT  (EU FP7 STREP).

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 inVDM , and a continuous time part modeled in 20sim. These models are co-simulated.  The UT contribution is mostly on design methods, design space exploration and organization and management for models.

Results 2011

Guidelines to support collaborative modelling were extended, using experience of a pilot study (line following robot) with modellers across two sites. Scenario support has been prototyped with a formal definiton of the DESTECS Command Language. Design Space Exploration for alternative designs has been formulated. Formal descriptions of model management services have been developed.

Results 2010

A common co-simulation framework has been developed enabling co-simulation and executable test scenarios that drive co-simulation experiments. For structuring and managing models to enable co-simulation and concurrent engineering, an initial approach and initial methodological guidelines have been formulated.