Skip to main content

Theory Applied to Real Embedded Systems

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.

Field of science

  • /natural sciences/computer and information sciences/software
  • /natural sciences/computer and information sciences/software/system software/operating systems
  • /social sciences/sociology/governance/public services

Call for proposal

FP7-PEOPLE-2007-4-1-IOF
See other projects for this call

Funding Scheme

MC-IOF - International Outgoing Fellowships (IOF)
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
Address
Rue Michel Ange 3
75794 Paris
France
Activity type
Research Organisations
EU contribution
€ 181 490,02
Administrative Contact
Florence Morineau (Ms.)