research-article

Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation

Authors:

Suchita Ganesan,

Mojtaba Bagherzadeh,

Juergen DingelAuthors Info & Claims

MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

Pages 36 - 43

https://doi.org/10.1145/2976767.2976781

Published: 02 October 2016 Publication History

Abstract

This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.

References

[1]

Apache JMeter. http://jmeter.apache.org.

[2]

DEVS tools. http://www.sce.carleton.ca/faculty/wainer/standard/tools.htm.

[3]

List of queueing theory software. http://web2.uwindsor.ca/math/hlynka/qsoft.html.

[4]

LTTng documentation. http://lttng.org/docs.

[5]

Minecraft video game. https://minecraft.net.

[6]

Papyrus for real time (PapyrusRT). https://www.eclipse.org/papyrus-rt. Accessed: 2016-03-10.

[7]

Petri nets tools database quick overview. https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html.

[8]

Trace compass. https://projects.eclipse.org/projects/tools.tracecompass. Accessed: 2016-03-15.

[9]

Unity: 3D engine and game development environment. https://unity3d.com.

[10]

IBM Rational Software Architect RealTime Edition, v9.5.0 Product Documentation. http://www.ibm.com/support/knowledgecenter/SS5JSH_9.5.0, 2015.

[11]

Object Management Group (OMG). Unified Modeling Language (UML) 2.5 Specification, Mar. 2015.

[12]

Object management group (OMG). Semantics of a foundational subset for executable UML models (fUML). http://www.omg.org/spec/FUML/1.2.1, 2016.

[13]

Papyrus: Moka overview. http://wiki.eclipse.org/Papyrus/UserGuide/ModelExecution, 2016.

[14]

