Design Support and Tooling for Embedded Control Software
Project Manager: Dr. ir. Jan Broenink
Faculty of Electrical Engineering, Mathematics and Computer Science
Project website: www.destecs.org
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)