CSP and Real-Time: Reality or Illusion?


Orlic, B. and Broenink, J.F. (2007) CSP and Real-Time: Reality or Illusion? In: Communicating Process Architectures 2007, 8-11 July 2007, Guildford, UK (pp. pp. 119-147).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:This paper deals with the applicability of CSP in general and SystemCSP, as a notation and design methodology based on CSP, in particular in the application area of real-time systems. The paper extends SystemCSP by introducing time-related operators as a way to specify time properties. Since SystemCSP aims to be used in practice of real-time systems development, achieving real-time in practice is also addressed. The mismatch between the classical scheduling theories and CSP paradigm is explored. Some practical ways to deal with this mismatch are presented.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61883
Official URL:http://www.iospress.nl/loadtop/load.php?isbn=9781586037673
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 241843