Review
PDF Zotero Mendeley EndNote BibTex Cite

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

Year 2021, Volume , Issue 25, 6 - 11, 31.08.2021
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.

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

Modeling Real-Time Embedded Systems with State Charts

Year 2021, Volume , Issue 25, 6 - 11, 31.08.2021
https://doi.org/10.31590/ejosat.884420

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.

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

Details

Primary Language Turkish
Subjects Engineering
Journal Section Articles
Authors

Sonay DUMAN (Primary Author)
TOROS ÜNİVERSİTESİ, MÜHENDİSLİK FAKÜLTESİ
0000-1111-2222-3333
Türkiye


Abdullah ELEWİ
MERSİN ÜNİVERSİTESİ, MÜHENDİSLİK FAKÜLTESİ
0000-0001-9774-5292
Türkiye


Fırat DUMAN This is me
İSKENDERUN TEKNİK ÜNİVERSİTESİ, İSKENDERUN MESLEK YÜKSEKOKULU
0000-0002-2412-9867
Türkiye

Publication Date August 31, 2021
Published in Issue Year 2021, Volume , Issue 25

Cite

Bibtex @review { ejosat884420, journal = {Avrupa Bilim ve Teknoloji Dergisi}, issn = {}, eissn = {2148-2683}, address = {}, publisher = {Osman SAĞDIÇ}, year = {2021}, volume = {}, pages = {6 - 11}, doi = {10.31590/ejosat.884420}, title = {Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi}, key = {cite}, author = {Duman, Sonay and Elewi, Abdullah and Duman, Fırat} }
APA Duman, S. , Elewi, A. & Duman, F. (2021). Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi . Avrupa Bilim ve Teknoloji Dergisi , (25) , 6-11 . DOI: 10.31590/ejosat.884420
MLA Duman, S. , Elewi, A. , Duman, F. "Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi" . Avrupa Bilim ve Teknoloji Dergisi (2021 ): 6-11 <https://dergipark.org.tr/en/pub/ejosat/issue/62595/884420>
Chicago Duman, S. , Elewi, A. , Duman, F. "Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi". Avrupa Bilim ve Teknoloji Dergisi (2021 ): 6-11
RIS TY - JOUR T1 - Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi AU - Sonay Duman , Abdullah Elewi , Fırat Duman Y1 - 2021 PY - 2021 N1 - doi: 10.31590/ejosat.884420 DO - 10.31590/ejosat.884420 T2 - Avrupa Bilim ve Teknoloji Dergisi JF - Journal JO - JOR SP - 6 EP - 11 VL - IS - 25 SN - -2148-2683 M3 - doi: 10.31590/ejosat.884420 UR - https://doi.org/10.31590/ejosat.884420 Y2 - 2021 ER -
EndNote %0 European Journal of Science and Technology Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi %A Sonay Duman , Abdullah Elewi , Fırat Duman %T Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi %D 2021 %J Avrupa Bilim ve Teknoloji Dergisi %P -2148-2683 %V %N 25 %R doi: 10.31590/ejosat.884420 %U 10.31590/ejosat.884420
ISNAD Duman, Sonay , Elewi, Abdullah , Duman, Fırat . "Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi". Avrupa Bilim ve Teknoloji Dergisi / 25 (August 2021): 6-11 . https://doi.org/10.31590/ejosat.884420
AMA Duman S. , Elewi A. , Duman F. Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi. EJOSAT. 2021; (25): 6-11.
Vancouver Duman S. , Elewi A. , Duman F. Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi. Avrupa Bilim ve Teknoloji Dergisi. 2021; (25): 6-11.
IEEE S. Duman , A. Elewi and F. Duman , "Gerçek Zamanlı Gömülü Sistemlerin Durum Diyagramları ile Modellenmesi", Avrupa Bilim ve Teknoloji Dergisi, no. 25, pp. 6-11, Aug. 2021, doi:10.31590/ejosat.884420