Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
A paper presenting a new approach to system analysis using model-based constraints to automatically identify unwanted behaviors in real-time and multicore systems.