TARES

Theory Applied to Real Embedded Systems

Coordinatore	CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE    more  Organization address address: Rue Michel -Ange 3 city: PARIS postcode: 75794 contact info Titolo: Ms. Nome: Florence Cognome: Morineau Email: send email Telefono: + 33 2 99 28 68 12 Fax: + 33 2 99 28 68 03
Nazionalità Coordinatore	France [FR]
Totale costo	181˙490 €
EC contributo	181˙490 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2007-4-1-IOF
Funding Scheme	MC-IOF
Anno di inizio	2008
Periodo (anno-mese-giorno)	2008-09-01   -   2011-08-31

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE  Organization address address: Rue Michel -Ange 3 city: PARIS postcode: 75794 contact info Titolo: Ms. Nome: Florence Cognome: Morineau Email: send email Telefono: + 33 2 99 28 68 12 Fax: + 33 2 99 28 68 03	FR (PARIS)	coordinator	0.00

Mappa

 Word cloud

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

 Obiettivo del progetto (Objective)

'Our project, entitled Theory Applied to Real Embedded Systems (TARES), aims to bridge a gap between theory and practise for the design of Embedded Systems. We are going to apply recent advanced theories and tools developed for timed systems to the design of existing and commercialised software products which are based on the L4 micro-kernel technology. A micro-kernel is an operating system that provides a restricted set of services; the micro-kernel L4 provides threads, basic scheduling, inter-process communications and virtual memory. The project will be carried out over 3 years by Franck Cassez at NICTA/Sydney (http://nicta.com.au/), Australia, in the Embedded Real-Time Operating Systems (ERTOS) and Formals Methods (FM) groups.'