Paper Details

Communicating Process Architectures (CPA)
 Title: Analysing gCSP Models Using Runtime and Model Analysis Algorithms
 Conference: Communicating Process Architectures 2009
 Authors: Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink
Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: This paper presents two algorithms for analysing gCSP models in order to improve their execution performance. Designers tend to create many small separate processes for each task, which results in many (resource intensive) context switches. The research challenge is to convert the model created from a design point of view to models which have better performance during execution, without limiting the designers in their ways of working. The first algorithm analyses the model during run-time execution in order to find static sequential execution traces that allow for optimisation. The second algorithm analyses the gCSP model for multi-core execution. It tries to find a resource-efficient placement on the available cores for the given target systems. Both algorithms are implemented in two tools and are tested. We conclude that both algorithms complement each other and the analysis results are suitable to create optimised models. 
Files:


BibTeX Entry


Full paper


Presentation