DESTECS

Design Support and Tooling for Embedded Control Software

 Coordinatore UNIVERSITEIT TWENTE 

 Organization address address: DRIENERLOLAAN 5
city: ENSCHEDE
postcode: 7522 NB

contact info
Titolo: Dr.
Nome: Jan
Cognome: Broenink
Email: send email
Telefono: +31 53 489 2793
Fax: +31 53 489 2223

 Nazionalità Coordinatore Netherlands [NL]
 Totale costo 3˙622˙195 €
 EC contributo 2˙739˙175 €
 Programma FP7-ICT
Specific Programme "Cooperation": Information and communication technologies
 Code Call FP7-ICT-2009-4
 Funding Scheme CP
 Anno di inizio 2010
 Periodo (anno-mese-giorno) 2010-01-01   -   2012-12-31

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    UNIVERSITEIT TWENTE

 Organization address address: DRIENERLOLAAN 5
city: ENSCHEDE
postcode: 7522 NB

contact info
Titolo: Dr.
Nome: Jan
Cognome: Broenink
Email: send email
Telefono: +31 53 489 2793
Fax: +31 53 489 2223

NL (ENSCHEDE) coordinator 0.00
2    AARHUS UNIVERSITET

 Organization address address: Nordre Ringgade
city: AARHUS C
postcode: 8000

contact info
Titolo: Mr.
Nome: Keld
Cognome: Lassen
Email: send email
Telefono: +45 4189 3000
Fax: +45 4189 3001

DK (AARHUS C) participant 0.00
3    CHESS ET INTERNATIONAL BV

 Organization address address: LICHTFABRIEKPLEIN
city: HAARLEM
postcode: 2031 TE

contact info
Titolo: Mr.
Nome: Patrick
Cognome: van den Heuvel
Email: send email
Telefono: +31 235149149
Fax: +31 235149199

NL (HAARLEM) participant 0.00
4    CHESS IT INTERNATIONAL BV

 Organization address address: LICHTFABRIEKPLEIN
city: HAARLEM
postcode: 2031 TE

contact info
Titolo: Mr.
Nome: Steven
Cognome: Galema
Email: send email
Telefono: +31 23 5149149
Fax: +31 23 5149199

NL (HAARLEM) participant 0.00
5    CONTROLLAB PRODUCTS B.V.

 Organization address address: DRIENERLOLAAN
city: ENSCHEDE
postcode: 7522NB

contact info
Titolo: Mr.
Nome: Christian
Cognome: Kleijn
Email: send email
Telefono: +31 53 483 6434
Fax: +31 53 433 7415

NL (ENSCHEDE) participant 0.00
6    Neopost Technologies B.V.

 Organization address address: De Tijen
city: Drachten
postcode: 9201 BX

contact info
Titolo: Mr.
Nome: Rinus
Cognome: Tromp
Email: send email
Telefono: +31 512 589 300
Fax: +31 512 589 399

NL (Drachten) participant 0.00
7    UNIVERSITY OF NEWCASTLE UPON TYNE

 Organization address address: Kensington Terrace
city: NEWCASTLE UPON TYNE
postcode: NE1 7RU

contact info
Titolo: Dr.
Nome: John
Cognome: Fitzgerald
Email: send email
Telefono: +44 1912228228
Fax: 441912000000

UK (NEWCASTLE UPON TYNE) participant 0.00
8    Verhaert New Products & Services NV

 Organization address address: Hogenakkerhoekstraat
city: Kruibeke
postcode: 9150

contact info
Titolo: Mr.
Nome: Frederik
Cognome: Wouters
Email: send email
Telefono: 3232501900
Fax: 3232541008

BE (Kruibeke) participant 0.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

formal    tool    tolerance    explicit    discipline    industry    methodology    platform    fault    modeling    time    destecs    engineering    tools    framework    supporting    simulation    co    iterative    faults    gap   

 Obiettivo del progetto (Objective)

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.

Altri progetti dello stesso programma (FP7-ICT)

OCEAN (2010)

Open ContEnt Aware Networks

Read More  

WiMAGIC (2008)

Worldwide Interoperability Microwave Broadband Access System for Next Generation Wireless Communications

Read More  

ORICLA (2010)

Towards Electronic Product Coding with RFID tags based on hybrid organic-oxide complementary thin-film technology

Read More