Design and Use of CSP Meta-Model for Embedded Control Software Development

M.M. Bezemer, R.J.W. Wilterdink, Johannes F. Broenink

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

    62 Downloads (Pure)

    Abstract

    Software that is used to control machines and robots must be predictable and reliable. Model-Driven Design (MDD) techniques are used to comply with both the technical and business needs. This paper introduces a CSP meta-model that is suitable for these MDD techniques. The meta-model describes the structure of CSP models that are designed; using this meta-model it is possible to use all regular CSP constructs when constructing a CSP model. The paper also presents a new tool suite, called TERRA, based on Eclipse and its frameworks. TERRA contains a graphical CSP model editor (using the new CSP meta-model), model validation tools and code generation tools. The model validation tools check whether the model conforms to the meta-model definition as well as to additional rules. Models without any validation problems result in proper code generation, otherwise the developer needs to address the found problems to be sure code generation will succeed. The code generation tools are able to generate CSPm code that is readable by FDR and to generate C++/LUNA code that is executable on embedded targets. The meta-model and the TERRA tool suite are tested by designing CSP models for several of our laboratory setups. The generated C++/LUNA code for the laboratory setups is able to control them as expected. Additionally, the paper contains an example model containing all supported CSP constructs to show the CSPm code generation results. So it can be concluded that the meta-model and TERRA are usable for these kind of tasks.
    Original languageEnglish
    Title of host publicationCommunicating Process Architectures 2012
    Subtitle of host publicationWoTUG-34
    EditorsPeter H. Welch, Frederick R.M. Barnes, Kevin Chalmers, Jan Baekgaard Pedersen, Adam T. Sampson
    Place of PublicationEngland
    PublisherOpen Channel Publishing Ltd
    Pages185-199
    Number of pages15
    ISBN (Print)978-0-9565409-5-9
    Publication statusPublished - Aug 2012
    EventCommunicating Process Architectures, CPA 2012: 34th WoTUG Conference on Concurrent and Parallel Programming - University of Abertay, Dundee, United Kingdom
    Duration: 26 Aug 201229 Aug 2012
    Conference number: 34
    http://wotug.org/cpa2012/

    Publication series

    NameConcurrent System Engineering Series
    PublisherOpen Channel Publishing Ltd.
    Volume69

    Conference

    ConferenceCommunicating Process Architectures, CPA 2012
    CountryUnited Kingdom
    CityDundee
    Period26/08/1229/08/12
    Internet address

    Keywords

    • METIS-287991
    • Model Transformations
    • Code Generation
    • Co-simulation
    • CSP
    • IR-81379
    • TERRA
    • Eclipse
    • EMF
    • Metamodel
    • EWI-22205
    • model verification
    • LUNA

    Fingerprint Dive into the research topics of 'Design and Use of CSP Meta-Model for Embedded Control Software Development'. Together they form a unique fingerprint.

    Cite this