Formel Metotlar Kullanılarak İzleme Sistemi Geliştirilmesi ve İzlenecek Metrik Gereksinimlerinin Veri Bazlı Sentezi

Date

2018-12-31

Author

Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

301
views

0
downloads

Formel metotlar, donanım ve yazılım sistemlerinin doğruluğunu ispatlamak için geliştirilmiştir. Formel doğrulamada, sistemin sonlu durum modeli kullanılarak, sistemin zamansal mantık formülü olarak ifade edilen gereksinimleri sağlayıp sağlamadığına karar verilir. Zamansal mantık dilleri konuşma dillerine benzerlikleri, anlatım zenginlikleri ve otomatik doğrulama yapılmasını sağlayan algoritmalar sayesinde diğer alanlarda da popüler olmuştur. Bu projede, nicel değerlendirmeye olanak sunun sinyal zamansal mantık dili kullanılarak, bir sistem izleme yapısı geliştirilecektir. Gözetlenecek olan sistemin önceden üretmiş olduğu izler değerlendirilerek, gözetlemede kullanılacak zamansal mantık formüllerinin otomatik üretilmesini sağlayacak metotlar geliştirilecektir. Ek olarak, nicel iz kontrolü sonuçlarına dayanarak, izlerin ‘normal’, ‘hatalı’, ‘uyarı’ gibi etiketlenmesini sağlayacak, formüller içindeki eşik değerleri üretilecektir. Gözetlenecek olan sistemin davranışlarını doğru bir şekilde sınıflandırabilmek için karmaşık özelliklerin tanımlanmasına ihtiyaç duyulması beklenmekte, ve yukarıda belirtildiği gibi bu özelliklerin otomatik olarak üretilmesi hedeflenmektedir. Uygulama sunucuları gibi yazılım sistemlerine odaklanılarak, basit parametrik formül yapıları tanımlanacak, ve sınıflandırmayı iyileştirecek şekilde bu formüllerin parametrelerini üretecek, ve bunları birbirleri ile birleştirilerek karmaşık formüller oluşturulabilmesini sağlayacak metotlar geliştirilecektir.

Subject Keywords

Biçimsel (Formal) Diller, Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme, Sembolik (Simgesel) Hesaplama, Yazılım Mühendisliği

URI

https://hdl.handle.net/11511/62104

Collections

Department of Computer Engineering, Project and Design

Suggestions

OpenMETU
Core

Development of a web-based manufacturing application system for rotational parts Özsüer, Erhan; Anlağan, Ömer; Department of Mechanical Engineering (2003) Developing process plans and part programs rapidly and correctly for CNC machine tools plays a vital role in manufacturing. This study is concerned with the development of a web-enabled virtual design and manufacturing application system for rotational parts. The object oriented methodology is used in the application development. Windows Distributed interNet Application (DNA) architecture which describes a framework of building software technologies in an integrated web and client-server model of computing,...
Formel Yaklaşımlar ile İzleme ve Sürüm Değerlendirme Sistemlerinin Geliştirilmesi Aydın Göl, Ebru(2020-07-01) Bu projede sistem izleme ve sürüm değerlendirmede kullanılan ölçütlerin formel dillerde ifade edilmesi ve bu ölçütlerin değerlendirme ve izleme sistemlerinin başarılarını en iyileştirecek şekilde otomatik olarak üretilmesi üzerine metotlar geliştirilmiştir. Geliştirilen metotlar ile etiketli sistem izlerini yüksek başarım ile tanımlayan sinyal zamansal mantık formülleri üretilmiştir. Bu formüllerden gerçek zamanlı olarak sistem izleme yapılmasını sağlayan çevrimiçi izleme algoritması geliştirilmiştir. ...
Yazılım Tasarım Ölçümleri İçin Bir Durum Çalışması Demirörs, Onur; Ungan, Erdir; Ungan, Erdir(2013-12-31) Proje yönetimi tekniklerinin etkin olarak uygulanması, yazılım projelerinin başarısını belirleyen birincil etmendir. Yazılım proje yönetiminin belli başlı alt etkinlik alanları proje planlama, proje takibi ve denetimi, ölçme ve değerlendirme, kaynak yönetimi ve risk yönetimidir. Bu etkinliklerin, sistematik yöntemlerle gerçekleştirilebilmesi için yazılım projelerinin nesnel ve nicel verilerle değerlendirilebilmesine ihtiyaç duyulur. Bu nedenle, birçok yazılım proje yönetim etkinliği yazılım büyüklük ölçüml...
Mantıksal Gösterimden Dil İfadesi Üretmenin Makina Öğrenimi Bozşahin, Hüseyin Cem; Öter, Firat(2018-12-31) Bu proje ile mantıksal bir gösterimden dil ifadesi türetimi çalışılacaktır. Bu çalışma için gerekli kuramsal temel yönetici tarafından geliştirilmektedir. Makina öğrenme ve modelleme teknikleri kullanılacaktır. Hem teorik hem teknolojik katkılar önerilmektedir.
Comparative study on explicit integration algorithms for structural dynamics Çakır, Dilara; Kurç, Özgür; Department of Civil Engineering (2022-8) Conventional explicit integration algorithms used to solve structural dynamic problems may require too small time increments to satisfy the stability requirements in the presence of high-frequency modes. The requirement to have a too small time increment can cause extending the solution time above the tolerable limit. In this study, three different explicit integration algorithms found in the literature are compared in terms of stability, accuracy, and run-time. The examined integration methods are a two-st...

Citation Formats

E. Aydın Göl, “Formel Metotlar Kullanılarak İzleme Sistemi Geliştirilmesi ve İzlenecek Metrik Gereksinimlerinin Veri Bazlı Sentezi,” 2018. Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/62104.