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.
Original language | Undefined |
---|---|
Title of host publication | Communicating Process Architectures 2007 |
Editors | A. McEwan, S. Schneider, W. Ifill, P.H. Welch |
Place of Publication | Amsterdam |
Publisher | IOS |
Pages | 119-147 |
Number of pages | 29 |
ISBN (Print) | 978-1-58603-767-3 |
Publication status | Published - 9 Jul 2007 |
Event | Communicating Process Architectures, CPA 2007: 30th WoTUG Conference on Concurrent and Parallel Programming - Guildford, United Kingdom Duration: 8 Jul 2007 → 11 Jul 2007 Conference number: 30 |
Publication series
Name | Concurrent Systems Engineering Series |
---|---|
Publisher | IOS Press |
Number | LNCS4549 |
Volume | 65 |
ISSN (Print) | 1383-7575 |
Conference
Conference | Communicating Process Architectures, CPA 2007 |
---|---|
Country/Territory | United Kingdom |
City | Guildford |
Period | 8/07/07 → 11/07/07 |
Keywords
- EWI-10884
- IR-61883
- METIS-241843