research-article

Model transformations for round-trip engineering in control deployment co-design

Authors:

Hans Vangheluwe,

Paul De MeulenaereAuthors Info & Claims

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Pages 55 - 62

Published: 12 April 2015 Publication History

Abstract

When developing a control algorithm for a mechatronic system, its deployment on hardware is rarely taken into account. Hardware properties such as execution performance, memory consumption, communication delays, buffer sizes, (un)reliability of the communication channel, etc. are often not the first concern of the control engineer. However, these properties may have important effects on the control loop behaviour such that initial requirements may no longer be fulfilled. To tackle this issue, we propose a Round-Trip Engineering (RTE) method allowing for a semi-automatic integration of hardware properties, corresponding to the deployment, into the control model. The proposed RTE method combines techniques of model transformations and model-based design space exploration. The resulting method will enable an engineer to further enhance the control model based on implementation properties such that the initial requirements are still satisfied when deployed on the target hardware platform.

References

[1]

Cervin, A., Henriksson, D., Lincoln, B., Eker, J., and Arzen, K.-E. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE Control Systems 23, 3 (June 2003), 16--30.

[2]

Ciccozzi, F., Cicchetti, A., and Sjödin, M. Round-trip support for extra-functional property management in model-driven engineering of embedded systems. Information and Software Technology 55, 6 (June 2013), 1085--1100.

Digital Library

[3]

Ciccozzi, F., Saadatmand, M., Cicchetti, A., and Sjödin, M. An automated round-trip support towards deployment assessment in component-based embedded systems. In Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13, ACM Press (2013), 179--188.

Digital Library

[4]

Denil, J., Mosterman, P. J., and Vangheluwe, H. Rule-Based Model Transformation For, and In Simulink. In DEVS '14 Proceedings of the Symposium on Theory of Modeling & Simulation (2014).

Digital Library

[5]

Derler, P., Lee, E. a., Tripakis, S., and Törngren, M. Cyber-physical system design contracts. In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13, ACM Press (2013), 109.

Digital Library

[6]

Eidson, J. C., Lee, E. A., Matic, S., Seshia, S. A., and Zou, J. Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE 100, 1 (Jan. 2012), 45--59.

[7]

Ernst, R. Codesign of embedded systems: status and trends. IEEE Design & Test of Computers 15, 2 (1998), 45--54.

Digital Library

[8]

Faugere, M., Bourbeau, T., Simone, R. D., and Gerard, S. MARTE: Also an UML Profile for Modeling AADL Applications. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), no. Iceccs, IEEE (2007), 359--364.

Digital Library

[9]

Gonzalez Harbour, M., Gutierrez Garcia, J., Palencia Gutierrez, J., and Drake Moyano, J. MAST: Modeling and analysis suite for real time applications. In Proceedings 13th Euromicro Conference on Real-Time Systems, IEEE Comput. Soc (2001), 125--134.

Digital Library

[10]

Guerra, E., Sanz, D., Diaz, P., and Aedo, I. A Transformation-Driven Approach to the Verification of Security Policies in Web Designs. ICWE'07 4607 (2007), 269--284.

Digital Library

[11]

Henriksson, D., Cervin, A., and Arzén, K.-E. TrueTime: Real-time Control System Simulation with MATLAB / Simulink. In Proceedings of the Nordic MATLAB Conference (2003).

[12]

Liggesmeyer, P., and Trapp, M. Trends in Embedded Software Engineering. IEEE Software 26, 3 (May 2009), 19--25.

Digital Library

[13]

Morelli, M., and Di Natale, M. Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach. In SIMPAR 2014 (2014), 49--61.

Digital Library

[14]

Mustafiz, S., Denil, J., Levi, L., and Vangheluwe, H. The FTG + PM Framework for Multi-Paradigm Modelling: An Automotive Case Study. In Proceeding MPM '12 Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (2012), 13--18.

Digital Library

[15]

