CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

DESTECS

Design Support and Tooling for Embedded Control Software

No.: 248134

Project Manager: Dr. ir. Jan Broenink

Faculty of Electrical Engineering, Mathematics and Computer Science

Tel.: +31-53-4892793

Email: j.f.broenink@utwente.nl

Project website: www.destecs.org

Summary

The efficient design of embedded systems is hampered by the separation of engineering disciplines in current state of the art development approaches. A methodology to address system-level design issues across discipline boundaries is lacking and tool support is poor. This “design gap” inhibits iterative and concurrent engineering, leading to sub-optimal designs and long development lead times. Moreover, the design gap is widening because of increasing system complexity and increasing capabilities of the system artifacts used.

DESTECS will create a methodology and supporting open tools platform for the collaborative and multidisciplinary development of dependable embedded real-time control systems. We will develop a methodology combining continuous time and formal discrete event modeling with support for iterative design evolution.

Model analysis will be based on co-simulation and the framework will support explicit modeling of faults and fault-tolerance mechanisms from the outset. Tool support is crucial: the methodology will be supported by an open, extendible tools platform, populated with plug-ins supporting co-simulation, test and code generation. DESTECS does not replace current industry practice but it will facilitate and support the cross-discipline design dialogue by integration of domain-specific best practices. The methods and tools development is driven by

industry-led case studies which also provide evaluation of the emerging technology.

The novel aspects of this proposal are the use of a systems-level modeling approach based on co-simulation of formal models, the explicit modeling of faults and fault-tolerance at this level and the support for lightweight trade-off analysis between design alternatives on the basis of extra-functional properties, especially resilience. In particular, the development of an open tools framework for co-simulation will encourage greater industrial uptake.

Project duration: 3 years / 1 January 2010 – 1 January 2013

Project budget: 3.6 M-€ / 2.7 m-€ funding

Number of person/years: 27.3 fte / 9.1 fte/yr

Project Coordinator: University of Twente

Participants: University of Twente, University of Nwcastle upon Tyne, Ingeniorhojskolen Aarhus, CHESS Embedded Technology B.V., Controllab Products B.V., Neopost Technologies B.V., Verhaert New Products & Services N.V.

Project budget CTIT: 882.7 k-€ / 696 k-€ funding

Number of person/years CTIT: 6.4 fte / 2.1 fte/yr

Involved groups: Control Engineering (CE)