CSP and Real-Time: Reality or Illusion?

B. Orlic; J.F. Broenink

CSP and Real-Time: Reality or Illusion?

B. Orlic
, J.F. Broenink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

11 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 language	English
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
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

2020 OA procedure

Access to Document

ArticleFinal published version, 0.99 MBLicence: Taverne

https://ebooks.iospress.nl/volumearticle/1601

Cite this

@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 = "2020 OA procedure",

author = "B. Orlic and J.F. Broenink",

year = "2007",

month = jul,

day = "9",

language = "English",

isbn = "978-1-58603-767-3",

series = "Concurrent Systems Engineering Series",

publisher = "IOS",

pages = "119--147",

editor = "A. McEwan and S. Schneider and W. Ifill and P.H. Welch",

booktitle = "Communicating Process Architectures 2007",

address = "Netherlands",

note = "Communicating Process Architectures, CPA 2007 : 30th WoTUG Conference on Concurrent and Parallel Programming ; Conference date: 08-07-2007 Through 11-07-2007",

}

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, vol. 65, IOS, Amsterdam, pp. 119-147, Communicating Process Architectures, CPA 2007, Guildford, United Kingdom, 8/07/07. <https://ebooks.iospress.nl/volumearticle/1601>

TY - GEN

T1 - CSP and Real-Time

T2 - Communicating Process Architectures, CPA 2007

AU - Orlic, B.

AU - Broenink, J.F.

N1 - Conference code: 30

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 - 2020 OA procedure

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

CY - Amsterdam

Y2 - 8 July 2007 through 11 July 2007

ER -

CSP and Real-Time: Reality or Illusion?

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this