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 COCONUT project develops a formal framework that integrates design and verification processes for embedded platforms. It aims to enhance the efficiency and reliability of designing systems, particularly for applications involving mixed continuous and discrete models, such as multimedia networks and sensor managemen…
Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies.
This effectively reduces development productivity and complicates achieving predictable system properties.<br/>The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and…
UNIVERSITA DEGLI STUDI DI VERONA
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Austria, Graz
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Germany, Paderborn
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
France, MOIRANS
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
