Logical languages for embedded systems

Project Information

LOLAES

Grant agreement ID: 41113

Project closed

Start date 1 January 2007

End date 31 December 2007

Funded under

• Human resources and Mobility in the specific programme for research, technological development and demonstration "Structuring the European Research Area" under the Sixth Framework Programme 2002-2006

Total cost € 0,00

EU contribution € 46 990,00

Coordinated by

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

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

• 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

Keywords

• Embedded
• Verification

Programme(s)

• FP6-MOBILITY - Human resources and Mobility in the specific programme for research, technological development and demonstration "Structuring the European Research Area" under the Sixth Framework Programme 2002-2006

Topic(s)

• MOBILITY-2.1 - Marie Curie Intra-European Fellowships (EIF)

Call for proposal

FP6-2005-MOBILITY-5
See other projects for this call

Funding Scheme

EIF - Marie Curie actions-Intra-European Fellowships

Coordinator

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

• EU contribution: No data
• Address: University Offices, Wellington Square ; OXFORD ; United Kingdom
• Total cost: No data