research-article

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software

Authors:

Minh Chau Nguyen,

Doo-Hwan BaeAuthors Info & Claims

SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing

Pages 1140 - 1145

https://doi.org/10.1145/2554850.2555011

Published: 24 March 2014 Publication History

Abstract

Analysis of timing constraints is an essential part in developing real-time embedded software. Performing the timing analysis during the early development phases prevents timing violations and enhances software quality. In the development of real-time embedded software, UML timing diagrams can play a significant role since they can provide not only intuitive specifications for timing constraints, but also valuable information for verifying system requirements. However, as software complexity increases, modeling timing diagrams is becoming difficult and costly. We propose an automated construction approach of timing diagrams from UML sequence diagrams and state machine diagrams with MARTE annotations. The proposed approach enables developers of RTES to save time required for modeling timing diagrams and prevents making mistakes in construction of timing diagrams.

References

[1]

Giese H., Karsai G., Lee E. A., Rumpe B., "Model-Based Engineering of Embedded Real-Time Systems", International Dagstuhl Workshop, November, 2007.

[2]

Unified Modeling Language, OMG, 2011.

[3]

UML Profile for MARTE, OMG, 2009.

[4]

M. Fowler, "UML Distilled: A Brief Guide to Standard Object Modeling Language", Addison-Wesley, 2004.

Digital Library

[5]

S. AbouTrab, M. Brockway, S. Counsell, M. Hierons, "Testing Real-Time Embedded Systems using Timed Automata based approaches", Journal of Systems and Software, Vol. 86: 1209--1223, 2013.

Digital Library

[6]

PACEMAKER System Specification. Boston Scientific.

[7]

Z. Micskei, H. Waeselynck, "Many Meanings of UML 2 Sequence Diagrams: a Survey. Software and Systems Modeling", Springer, Vol. 10: 489--514, 2011.

Digital Library

[8]

J. Choi, "Timing Consistency Checking for UML/MARTE Behavioral Models of Real-Time Embedded Software", Ph.D. Thesis, KAIST, 2013.

[9]

Papyrus UML, http://www.papyrusuml.org

[10]

Visual Paradigm, http://www.visual-paradigm.com

[11]

A. Pulka, A. Milik, "VEST - an intelligent tool for timing SoCs verification using UML timing diagrams", Forum on Specification, Verification and Design Languages, September, 2008.

[12]

Trinh, T., Do, T., Truong, N., Nguyen, V. "Checking the Compliance of Timing Constraints in Software Applications", 1st International Conference on Knowledge and Systems Engineering, October, 2010.

Digital Library

[13]

D. Dymek, L. Kotulski, "Estimation of system workload time characteristic using UML timing diagrams", 3rd International Conference on Dependability of Computer Systems, June, 2008.

Digital Library

[14]

T. Joochim, C. Snook, M. Poppleton, A Gravell. "Timing Diagrams Requirement Modeling Using Event-B Formal Methods", IASTED International Conference on Software Engineering, February, 2010.

[15]

Hongsuk L., Kihyun C., Hyunsang P., Kyunghee C. "Modeling software requirement with timing diagram and Simulink Stateflow", Information and Software Technology, Vol. 53: 484--493, 2011.

Digital Library

[16]

J. Choi, E. Jee, D. H. Bae, "Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software", 6th IEEE Conference on Software Security and Reliability, November, 2012.

Digital Library

Cited By

Lu LPan MZhang TLi X(2022)Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniquesSoftware and Systems Modeling10.1007/s10270-022-00980-821:4(1321-1338)Online publication date: 10-Feb-2022
https://doi.org/10.1007/s10270-022-00980-8
Lu LYang WPan MZhang T(2020)SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based SpecificationsProceedings of the 12th Asia-Pacific Symposium on Internetware10.1145/3457913.3457917(229-239)Online publication date: 1-Nov-2020
https://dl.acm.org/doi/10.1145/3457913.3457917
Rashid MAnwar M(2016)A systematic investigation of tools in model based system engineering for embedded systems2016 11th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2016.7542949(1-6)Online publication date: Jun-2016
https://doi.org/10.1109/SYSOSE.2016.7542949
Show More Cited By

Index Terms

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Timing consistency checking for UML/MARTE behavioral models

UML/MARTE model-driven development approaches are gaining attention in developing real-time embedded software (RTES). UML behavioral models with MARTE annotations are used to describe timing behaviors and timing characteristics of RTES. Particularly, ...
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software
SERE '12: Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability

The UML has been used to describe structures and behaviors of time-triggered embedded software. Analysis of timing constraints is an important issue in developing time-triggered embedded software. Among multiple types of UML diagrams, timing diagrams ...
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems

The UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing

March 2014

1890 pages

ISBN:9781450324694

DOI:10.1145/2554850

Conference Chairs:
Yookun Cho
Seoul National University, Korea
,
Sung Y. Shin
South Dakota State University
,
Program Chairs:
Sangwook Kim
Kyungpook National University, Korea
,
Chih-Cheng Hung
Southern Polytechnic State University
,
Jiman Hong
Soongsil University, South Korea

Copyright © 2014 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 March 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

SAC 2014

Sponsor:

SIGAPP

SAC 2014: Symposium on Applied Computing

March 24 - 28, 2014

Gyeongju, Republic of Korea

Acceptance Rates

SAC '14 Paper Acceptance Rate 218 of 939 submissions, 23%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
151
Total Downloads

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

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lu LPan MZhang TLi X(2022)Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniquesSoftware and Systems Modeling10.1007/s10270-022-00980-821:4(1321-1338)Online publication date: 10-Feb-2022
https://doi.org/10.1007/s10270-022-00980-8
Lu LYang WPan MZhang T(2020)SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based SpecificationsProceedings of the 12th Asia-Pacific Symposium on Internetware10.1145/3457913.3457917(229-239)Online publication date: 1-Nov-2020
https://dl.acm.org/doi/10.1145/3457913.3457917
Rashid MAnwar M(2016)A systematic investigation of tools in model based system engineering for embedded systems2016 11th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2016.7542949(1-6)Online publication date: Jun-2016
https://doi.org/10.1109/SYSOSE.2016.7542949
Rashid MAnwar MAzam FKashif M(2016)Model-based requirements and properties specifications trends for early design verification of embedded systems2016 11th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2016.7542917(1-7)Online publication date: Jun-2016
https://doi.org/10.1109/SYSOSE.2016.7542917
Choi JJee EBae D(2016)Timing consistency checking for UML/MARTE behavioral modelsSoftware Quality Journal10.1007/s11219-015-9290-624:3(835-876)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s11219-015-9290-6
Rashid MAnwar MKhan A(2015)Identification of trends for model based development of embedded systems2015 12th International Symposium on Programming and Systems (ISPS)10.1109/ISPS.2015.7245004(1-8)Online publication date: Apr-2015
https://doi.org/10.1109/ISPS.2015.7245004
Li LLu MGu T(2015)Constructing runtime models of complex software-intensive systems for analysis of failure mechanism2015 First International Conference on Reliability Systems Engineering (ICRSE)10.1109/ICRSE.2015.7366482(1-10)Online publication date: Oct-2015
https://doi.org/10.1109/ICRSE.2015.7366482
Rashid MAnwar MKhan A(2015)Toward the tools selection in model based system engineering for embedded systems-A systematic literature reviewJournal of Systems and Software10.1016/j.jss.2015.04.089106:C(150-163)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1016/j.jss.2015.04.089

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