Skip to main content
European Commission logo
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Inhalt archiviert am 2024-06-18

Predictive Techniques for System Level Analysis of Multi-Processors

Ziel

Emerging multi-processor products, such as Multi-Processor System on Chips (MPSoC), exploit concurrency to spread work around a system improving performance. European competitiveness in microelectronics such as wireless, networking, telecommunications, automobile, and consumer products relies heavily on improving reliability of such multi-processor systems. Electronic System Level (ESL) design methods and tools are important abstraction techniques to reduce complexity introduced due to concurrency; however, system level tools are still at their infancy. At the same time, traditional simulation based verification approaches fail to preserve concurrency that is inherent in such systems and suffer from the pitfalls of ad hoc specification. Similarly, formal verification is limited in its capacity and application domain. In this project, we will develop system level analysis techniques to increase reliability of concurrent multi-processor systems. In particular, we propose to develop novel system level predictive runtime verification techniques that preserve concurrency information and exploit it to find both actual and potential errors from executions of system level models. At the same time, we will develop system level error diagnosis techniques and coverage metrics to ultimately reduce verification and debugging time. New research and tools will be developed with a focus on automation and scalability and experiments will be performed on industrial applications.

Aufforderung zur Vorschlagseinreichung

FP7-PEOPLE-2007-4-3-IRG
Andere Projekte für diesen Aufruf anzeigen

Koordinator

BOGAZICI UNIVERSITESI
EU-Beitrag
€ 100 000,00
Adresse
BEBEK
34342 Istanbul
Türkei

Auf der Karte ansehen

Region
İstanbul İstanbul İstanbul
Aktivitätstyp
Higher or Secondary Education Establishments
Kontakt Verwaltung
Arda Yurdakul (Prof.)
Links
Gesamtkosten
Keine Daten