Collaborative Modelling and Co-Simulation with DESTECS: A Pilot Study

Ken Pierce, Garl Gamble, Yunyun Ni, Johannes F. Broenink

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

    12 Citations (Scopus)
    7 Downloads (Pure)

    Abstract

    This paper describes a collaborative modelling ex- ercise using the DESTECS framework. The DESTECS approach allows engineers and software designers to collaborate to produce system models that contain a discrete-event (DE) model of a controller and continuous-time (CT) model of a plant. We call these models co-models and call their execution co-simulation. The DESTECS tool couples existing DE and CT tools (Overture and 20-sim, respectively) allowing engineers to use paradigms and tools with which they are familiar, while collaborating to construct these shared system models. The work involved collaborative modelling of a line-following robot. We report on both the details of the models and experience in producing them.
    Original languageUndefined
    Title of host publication21st International Workshop Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012
    Place of PublicationUSA
    PublisherIEEE
    Pages280-285
    Number of pages6
    ISBN (Print)978-1-4673-1888-4
    DOIs
    Publication statusPublished - 2012
    Event2012 IEEE 21st International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012 - Toulouse, France
    Duration: 25 Jun 201227 Jun 2012
    Conference number: 21

    Publication series

    Name
    PublisherIEEE Computer Society
    ISSN (Print)1524-4547

    Conference

    Conference2012 IEEE 21st International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012
    Abbreviated titleWETICE
    Country/TerritoryFrance
    CityToulouse
    Period25/06/1227/06/12

    Keywords

    • METIS-296081
    • DESTECS
    • Collaborative modelling
    • Co-simulation
    • Evolution
    • EWI-22210
    • IR-81401
    • VDM
    • Embedded Control
    • Fault Tolerance
    • 20-sim

    Cite this