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