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, Cross-Resolution Modeling, Model Composability, DEVS, Event-B, Connectors, Modeling and 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ı: 120
Ö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
- Saçılmış yüzey dalgalarının sismik interferometrisi ile saçıcı konumunun belirlenmesi.
Estimating the location of the scatterer by seismic interferometry of scattered surface waves.
UTKU HARMANKAYA
Yüksek Lisans
Türkçe
2012
Jeofizik Mühendisliğiİstanbul Teknik ÜniversitesiJeofizik Mühendisliği Ana Bilim Dalı
DOÇ. DR. AYŞE KAŞLILAR
- 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Ğ
- Molecular modelling of GABA-AT reactivity: From small representative models to the full protein, from molecular mechanics to quantum chemistry, from static to dynamics
GABA-AT reaktivitesinin moleküler modellemesi: Küçük temsili modellerden tüm proteine, moleküler mekanikten kuantum kimyasına, statikten dinamiğe
HATİCE GÖKCAN
Doktora
İngilizce
2016
Biyokimyaİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
DOÇ. DR. FETHİYE AYLİN SUNGUR
PROF. DR. GERALD MONARD
- Sakarya Havzası'nın yüksek çözünürlüklü hidrolojik modelinin yapılandırılması
Structuring the high resolution hydrological model of Sakarya Basin
SALİM YAYKIRAN
Yüksek Lisans
Türkçe
2016
Çevre Mühendisliğiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
DOÇ. DR. ALPASLAN EKDAL
- Condition monitoring and fault detection for electrical power systems using signal processing and machine learning techniques
Sı̇nyal ı̇şleme ve makı̇ne öğrenme teknı̇klerı̇ kullanılarak elektrı̇k güç sı̇stemleri ı̇çı̇n durum ı̇zleme ve arıza belirleme
YASMIN NASSER MOHAMED
Doktora
İngilizce
2024
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
PROF. DR. ŞAHİN SERHAT ŞEKER