Analysing gCSP Models Using Runtime and Model Analysis Algorithms

M.M. Bezemer, M.A. Groothuis

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    34 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationCommunicating Process Architectures 2009
    EditorsP.H. Welch, H.W. Roebbers, Johannes F. Broenink, F.R.M. Barnes, C.G. Ritson, A.T. Sampson, G.S. Stiles, B. Vinter
    Place of PublicationAmsterdam
    PublisherIOS Press
    Number of pages22
    ISBN (Print)978-1-60750-065-0
    Publication statusPublished - 1 Nov 2009
    EventCommunicating Process Architectures, CPA 2009: 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009 - Technical University Eindhoven, Eindhoven, Netherlands
    Duration: 1 Nov 20094 Nov 2009
    Conference number: 32

    Publication series

    NameConcurrent System Engineering Series
    PublisherIOS Press BV
    ISSN (Print)1383-7575


    ConferenceCommunicating Process Architectures, CPA 2009
    Abbreviated titleCPA


    • CSP
    • IR-68650
    • METIS-264181
    • EWI-16582
    • Embedded Systems
    • Traces
    • Process Transformation
    • Process Scheduling
    • gCSP

    Cite this