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.
Project description
Links
References
[a list of references will appear here]
