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.
|Titel||The 30th Communicating Process Architectures Conference (CPA 2007, Guildford, UK, July 8-11, 2007)|
|Redacteuren||A.A. McEwan, S.A. Schneider, W. Ifill, P.H. Welch|
|Plaats van productie||Amsterdam|
|ISBN van geprinte versie||978-1-58603-767-3|
|Status||Gepubliceerd - 2007|
|Naam||Concurrent Systems Engineering Series|