Objective
Embedded systems are a modern technology, which has a large impact on the daily life. One of the characteristics of these systems is that they have to meet numerous quantitative constraints, like resource constraints (power consumption, memory usage, costs, bandwidth, etc...) timed constraints (response time, propagation delays, etc...) and constraints on the environment in which it operates (signal sensors, continuous evolution of the environment, open systems, etc...).
Another important characteristic of embedded systems is that they have to be powerful and reliable. Their conception and verification thus pose a great challenge. The research project we propose to achieve concerns logical languages for describing correctness and safety properties of embedded systems, and in particular logical languages taking into account timed constraints and resource consumption constraints of the system. These logics have been considered in the early 90's and are now reconsidered, thanks to a recent result by J. Ouaknine and J. Worrell, which states that they can be used for verification purpose. Our research plan is structured on three main axes. The first one consists in developing a deeper understanding of automata-based properties of linear-time timed temporal logics. The second one consists in considering quantitative extensions of these formalisms with cost information and/or probabilities. The last one concerns the verification of programs using the game semantics approach.
This program research is part of one of the strategic objectives of the research priority and "Information Society Technologies" (embedded systems). This proposal is aimed at building a new collaboration between an EU researcher and an EU institution having common research motivations, though not exactly the same techniques and points of view.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- engineering and technology electrical engineering, electronic engineering, information engineering electronic engineering control systems
- engineering and technology mechanical engineering vehicle engineering aerospace engineering aircraft
- engineering and technology electrical engineering, electronic engineering, information engineering electronic engineering sensors
- engineering and technology electrical engineering, electronic engineering, information engineering information engineering telecommunications mobile phones
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP6-2005-MOBILITY-5
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
OXFORD
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.