Descrizione del progetto
Embedded Systems Design
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software
- ingegneria e tecnologia ingegneria elettrica, ingegneria elettronica, ingegneria informatica ingegneria elettronica sistemi di controllo
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
FP7-ICT-2009-4
Vedi altri progetti per questo bando
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
7522 NB Enschede
Paesi Bassi
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.