Naderlinger, A. Multiple Real-Time Semantics on top of Synchronous Block Diagrams. In DEVS 13 Proceedings of the Symposium on Theory of Modeling & Simulation (2013).

Digital Library

[16]

Palencia, J., and Gonzalez Harbour, M. Schedulability analysis for tasks with static and dynamic offsets. Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279) (1998), 26--37.

Digital Library

[17]

Persson, M., Törngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., and Denil, J. A Characterization of Integrated Multi-View Modeling in the Context of Embedded and Cyber-Physical Systems. In Proceedings of the Eleventh ACM International Conference on Embedded Software, IEEE Press (2013), 10:1--10:10.

Digital Library

[18]

Prabhu, S. M., and Mosterman, P. J. Model-Based Design of a Power Window System: Modeling, Simulation, and Validation. In Society for Experimental Machines IMAC Conference (2004).

[19]

Sendall, S., and Küster, J. Taming Model Round-Trip Engineering. In Proceedings of Workshop on BestPractices for Model-Driven Software Development (part of 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications) (2004).

[20]

Tindell, K., and Clark, J. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40, 2--3 (Apr. 1994), 117--134.

Digital Library

[21]

Wilhelm, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., and Heckmann, R. The worst-case execution-time problem-overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems 7, 3 (Apr. 2008), 1--53.

Digital Library

Cited By

Mertens JVanherpen KDenil JDe Meulenaere P(2019)A library of embedded platform components for the simulation of real-time embedded systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338247(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338247
(2019)Impact of software architecture on execution timeInternational Journal of Grid and Utility Computing10.5555/3319245.331924910:2(132-140)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3319245.3319249
Durak UPawletta TOguztuzun HZeigler B(2017)System entity structure and model base framework in model based engineering of simulations for technical systemsProceedings of the Symposium on Model-driven Approaches for Simulation Engineering10.5555/3108244.3108245(1-10)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108244.3108245
Show More Cited By

Index Terms

Model transformations for round-trip engineering in control deployment co-design

Recommendations

An automated round-trip support towards deployment assessment in component-based embedded systems
CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Synergies between model-driven and component-based software engineering have been indicated as promising to mitigate complexity in development of embedded systems. In this work we evaluate the usefulness of a model-driven round-trip approach to aid ...
Round-trip support for extra-functional property management in model-driven engineering of embedded systems

Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties specified at design level are preserved at code level. Objective: The goal ...
Round-trip Engineering UML Class Models and Java Models: A Real-world Use Case for Bidirectional Transformations with QVT-R

Model transformations constitute the key technology for model-driven software development, a software engineering discipline which became more and more important during the last decade. While tool support for unidirectional batch transformations is ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

April 2015

288 pages

ISBN:9781510801059

Editors:
Fernando Barros
University of Coimbra, Portugal
,
Moon Ho Wang
Dassualt Systemes, Delmia Corp
,
Herbert Prähofer
Johannes Kepler University Linz, Austria
,
Xiaolin Hu
Georgia State University

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling
SCS: Society for Modeling and Simulation International

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 12 April 2015

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '15

Sponsor:

SIGSIM
SCS

SpringSim '15: 2015 Spring Simulation Multiconference

April 12 - 15, 2015

Virginia, Alexandria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
61
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mertens JVanherpen KDenil JDe Meulenaere P(2019)A library of embedded platform components for the simulation of real-time embedded systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338247(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338247
(2019)Impact of software architecture on execution timeInternational Journal of Grid and Utility Computing10.5555/3319245.331924910:2(132-140)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3319245.3319249
Durak UPawletta TOguztuzun HZeigler B(2017)System entity structure and model base framework in model based engineering of simulations for technical systemsProceedings of the Symposium on Model-driven Approaches for Simulation Engineering10.5555/3108244.3108245(1-10)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108244.3108245
Denil JDe Meulenaere PDemeyer SVangheluwe H(2017)DEVS for AUTOSAR-based system deployment modeling and simulationSimulation10.1177/003754971668455293:6(489-513)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1177/0037549716684552

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents