CSP and Real-Time: Reality or Illusion?

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

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 languageUndefined
Title of host publicationCommunicating Process Architectures 2007
EditorsA. McEwan, S. Schneider, W. Ifill, P.H. Welch
Place of PublicationAmsterdam
PublisherIOS Press
Pages119-147
Number of pages29
ISBN (Print)978-1-58603-767-3
Publication statusPublished - 9 Jul 2007
EventCommunicating Process Architectures, CPA 2007: 30th WoTUG Conference on Concurrent and Parallel Programming - Guildford, United Kingdom
Duration: 8 Jul 200711 Jul 2007
Conference number: 30

Publication series

NameConcurrent Systems Engineering Series
PublisherIOS Press
NumberLNCS4549
Volume65
ISSN (Print)1383-7575

Conference

ConferenceCommunicating Process Architectures, CPA 2007
CountryUnited Kingdom
CityGuildford
Period8/07/0711/07/07

Keywords

  • EWI-10884
  • IR-61883
  • METIS-241843

Cite this

Orlic, B., & Broenink, J. F. (2007). CSP and Real-Time: Reality or Illusion? In A. McEwan, S. Schneider, W. Ifill, & P. H. Welch (Eds.), Communicating Process Architectures 2007 (pp. 119-147). (Concurrent Systems Engineering Series; Vol. 65, No. LNCS4549). Amsterdam: IOS Press.
Orlic, B. ; Broenink, Johannes F. / CSP and Real-Time: Reality or Illusion?. Communicating Process Architectures 2007. editor / A. McEwan ; S. Schneider ; W. Ifill ; P.H. Welch. Amsterdam : IOS Press, 2007. pp. 119-147 (Concurrent Systems Engineering Series; LNCS4549).
@inproceedings{582463ba17b145c78e7ce5c4f9035166,
title = "CSP and Real-Time: Reality or Illusion?",
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.",
keywords = "EWI-10884, IR-61883, METIS-241843",
author = "B. Orlic and Broenink, {Johannes F.}",
year = "2007",
month = "7",
day = "9",
language = "Undefined",
isbn = "978-1-58603-767-3",
series = "Concurrent Systems Engineering Series",
publisher = "IOS Press",
number = "LNCS4549",
pages = "119--147",
editor = "A. McEwan and S. Schneider and W. Ifill and P.H. Welch",
booktitle = "Communicating Process Architectures 2007",
address = "Netherlands",

}

Orlic, B & Broenink, JF 2007, CSP and Real-Time: Reality or Illusion? in A McEwan, S Schneider, W Ifill & PH Welch (eds), Communicating Process Architectures 2007. Concurrent Systems Engineering Series, no. LNCS4549, vol. 65, IOS Press, Amsterdam, pp. 119-147, Communicating Process Architectures, CPA 2007, Guildford, United Kingdom, 8/07/07.

CSP and Real-Time: Reality or Illusion? / Orlic, B.; Broenink, Johannes F.

Communicating Process Architectures 2007. ed. / A. McEwan; S. Schneider; W. Ifill; P.H. Welch. Amsterdam : IOS Press, 2007. p. 119-147 (Concurrent Systems Engineering Series; Vol. 65, No. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - CSP and Real-Time: Reality or Illusion?

AU - Orlic, B.

AU - Broenink, Johannes F.

PY - 2007/7/9

Y1 - 2007/7/9

N2 - 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.

AB - 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.

KW - EWI-10884

KW - IR-61883

KW - METIS-241843

M3 - Conference contribution

SN - 978-1-58603-767-3

T3 - Concurrent Systems Engineering Series

SP - 119

EP - 147

BT - Communicating Process Architectures 2007

A2 - McEwan, A.

A2 - Schneider, S.

A2 - Ifill, W.

A2 - Welch, P.H.

PB - IOS Press

CY - Amsterdam

ER -

Orlic B, Broenink JF. CSP and Real-Time: Reality or Illusion? In McEwan A, Schneider S, Ifill W, Welch PH, editors, Communicating Process Architectures 2007. Amsterdam: IOS Press. 2007. p. 119-147. (Concurrent Systems Engineering Series; LNCS4549).