A methodology for cross-resolution modeling in DEVS using EVENT-B refinement
DEVS için melez-çözünürlüklü modellemede EVENT-B arıtımı kullanan bir yöntembilimi
- Tez No: 355343
- Danışmanlar: DOÇ. DR. MEHMET HALİT SEYFULLAH OĞUZTÜZÜN, DR. MAHMUT NEDİM ALPDEMİR
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Melez-Çözünürlüklü Modelleme, Model Bile¸stirimi, DEVS, EventB, Bagla¸stırıcılar, Modelleme ve Benzetim, Ayrık olay benzetimi, Cross-Resolution Modeling, Model Composability, DEVS, Event-B, Connectors, Modeling and Simulation, Discrate event simulation
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Bölümü
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde benzetim uygulamalarında farklı çözünürlükteki modellerin biçimsel yöntemler yardımıyla bileştirimi konusunda bir yazılım mühendisliği çözümü sunulmaktadır. Çözümümüz varlıkların çözünürlüklerinin eşleştirilmesi için iyi tanımlı ardışık aşamalar ile çalıştırılabilir dönüştürücü elde eden düzenli bir yöntembilimi sunmaktadır, öyle ki varlıkların cinslerine ait öznitelikleri model arayüzleri ve eşleştirme tanımları ile takas edilmektedir. Yöntembilimimiz Event-B adındaki biçimsel tanımlama dili ve DEVS adındaki model bileştirme çerçevesini ile Event-B makineleri arasındaki arıtma ilişkilerine dayanarak modeller arasındaki veri dönüştürüm adımlarının doğrulanması ve üretilmesi, arıtma ilişkilerinin dönüştürümün tanımlanması ve doğrulanması için kullanılması ile Event-B makine tanımlarını kod üretiminde kullanarak iki modelin birbirine bağlanması için dönüştürücü kodu üretilmesine dayanmaktadır. Model bileştirimi için çözünürlük dönüştürücüleri, modelleme ve benzetim ortamında bağlaştırıcı örneklemi kullanılmasına giriş yapmaktadır. DEVS bağdaştırıcılarından elde ettiğimiz başarıları ayrıcinsten ortamlarda DEVS benzetim uygulamalarının bileşen tabanlı yazılım mühendisliği algısı içerisindeki bağlaştırıcıların yardımıyla geliştirilmesi için de kullandık. Bu çözüm bağlaştırıcıların atomik model olarak uygulanması ile veri cinsi ve zaman çözünürlüğü uyuşmazlıklarına arabuluculuk sunmaktadır. Atomik modellerin bağlaştırıcı olarak uygulanması Reo tarzı bağlaştırıcı bileştirimine olanak vererek benzetim üretiminde daha yüksek seviye yeniden kullanılabilirlik geliştirmektedir.
Özet (Çeviri)
This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and DEVS as the model composition framework; utilizes refinement relations between Event-B machines for specification, verification and generation of the data conversion steps between models, and employs a code generator that inputs Event-B machine definitions to generate converter code that connects two model ports. Resolution converters for model compositions allows an introduction to use of connector paradigm in modeling and simulation environment. We use our achievements in DEVS converters for implementing DEVS simulations in heterogeneous environments with the help of connectors in the sense of component based software engineering. This solution involves implementing connectors as atomic models to be used in mediation of data type and time resolution mismatches. Employing atomic models as connectors allows connector composition in the style of Reo and promotes higher level of reuse in simulation construction.
Benzer Tezler
- İstanbul boğazı'nda kritik dönüş manevralarının simülatör tabanlı risk analizi: Aframax tanker örneği
Simulator-based risk analysis of critical turning manoeuvres in the istanbul strait: A case study of an aframax tanker
ALPER AKSU
Yüksek Lisans
Türkçe
2025
Denizcilikİstanbul Teknik ÜniversitesiDeniz Ulaştırma İşletme Mühendisliği Ana Bilim Dalı
DOÇ. DR. YUNUS EMRE ŞENOL
- Makine öğrenmesi kullanarak Türkiye'de elektrikli araç şarj istasyonlarının potansiyel kullanım performansının mekânsal tahmini
Spatial estimation of potential utilization performance of electric vehicle charging stations in Türkiye using machine learning methods
SERKAN TANRIVERDİ
Yüksek Lisans
Türkçe
2025
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiGeomatik Mühendisliği Ana Bilim Dalı
DOÇ. DR. ADALET DERVİŞOĞLU
- Sosyo-ekolojik sistem olarak peyzaj değerlerinin su tabanlı ekosistemlerde irdelenmesi: Köyceğiz lagünü
Examination of landscape values as socio-ecological systems in aquatic ecosystems: The case of Koycegiz lagoon
ESRA TEKELİ
Doktora
Türkçe
2025
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
PROF. DR. FATMA AYÇİM TÜRER BAŞKAYA
- Kuyu içi (VSP) sismik verilerinin konvansiyonel olmayan yöntemlerle kömür aramacılığına yönelik entegre analizi
Integrated analysis of wellbore seismic data by unconventional methods for coal exploration
ALİ CANKURTARANLAR
Doktora
Türkçe
2024
Jeofizik Mühendisliğiİstanbul Teknik ÜniversitesiJeofizik Mühendisliği Ana Bilim Dalı
PROF. DR. MUSTAFA EMİN DEMİRBAĞ
- Radar uygulamalarında vivaldi anten tasarımı ve optimizasyonu
Vivaldi antenna design and optimization in radar applications
ERDEM BARLİK
Yüksek Lisans
Türkçe
2026
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesiİletişim Sistemleri Ana Bilim Dalı
DR. ÖĞR. ÜYESİ SEBAHATTİN EKER