Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi

Year 2021, Issue: 25, 6 - 11, 31.08.2021

Sonay Duman , Abdullah Elewi , Fırat Duman

https://doi.org/10.31590/ejosat.884420

Abstract

Gömülü gerçek zamanlı sistemler, Birleşik Modelleme Dili’nin en başarılı uygulama alanlarından biridir. Durum diyagramları davranış modellemesi için kullanılan Birleşik Modelleme Dili tekniklerinden biridir. Durum diyagramları bir sistemdeki kontrolü ve sıralamayı modellemek için kullanılır. Bu özellikle, büyük ölçüde duruma bağlı olan gerçek zamanlı gömülü sistemler için önemlidir. Duruma bağlı olarak çalışan sistemlerin anlık eylemleri yalnızca sistem girdisine değil aynı zamanda sistemde daha önce ne olduğuna da bağlıdır. Bu sebeple, her durumun önem taşıdığı gerçek zamanlı gömülü sistemleri durum diyagramları ile modellemek daha doğru sonuçlara ulaşmak açısından önem taşımaktadır. Bu çalışmada, gerçek zamanlı gömülü sistemlerin modellenmesi için durum diyagramlarının kullanımı ve çeşitleri kod-diyagram dönüşümlü örnekler üzerinde açıklanarak incelenmiştir.

Keywords

gerçek zamanlı, gömülü sistemler, durum diyagramı, SCXML, UML

Modeling Real-Time Embedded Systems with State Charts

Abstract

Embedded real-time systems are one of the most successful application areas of Unified Modeling Language. State diagrams are one of the Unified Modeling Language techniques used for behavior modeling. State machines are used to model the controlling and sequencing of a system. This is especially important for real-time embedded systems that are highly state-dependent. The instantaneous actions of state-based systems depend not only on system input but also on what happened before in the system. For this reason, it is important to model real-time embedded systems with state machines in order to achieve more accurate results. In this study, the use and types of state machines for modeling real-time embedded systems are examined by explaining code-diagram alternating examples.

Keywords

real time, embedded systems, statechart, SCXML, UML

References

• Bernstein, L., ve Yuhas, C. M. (2005). Trustworthy systems through quantitative software engineering (Vol. 1). John Wiley & Sons.
• Chan, C. W. (2003). Knowledge and software modeling using UML. Software and Systems Modeling, -1(1), 1-1. doi:10.1007/s10270-004-0057-y
• Douglass, B. P. (1999). Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns (Vol. 1). Addison-Wesley Professional.
• Gomaa, H. (2006, May). Designing concurrent, distributed, and real-time applications with UML. In Proceedings of the 28th international conference on Software engineering (pp. 1059-1060).
• Gomaa, H. (2011). Software modeling and design: UML, use cases, patterns, and software architectures. Cambridge University Press.
• Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of computer programming, 8(3), 231-274.
• Harel, D., & Politi, M. (1998). Modeling reactive systems with statecharts: The statemate approach. New York: McGraw-Hill.
• Huang, D., & Sarjoughian, H. (2004). Software and simulation modeling for real-time software-intensive systems. Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications. doi:10.1109/ds-rt.2004.37
• Kabous, L., & Nebel, W. (1999, October). Modeling hard real time systems with uml the ooharts approach. In International Conference on the Unified Modeling Language (pp. 339-355). Springer, Berlin, Heidelberg.
• Kähkipuro, P. (1999, October). UML based performance modeling framework for object-oriented distributed systems. In International Conference on the Unified Modeling Language (pp. 356-371). Springer, Berlin, Heidelberg.
• Lanusse, A., Gérard, S., & Terrier, F. (1998, June). Real-time modeling with UML: The ACCORD approach. In International Conference on the Unified Modeling Language (pp. 319-335). Springer, Berlin, Heidelberg.
• OMG (n.d.). RFP for scheduling, performance, and time. (n.d.). Retrieved February 15, 2021, from https://www.omg.org/spec/UML/About-UML/
• OMG (n.d.). UML profile for schedulability, performance, and time specification.Retrieved February 15, 2021, from https://www.omg.org/spec/UML/About-UML/
• OMG (n.d.). Unified modeling language specification (version 2.5.1). Retrieved February 15, 2021, from https://www.omg.org/spec/UML/About-UML/
• Radomski, S., Schnelle-Walka, D., & Radeck-Arneth, S. (2013, August). A prolog datamodel for state chart XML. In Proceedings of the SIGDIAL 2013 Conference (pp. 127-131).
• Selic, B. (1999). Turning clockwise: using UML in the real-time domain. Communications of the ACM, 42(10), 46-54.
• Selic, B. (2000). A generic framework for modeling resources with UML. Computer, 33(6), 64-69.
• Selic, B., & Motus, L. (2003). Using models in real-time software design. IEEE Control Systems Magazine, 23(3), 31-42.
• Tomaszewski, P. (n.d.). Real-time systems modelling using UML. Retrieved February 15, 2021, from https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.109.3394&rep=rep1&type=pdf
• W3C (n.d.). State chart Xml (scxml): State Machine notation for control abstraction. Retrieved February 15, 2021, from http://www.w3.org/TR/scxml