Abstract
Timing-related issues need to be managed from early design phase for successful development of GCU (Guidance and Control Unit) software. UML/MARTE behavioral models can specify timing information in the multiple viewpoints. Among UML behavioral models, UML timing diagrams are useful to show timing information intuitively. We propose an approach to constructing timing diagrams with MARTE annotations from the state machine and sequence diagrams with MARTE annotations. The proposed approach consists of the consistency checking step to get well-formed UML/MARTE models and the model transformation step to construct timing diagrams.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Choi, J., Jee, E., Kim, H.-J., Bae, D.-H.: A case study on timing constraints verification for a safety-critical, time-triggered embedded software. Journal of KIISE: Software and Applications 38(12), 647–656 (2011) (in Korean)
Unified Modeling Language: Superstructure, version 2.4.1 (ptc/2011-08-06), OMG (2011), http://www.omg.org
UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version1.1 (formal/2011-06-02), OMG (2011), http://www.omg.org
Fowler, M.: Uml Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd edn. Addison-Wesley (2004)
Choi, J., Jee, E., Bae, D.-H.: Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. In: The 6th IEEE International Conference on Software Security and Reliability, pp. 118–127 (June 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choi, J., Bae, DH. (2012). An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software. In: Kim, Th., Ma, J., Fang, Wc., Zhang, Y., Cuzzocrea, A. (eds) Computer Applications for Database, Education, and Ubiquitous Computing. EL DTA 2012 2012. Communications in Computer and Information Science, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35603-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-35603-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35602-5
Online ISBN: 978-3-642-35603-2
eBook Packages: Computer ScienceComputer Science (R0)