Application of time concepts from the MARTE profile in a Model- Driven Development case study

• Autorzy: Derezińska A. , Szczykulski M.

Warianty tytułu

PL

Wykorzystanie pojęć czasu z profilu MARTE w wytwarzaniu oprogramowania opartym na modelach

• Języki publikacji: EN

Abstrakty

EN

Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.

PL

Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.

Słowa kluczowe

EN

code generation; UML; state machine; time model; model driven engineering

PL

generacja kodu; UML; maszyna stanowa; modelowanie czasowe; inżynieria oparta na modelach

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2015
• Tom: R. 91, nr 11
• Strony: 178--181
• Opis fizyczny: Bibliogr. 15 poz., rys., tab.

Twórcy

autor

Derezińska A.

• Warsaw University of Technology, Institute of Computer Science, ul. Nowowiejska 15/19, 00-665 Warszawa

autor

Szczykulski M.

• Warsaw University of Technology, Institute of Computer Science, ul. Nowowiejska 15/19, 00-665 Warszawa

Bibliografia

• [1] Liddle S.W., Model-Driven Software Development, Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling, Springer (2011), 17-54
• [2] Object Management Group, UML Profile for Schedulability, Performance, and Time Specification, version 1.1. (2005), http://www.omg.org/spec/SPTP/
• [3] Object Management Group, OMG Unified Modeling Language, www.omg.org/spec/UML/
• [4] Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. version 1.1. (2011), http://www.omg.org/spec/MARTE/
• [5] Rodrigues A.W.O.; Guyomarch F.; Dekeyser J.-L., An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL, Computing in Science & Engineering, 15 ( 2013), No 1, 46-55
• [6] Posadas H.; Peñil, P.; Nicolaas, A.; Villar E., System synthesis from UML/MARTE models: The PHARAON approach, Electronic System Level Synthesis Conference, (2013), 1-8
• [7] Morelli M., Di Natale M., An MDE approach for the design of platform-aware controls in performance-sensitive applications, Emerging Technology and Factory Automation, IEEE (2014), 1-8
• [8] Haiyang X., Zhuang Y., A formal transformation approach of MARTE model, 2nd Inter. Conf. on Information and Control Engineering, IEEE, (2015) 550-554
• [9] Zhang T. Jouault F,et al. MDE-Based Model Transformation: From MARTE Model to FIACRE Model, Journal of Software, 20 (2009), No.2, 214-233
• [10] Pilitowski R., Derezinska A., Code generation and execution framework for UML 2.0 classes and state machines, T. Sobh (eds.) Innovations and Advanced Techniques in Computer and Information Science and Engineering, Springer (2007), 421-427
• [11] FXU Framework for eXecutable UML , http://galera.ii.pw.edu.pl/~adr/FXU/
• [12] Dominguez E., Perez B., Rubio A.L., Zapata M.A, A systematic Review of Code Generation Proposals from State Machine Specifications, Information & Software Technology, 54 (2012), No. 10, 1045 – 1066
• [13] Richardson M.W., Designing a Home Alarm using the UML and implementing it using C++ and VxWorks, I-Logicx UK Ltd., http://www.uml.org.cn/oobject/vxworks.pdf
• [14] Graf S., Ober I., Ober I., A real-time profile for UML, International Journal on Software Tools for Technology Transfer, 8 (2006), No. 2, 113-127
• [15] Derezińska A., Szczykulski M., Tracing of state machine execution in model-driven development framework, Proc. of the 2nd International Conference on Information Technologies, ICIT'2010, IEEE Soc. (2010), 109-112