Gömülü sistemler için model tabanlı yazılım ve tasarım aracı

Abstract

Yazılım projelerinde, iyi tanımlanmış gereksinimlerden ve mimari tasarımlardansatır bazında kod geliştirmek kolaydır. Bu durum, daha karmaşık, milyonlarca satırkod içeren sistemlerde bir ekip tarafından geliştirilebilir. Bu noktada tasarım vegereksinim arasındaki tutarlılık ön plana çıkmaktadır. Yapılacak olandeğişikliklerdeki herhangi bir yanlış anlama tasarımın değişmesine ve sonundakodun da binlerce satırında değişikliğine sebep olabilir. Bu değişim sırasındageliştirici, doğru olan satırlarda da yanlışlıkla değişiklik yapabilir. Yapılacak olandeğişiklik, değişiklik gerektirmeyen yerlere de etkisi sonucunda beklenmeyenhatalara sebep olabilir ve testlerde bu hatanın farkına varılamayabilir. Sonuçta,bütün bu durumlar, üretilecek olan yazılımın maliyetini beklenene göre daha fazlaarttırmaktadır. Bu tip karmaşaların önüne geçmek ve maliyeti düşürebilmekamacıyla yazılım sektöründe çeşitli yazılım araçları geliştirilmiştir. Tasarımı dahakolay ifade etmek ve yazılımla eşleştirmek bu problem için bir çözüm olabilir, ancaksistemin büyüklüğü ve birçok alt sistemler mevcut ise bu araçlar bazı noktalardayetersiz kalabilmektedir.Bu tez kapsamında, belirtilmiş olan problemlere çözüm bulabilmek için yeni birmodel dili ve bu dili şekillendiren model tabanlı yazılım geliştirme ana çatısıgeliştirilmiştir. Bu ana çatıda, bu tür yapılmış çalışmalarda olmayan grafiksel ifadeedilmiş hem grafik ara yüzü hem de mantıksal modellerden, belirlenmiş olanprogramlama diline özgü kod üretim işlemi gerçekleştirilmektedir. Üretilen bu kodile birlikte bu yöntemle uçuş ekranları tasarımının geliştirilmesi açısından büyükkolaylıklar sağlayacaktır. Geliştiriciler için sadece gereksinim ve tasarım arasındakitutarlılık ön plandadır ve bu şekilde herhangi bir tasarım değişikliğinden kaynaklıkodlamada yapılacak olan hataların önüne geçilmiş olacaktır.

Developing manual codes in compliance with well-defined requirements andarchitectural design is an easy task as software projects. For complex systems, abillion lines of code can even be developed by teams. At this point, the requirementand design consistency become crucial. Even little misunderstandings in theamendments to be made leads to change in design and eventually resulting inchanges thousands of lines of code. During the operation of changes, the developermay accidentally modify correct lines. Amendments to be made, the places that donot require changes as a result of the impact may cause unexpected errors andthese errors may not be detected during the tests. After all, the cost of the softwareto be produced shall be higher than expected. To avoid this type of complexities andin order to reduce the cost of software, various software tools have been developedin software industry. More understandable and easier expression of design andreasonable matching of this design to the software can be a good solution to theproblem; however in the case that the system size is large and various sub-systemsexist, these tools may fail to satisfy requirements adequately.In this thesis, to find solutions to the problems described, a new model languageand the model-based software development framework for this language have beendeveloped. At this framework, the code generation process has been executed tomodel specified programming language from the models expressed graphically. Fordevelopers only, the consistency between requirements and design is at theforefront, and arising from any design changes to be made in coding errors will beprevented accordingly.