Search
 
loader loading subjects...
cover
CSP and Real-Time: Reality or Illusion?
Bojan Orlic, Jan F. Broenink
119 - 147
Concurrent Systems Engineering Series
Volume 65: Communicating Process Architectures 2007
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.

$35.00 / €27.50 / £22.00
Add PDF to cart