Hardware Ports - Getting Rid of Sandboxed Modelled Software

M.M. Bezemer

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

    35 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 languageUndefined
    Title of host publicationCommunicating Process Architectures 2014
    EditorsP.H. Welch, F.R.M. Barnes, Johannes F. Broenink, K. Chalmers, T. Gibson-Robinson, R. Ivimey-Cook, A.A. McEwan, J.B. Pedersen, A, Sampson, M.L. Smith
    Place of PublicationEngland
    PublisherOpen Channel Publishing Ltd
    Pages107-118
    Number of pages12
    ISBN (Print)978-0-9565409-8-0
    Publication statusPublished - 24 Aug 2014
    EventCommunicating Process Architectures, CPA 2014: 36th WoTUG Conference on Concurrent and Parallel Programming 2014 - University of Oxford, Oxford, United Kingdom
    Duration: 24 Aug 201427 Aug 2014
    Conference number: 36
    http://www.wotug.org/cpa2014/

    Publication series

    NameConcurrent System Engineering Series
    PublisherOpen Channel Publishing Ltd.
    NumberWoTUG-36

    Conference

    ConferenceCommunicating Process Architectures, CPA 2014
    Abbreviated titleCPA
    CountryUnited Kingdom
    CityOxford
    Period24/08/1427/08/14
    Internet address

    Keywords

    • EWI-25602
    • hardware channel
    • hardware port
    • LUNA
    • METIS-309834
    • Code Generation
    • Model driven design
    • Metamodel
    • IR-93840
    • TERRA

    Cite this

    Bezemer, M. M. (2014). Hardware Ports - Getting Rid of Sandboxed Modelled Software. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, T. Gibson-Robinson, R. Ivimey-Cook, A. A. McEwan, J. B. Pedersen, A. Sampson, ... M. L. Smith (Eds.), Communicating Process Architectures 2014 (pp. 107-118). (Concurrent System Engineering Series; No. WoTUG-36). England: Open Channel Publishing Ltd.