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. Fields of science natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwareoperating systems Keywords Technological sciences control embedded systems verification Programme(s) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Topic(s) PEOPLE-2007-4-1.IOF - Marie Curie Action: "International Outgoing Fellowships for Career Development" Call for proposal FP7-PEOPLE-2007-4-1-IOF See other projects for this call Funding Scheme MC-IOF - International Outgoing Fellowships (IOF) Coordinator CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS EU contribution € 181 490,02 Address RUE MICHEL ANGE 3 75794 Paris France See on map Region Ile-de-France Ile-de-France Paris Activity type Research Organisations Administrative Contact Florence Morineau (Ms.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data