Model-driven design of simulation support for the TERRA robot software tool suite

Zhou Lu, M.M. Bezemer, Johannes F. Broenink

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

    3 Downloads (Pure)

    Abstract

    Model-Driven Development (MDD) – based on the concepts of model, meta-model and model transformation – is an approach to develop predictable and re- liable software for Cyber-Physical Systems (CPS). The work presented here concerns a methodology to design simulation software based on MDD techniques, supporting the TERRA tool suite to describe and simulate process communication flows. TERRA is implemented using MDD techniques and Communicating Sequential Process algebra (CSP). Simulation support for TERRA helps the designer to understand the semantics of the designed model and, hence, to increase the probability of first-time-right software implementation. A new simulation meta-model is proposed, abstracting the simulation process of a TERRA model. With this new meta-model and our previously designed CSP meta-model, a simulation model can be transformed from its TERRA source. The Eclipse Modelling Framework (EMF) is used to implement the meta-model. The Eclipse Epsilon Framework includes the Epsilon Transformation Language (ETL) and the Epsilon Generation Language (EGL), used for model-to-model and model-to-text transformation. The simulation support is shown using an example, in which the generated trace text is shown as well. Further work is to implement an animation facility showing the trace text in the TERRA graphical model using colours.
    Original languageUndefined
    Title of host publicationCommunicating Process Architectures 2015, proceedings of the 37th WoTUG Technical Meeting
    Place of PublicationOxford, UK
    PublisherOpen Channel Publishing Ltd
    Pages257-272
    Number of pages16
    ISBN (Print)978-0-9565409-9-7
    Publication statusPublished - 24 Aug 2015
    EventCommunicating Process Architectures, CPA 2015: 37th WoTUG Technical Meeting on Concurrent and Parallel Programming - University of Kent, Kent, United Kingdom
    Duration: 23 Aug 201526 Aug 2015
    Conference number: 37

    Publication series

    Name
    PublisherOpen Channel Publishing Ltd.

    Conference

    ConferenceCommunicating Process Architectures, CPA 2015
    Abbreviated titleCPA
    CountryUnited Kingdom
    CityKent
    Period23/08/1526/08/15

    Keywords

    • EWI-26798
    • IR-99350
    • METIS-315589

    Cite this