CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The Sphinx project aims to improve the design and verification of cyber-physical systems, which integrate computation with physical processes. It focuses on developing a framework for model refactoring and proof adaptation to ensure the safety and correctness of these systems as they evolve.
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…
JOHANNES KEPLER UNIVERSITAT LINZ UNIVERSITY OF LINZ JOHANNES KEPLER UNIVERSITY OF LINZ JKU
UNIVERSITAT LINZ
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