N. Asadi, M. Saadatmand, and M. Sjödin. Run-time monitoring of timing constraints: A survey of methods and tools. In International Conference on Software Engineering Advances (ICSEA'13), 2013.

[15]

S. Becker, H. Koziolek, and R. Reussner. The Palladio component model for model-driven performance prediction. Journal of Systems and Software, 82:3--22, 2009.

Digital Library

[16]

M. Bligh, M. Desnoyers, and R. Schultz. Linux kernel debugging on Google-sized clusters. In Proceedings of the Linux Symposium, pages 29--40, 2007.

[17]

B. Combemale, X. Crégut, J.-P. Giacometti, P. Michel, and M. Pantel. Introducing simulation and model animation in the MDE Topcased toolkit. In 4th European Congress on Embedded Real Time Software (ERTS'08), 2008.

[18]

N. Delgado, A. Q. Gates, and S. Roach. A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30(12), 2004.

Digital Library

[19]

M. Desnoyers. Common trace format (CTF) specification (v1.8.2). Common Trace Format GIT repository, 2012.

[20]

M. Desnoyers and M. Dagenais. LTTng tracer: A low impact performance and behavior monitor for GNU/Linux. In OLS (Ottawa Linux Symposium), volume 2006, pages 209--224, 2006.

[21]

L. Dohmen and L. Somers. Experiences and lessons learned using UML-RT to develop embedded printer software. In 4th International Conference on Product Focused Software Process Improvement (PROFES'02), pages 475--484, 2002.

Digital Library

[22]

H. Koziolek. Performance evaluation of component-based software systems: A survey. Performance Evaluation, 67:634--658, 2010.

Digital Library

[23]

A. Lanusse, Y. Tanguy, H. Espinoza, C. Mraidha, S. Gerard, P. Tessier, R. Schnekenburger, H. Dubois, and F. Terrier. Papyrus UML: an open source toolset for MDA. In Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA'09), pages 1--4, 2009.

[24]

T. Mayerhofer and P. Langer. Moliz: A model execution framework for UML models. In Int. Master Class on Model-Driven Engineering: Modeling Wizards (MW'12), 2012.

Digital Library

[25]

A. Mok and G. Liu. Efficient run-time monitoring of timing constraints. In IEEE Real Time Technology and Applications Symposium, pages 252--262, 1997.

Digital Library

[26]

B. Plattner and J. Nievergelt. Monitoring program execution: A survey. IEEE Computer, 14, 1981.

Digital Library

[27]

E. Posse. PapyrusRT: modelling and code generation. In Workshop on Open Source for Model Driven Engineering (OSS4MDE'15), 2015.

[28]

E. Seidewitz and J. Tatibouet. Tool paper: Combining Alf and UML in modeling tools--an example with Papyrus. In Workshop on OCL and Textual Modeling (OCL'15), 2015.

[29]

B. Selic. Using UML for modeling complex real-time systems. In Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98), pages 250--260, 1998.

Digital Library

[30]

B. Zeigler. Theory of Modelling and Simulation (2nd Ed.). Academic Press, 2000.

Digital Library

Cited By

Kimura TOgata SMakihara EOkano K(2023)A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams2023 IEEE 35th International Conference on Software Engineering Education and Training (CSEE&T)10.1109/CSEET58097.2023.00011(1-10)Online publication date: Aug-2023
https://doi.org/10.1109/CSEET58097.2023.00011
Ogata SNakagawa HKaiya HTakeuchi H(2023)A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical TestKnowledge-Based Software Engineering: 202210.1007/978-3-031-17583-1_11(141-153)Online publication date: 18-Feb-2023
https://doi.org/10.1007/978-3-031-17583-1_11
Amrani MOuared ASchobbens PKühn TSousa V(2022)Towards the systematic design of model animationProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561607(755-765)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3561607
Show More Cited By

Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We ...
Model-driven engineering of component-based distributed, real-time and embedded systems
Enhancing Real-Time CORBA via Real-Time Java Features
ICDCS '04: Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)

End-to-end middleware predictability is essential to support quality of service (QoS) capabilities needed by distributed real-time and embedded (DRE) applications. Real-time CORBA is a middleware standard that allows DRE applications to allocate, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

October 2016

414 pages

ISBN:9781450343213

DOI:10.1145/2976767

General Chairs:
Benoit Baudry
Inria, France
,
Benoit Combemale
Inria, France
,
Program Chairs:
Jörg Kienzle
McGill University, Montreal, Canada
,
Alexander Pretschner
Technical University Munich, Germany

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 October 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Ontario Ministry of Research and Innovation
Natural Sciences and Engineering Research Council of Canada

Conference

MODELS '16

Sponsor:

SIGSOFT
IEEE-CS

MODELS '16: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

October 2 - 7, 2016

Saint-malo, France

Acceptance Rates

Overall Acceptance Rate 118 of 382 submissions, 31%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
259
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)1

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kimura TOgata SMakihara EOkano K(2023)A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams2023 IEEE 35th International Conference on Software Engineering Education and Training (CSEE&T)10.1109/CSEET58097.2023.00011(1-10)Online publication date: Aug-2023
https://doi.org/10.1109/CSEET58097.2023.00011
Ogata SNakagawa HKaiya HTakeuchi H(2023)A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical TestKnowledge-Based Software Engineering: 202210.1007/978-3-031-17583-1_11(141-153)Online publication date: 18-Feb-2023
https://doi.org/10.1007/978-3-031-17583-1_11
Amrani MOuared ASchobbens PKühn TSousa V(2022)Towards the systematic design of model animationProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561607(755-765)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3561607
Bagherzadeh MKahani NJahed KDingel J(2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
https://doi.org/10.1109/TSE.2020.3008850
Huning LIyenghar PPulvermüller E(2021)A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven DevelopmentEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-70006-5_17(420-443)Online publication date: 27-Feb-2021
https://doi.org/10.1007/978-3-030-70006-5_17
Chen XNophut CVoigt T(2020)Manufacturing Execution Systems for the Food and Beverage Industry: A Model-Driven ApproachElectronics10.3390/electronics91220409:12(2040)Online publication date: 2-Dec-2020
https://doi.org/10.3390/electronics9122040
Babaei MBagherzadeh MDingel JSyriani ESahraoui H(2020)Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410939(285-296)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410939
Bagherzadeh MJahed KCombemale BDingel J(2020)Live modeling in the context of state machine models and code generationSoftware and Systems Modeling10.1007/s10270-020-00829-yOnline publication date: 2-Nov-2020
https://doi.org/10.1007/s10270-020-00829-y
Illarramendi MEtxeberria LElkorobarrutia XSagardui GHung CPapadopoulos G(2019)Runtime observable and adaptable UML state machinesProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297459(1818-1827)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297459
Bousse EWimmer M(2019)Domain-Level Observation and Control for Compiled Executable DSLs2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2019.000-6(150-160)Online publication date: Sep-2019
https://doi.org/10.1109/MODELS.2019.000-6
Show More Cited By

View Options

Get Access

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