University of Twente Student Theses

Login

Design of animation and debug facilities for gCSP

Steen, H. van der (2008) Design of animation and debug facilities for gCSP.

[img] PDF
951kB
Abstract:Communicating Sequential Processes (CSP), is a notation for describing concurrent systems, which can be analyzed algebraically. To use the theory of CSP for designing embedded software, the gCSP (graphical CSP) tool was created. gCSP is capable of creating CSP models by drawing diagrams (gCSP diagrams) according to the CSP language. By using the CSP algebra, the FDR2 (Failure Divergence Refinement) tool can check a gCSP model on deadlocks or livelocks. gCSP is capable of generating C++ code of its diagrams. Combining this code with the CT (Communicating Threads) execution framework, an executable (CT program) can be created. The CT program can be executed on a PC or (real-time) hardware platform, for testing its execution behavior. Because the CT execution framework only supports textual debug output as feedback on the execution of a CT program, it is hard to test and validate its execution behavior. The goal of this project is to improve this feedback, to give the user more insight about the execution behavior of a CT program. To achieve this, animation is chosen to be appropriate for this purpose. By animation of a CT program, the execution of the program will be graphically shown. Animation can be used to analyze or debug the execution behavior of a CT program. To make this possible, an animation framework was designed and implemented.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:http://purl.utwente.nl/essays/58120
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page