Minh Chau Nguyen
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.
- Giese H., Karsai G., Lee E. A., Rumpe B., "Model-Based Engineering of Embedded Real-Time Systems", International Dagstuhl Workshop, November, 2007.Google Scholar
- Unified Modeling Language, OMG, 2011.Google Scholar
- UML Profile for MARTE, OMG, 2009.Google Scholar
- M. Fowler, "UML Distilled: A Brief Guide to Standard Object Modeling Language", Addison-Wesley, 2004. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- PACEMAKER System Specification. Boston Scientific.Google Scholar
- Z. Micskei, H. Waeselynck, "Many Meanings of UML 2 Sequence Diagrams: a Survey. Software and Systems Modeling", Springer, Vol. 10: 489--514, 2011. Google ScholarDigital Library
- J. Choi, "Timing Consistency Checking for UML/MARTE Behavioral Models of Real-Time Embedded Software", Ph.D. Thesis, KAIST, 2013.Google Scholar
- Papyrus UML, http://www.papyrusuml.orgGoogle Scholar
- Visual Paradigm, http://www.visual-paradigm.comGoogle Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- D. Dymek, L. Kotulski, "Estimation of system workload time characteristic using UML timing diagrams", 3rd International Conference on Dependability of Computer Systems, June, 2008. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software
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 ReliabilityThe 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 SystemsThe 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