Design Principles of the SystemCSP Software Framework


Share/Save/Bookmark

Orlic, B. and Broenink, J.F. (2007) Design Principles of the SystemCSP Software Framework. In: Communicating Process Architectures 2007, 8-11 July 2007, Guildford, UK.

[img]PDF
Restricted to UT campus only
: Request a copy
556Kb
Abstract:SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs. This paper defines a mapping from SystemCSP designs to a software implementation. The possibility to reuse existing practical implementations was analyzed. Comparison is given for different types of execution engines usable in implementing concurrent systems. The main part of the text introduces and explains the design principles behind the software implementation. A synchronization mechanism is introduced that can handle CSP kind of events with event ends possibly scattered on different nodes and OS threads, and with any number of participating event ends, possibly guarded by alternative constructs.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61884
Official URL:http://www.iospress.nl/loadtop/load.php?isbn=9781586037673
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 241844