SystemCSP - Visual Notation

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

    1 Citation (Scopus)

    Abstract

    This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped onto CSP expressions. SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs of distributed real-time systems. It aims to be a graphical formalism that covers various aspects needed for the design of distributed real-time systems in single framework. Keywords. CSP, Formal methods, Graphical modeling
    Original languageUndefined
    Title of host publicationCommunicationg Process Architectures 2006
    EditorsP.H. Welch, J. Kerridge, F.R.M. Barnes
    Place of PublicationEdinburg
    PublisherIOS Press
    Pages151-177
    Number of pages27
    ISBN (Print)1-58603-671-8
    Publication statusPublished - 17 Sep 2006
    EventCommunicationg Process Architectures 2006 - Edinburg
    Duration: 17 Sep 200620 Sep 2006

    Publication series

    NameConcurrent Systems Engineering Series
    PublisherIOS Press
    Number2
    Volume64

    Conference

    ConferenceCommunicationg Process Architectures 2006
    Period17/09/0620/09/06
    Other17-20 sep 2006

    Keywords

    • EWI-6999
    • IR-63448
    • METIS-238197

    Cite this