Abdullah ELEWI, Sonay DUMAN, Fırat DUMAN

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

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ü vesı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ğunada bağlıdır. Bu sebeple, her durumun önem taşıdığı gerçek zamanlı gömülü sistemleri durum diyagramları ile modellemek daha doğrusonuçlara ulaşmak açısından önem taşımaktadır. Bu çalışmada, gerçek zamanlı gömülü sistemlerin modellenmesi için durumdiyagramlarının kullanımı ve çeşitleri kod-diyagram dönüşümlü örnekler üzerinde açıklanarak incelenmiştir.

Modeling Real-Time Embedded Systems with State Charts

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

PDF

___

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: McGrawHill.
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.1 09.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