Paper Details

Communicating Process Architectures (CPA)
 Title: CSP and Real-Time: Reality or Illusion?
 Conference: Communicating Process Architectures 2007
 Authors: Bojan Orlica, Jan F. Broeninkb
(a) Control Engineering, Faculty of EE-Math-CS, University of Twente
(b) Robotics and Mechatronics, CTIT Institute, University of Twente
 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. 
Files:


BibTeX Entry


Full paper