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 PropRT project focuses on developing methods for timing analysis in complex cyber-physical real-time systems. It aims to create modular properties for analyzing and optimizing timing guarantees, enhancing the design and predictability of these systems.
Cyber-physical real-time systems are information processing systems that require both functional as well as timing correctness and have interactions with the physical world.
Since time naturally progresses in the physical world, safe bounds of deterministic or probabilistic timing properties are required.
PropRT will explore the possibilities to construct timing analysis for complex cyber-physical real-time systems from formal properties.
The target properties should be modular so that safe a…
TECHNISCHE UNIVERSITAT DORTMUND
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.
Guests see up to 5 keywords.
