What happens on an MPSoC stays on an MPSoC - unfortunately!

Software diagnosis on MPSoCs, the process of finding functional bugs or performance inefficiencies in complex hardware-software systems, is challenging. As both software and hardware complexity grow, the software observability decreases. At the same time, understanding the intended software behavior has become more difficult. We present an integrated approach which combines domain-specific representations of how software should execute on a specific processor microarchitecture, with a flexible diagnosis infrastructure to verify the assumptions through on-chip observations. It increases observability by preprocessing observation data to useful information on-chip, which can be transferred off-chip easier.