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.