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
This project aims to improve the development of distributed embedded systems through reactive synthesis, which automatically generates correct implementations from specifications. It seeks to enhance the scalability and efficiency of synthesis algorithms for complex applications like autonomous vehicles.
Reactive synthesis has the potential to revolutionize the development of distributed embedded systems.
From a given logical specification, the synthesis algorithm automatically constructs an implementation that is correct-by-design.
The vision is that a designer analyzes the design objectives with a synthesis tool, automatically identifies competing or contradictory requirements and obtains an error-free prototype implementation.
Coding and testing, the most expensive stages of development, are…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Germany, Saarbrucken
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
