Project: Simulator-Aided Analysis of Parallel Processes (SAAPP)
In this project we want to monitor and analyse the execution of parallel programs at runtime, in a predictable and reproducible way, in order to find race conditions and other dependencies between processes, and analyse properties of the system as a whole. The key feature of our approach is to use an instruction-level simulator, which gives a number of interesting advantages.
Partners
SAAPP is a collaboration between Uppsala University and Virtutech AB, sponsored by ASTEC
, a Swedish national competence centre in the area of software technology.
- Uppsala University
- Karl Marklund and Björn Victor.
- Virtutech
- Jakob Engblom and Bengt Werner.
We also collaborate with Lars Albertson at SICS
, the Swedish Institute of Computer Science, and with the UART group at our department.