Objective
Computers that control physical processes, thus forming so-called cyber-physical systems (CPS), are today pervasively embedded into our lives.
Advances in CPSs are the basis for creating environments of smart mobility, smart energy grids, telemedicine, and intelligent manufacturing.
These efforts have been identified as important themes on the research agenda of the 7th Framework Programme for Research and Technological Development of the EU.
The key challenge in engineering CPSs is the question of how to ensure their correct functioning in order to avoid incorrect control decisions w.r.t. safety requirements.
This overall challenge is even more aggravated by the fact that evolution is inherent to engineering CPSs due to incremental development.
For example, common practice is to start with a simple CPS model, prove its correctness in a typically laborious process, and incrementally extend the model to better reflect the real-world CPS (i.e. refactor the model while ensuring preservation of safety constraints).
In order to address this challenge, especially promising techniques seem to be model-driven engineering to incrementally develop CPSs and formal verification to prove their correctness, together forming the vision of verification-driven engineering.
An especially urging research question in verification-driven engineering is how to keep proofs up-to-date when models evolve.
The vision of the Sphinx project is to address this question by providing a framework supporting model refactoring and proof adaptation for CPSs, dealing in particular with three research objectives:
First, support modeling and refactoring of CPSs, especially w.r.t. an extensible library of semi-automated model refactoring operations.
Second, identify an initial set of refactorings and proof adaptations by incrementally building models and proofs of real-world CPSs.
Third, provide an extensible library of proof adaptations, including proof recommendation techniques.
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: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- engineering and technology environmental engineering energy and fuels renewable energy
- natural sciences biological sciences evolutionary biology
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
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.
FP7-PEOPLE-2012-IOF
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
4040 Linz
Austria
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.