Skip to main content

Predictive Techniques for System Level Analysis of Multi-Processors

Objective

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.

Call for proposal

FP7-PEOPLE-2007-4-3-IRG
See other projects for this call

Funding Scheme

MC-IRG - International Re-integration Grants (IRG)

Coordinator

BOGAZICI UNIVERSITESI
Address
Bebek
34342 Istanbul
Turkey
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 100 000
Administrative Contact
Arda Yurdakul (Prof.)