Sie verwenden einen Browser, in dem JavaScript deaktiviert ist. Dadurch wird verhindert, dass Sie die volle Funktionalität dieser Webseite nutzen können. Zur Navigation müssen Sie daher die Sitemap nutzen.

You are currently using a browser with deactivated JavaScript. There you can't use all the features of this website. In order to navigate the site, please use the Sitemap .

SWAT: Assertion-based Debugging of Concurrency Issues at System Level

Authors:: Murillo, L. G. , Buecs, R. , Hincapie, D. , Leupers, R. , Ascheid, G.
Book Title:: Proceedings of the Asia South Pacific Design Automation Conference (ASP-DAC)
Publisher:: IEEE
Address:: Chiba/Tokyo, Japan
Date:: Jan. 2015
DOI:: 10.1109/ASPDAC.2015.7059074
Language:: English
Abstract:: Modern multi- and many-core systems are prone to concurrency-related bugs that surface only at system level. Detecting these bugs might require dealing with low-level hardware (HW) protocols and/or software (SW) inter-task interactions. Virtual platforms (VPs) offer a vehicle to conveniently debug HW/SW functionality, yet developers are mostly limited to manually breakpoint, step and interact with the system. To ease debugging during integration at system level, this paper introduces SWAT, an assertion-based debugging framework that checks and correlates system-wide interactions among HW and SW components. SWAT is used together with VPs to enable detecting HW/SW concurrency bugs with lower effort than traditional manual techniques. Our proposed approach is evaluated on two state-of-the-art platforms running real-world SW stacks.
Download:: BibTeX