A model-driven approach for mechatronic systems

Jinfeng Huang, Jeroen Voeten, M.A. Groothuis, Johannes F. Broenink, Henk Corporaal

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

    9 Citations (Scopus)
    26 Downloads (Pure)

    Abstract

    The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timeliness issues of the system. On the other hand, it has to glue different disciplines (such as software, control and mechanical) of the system as a whole. In this paper, we propose a model-driven approach to design the software part of a mechatronic system, which consists of two major parts: systematic modeling and correctness-preserving synthesis. The modeling stage is divided into four steps, which focus on different aspects (such as concurrency, multiple disciplines and timeliness) of the system respectively. In particular, we propose a set of handshake patterns to capture the concurrent aspect of the system. These patterns assist designers to build up an adequate top-level model efficiently. Furthermore, they separate the system into a set of concurrent components, each of which can be further refined independently. Subsequently, the multidisciplinary and realtime aspects of the system are naturally specified and analyzed in a series of refinements. After the important aspects of the system are specified and analyzed in a unified model, a software implementation is automatically synthesized from the model, the correctness of which is ensured by construction. The effectiveness of the proposed approach is illustrated by a complex production cell system.
    Original languageUndefined
    Title of host publicationSeventh International Conference on Application of Concurrency to System Design, 2007
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages127-136
    Number of pages10
    ISBN (Print)978-0-7695-2902-8
    DOIs
    Publication statusPublished - 10 Jul 2007
    Event7th International Conference on Application of Concurrency to System Design, ACSD 2007 - Bratislava, Slovakia
    Duration: 10 Jul 200713 Jul 2007
    Conference number: 7

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number7

    Conference

    Conference7th International Conference on Application of Concurrency to System Design, ACSD 2007
    Abbreviated titleACSD
    CountrySlovakia
    CityBratislava
    Period10/07/0713/07/07

    Keywords

    • EWI-11891
    • METIS-246009
    • IR-64621

    Cite this

    Huang, J., Voeten, J., Groothuis, M. A., Broenink, J. F., & Corporaal, H. (2007). A model-driven approach for mechatronic systems. In Seventh International Conference on Application of Concurrency to System Design, 2007 (pp. 127-136). [10.1109/ACSD.2007.40] Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/ACSD.2007.40