Debugging Concurrent MPSoC Software with Bug Pattern Descriptions

Luis Gabriel Murillo, W. Zhou, Juan Fernando Eusse, Rainer Leupers, and Gerd Ascheid
Book Title:
System, Software, SoC and Silicon Debug Conference (S4D)
Munich, Germany
Oct. 2011


As MPSoCs become key components for the electronics industry, the programmability problem poses an ever increasing burden on the software development process. In addition to the difficulty of writing parallel applications, concurrency bugs are usually hard to find, understand and reproduce. Programmers writing parallel software need more support from the debugging tools in order to understand harmful effects of concurrent interactions.

This paper introduces a debugger framework that detects concurrency bugs dynamically, based on user defined bug pattern descriptions. The framework can be configured to address different MPSoCs and different low-level APIs.


murilloS4D11.pdf 149 K


author = {Luis Gabriel Murillo, W. Zhou, Juan Fernando Eusse, Rainer Leupers, and Gerd Ascheid},
booktitle = {System, Software, SoC and Silicon Debug Conference (S4D)},
title = {Debugging Concurrent MPSoC Software with Bug Pattern Descriptions},
year = {2011},
month = {oct},
address = {Munich, Germany},

News >> News >> News

Best Paper Award at ViPES 2015

The paper titled "ESL Power Estimation using Virtual Platforms with Black Box Processor

ICE received "Award for Best Collaboration with Huawei Wireless, 2014"

Huawei Wireless and ICE conducted a collaborative research project in the field of power estimation

ICE is partner of the international Horizon 2020 project Phoenix

The Phoenix approach is a completely novel concept to gain insights in systems which are yet not

User login


Forgot your password?