Kesikli güçle çalışan cihazlar için hızlı ve hatasız program geliştirme
Fast and bug-free application development for intermittently-powered devices
- Tez No: 632486
- Danışmanlar: DOÇ. DR. KASIM SİNAN YILDIRIM
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2020
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 75
Özet
Pilsiz cihazlar, çevresel ortamda bulunan enerji kaynaklarından enerji hasadı yaparak nesnelerin interneti (IoT) için bağımsız ve sürdürülebilir uygulamalar sağlamaktadır. Bu tür cihazlar depolanan enerji miktarı yeterli seviyeye ulaştığında hesaplama, algılama ve iletişim yaparken; enerji tamamen bittiğinde aniden ölürler. İşleme ve ölme döngüleri ile devam eden bu işleyiş biçimi kesikli işleyiş olarak adlandırılır. Kesikli işleyiş ile çalışan uygulamaların geliştirilmesi ve gerçekleştirimi için görev tabanlı bir programlama modeli kullanmak gerekmektedir. Fakat var olan görev tabanlı kesikli işleyiş ile çalışan uygulamalar, bu uygulamaları işletecek çalışma zamanı ortamlarına bağımlıdır. Bu bağımlılık nedeniyle uygulamaların hedef platforma yüklenmeden hatalarının ayıklanması ve test edilebilmesi zor olmaktadır. Tez kapsamında, görev tabanlı ve kesikli çalışan uygulamaların geliştirilmesini sağlayan bir alana özel dil olan TaskDSL tasarlanmıştır. Mühendislerin TaskDSL dilini kullanarak uygulama geliştirmelerine ve bu uygulamaların hatalarını genel amaçlı bir bilgisayar üzerinde ayıklamalarına olanak sağlayan Taskify aracı geliştirilmiştir. Taskify otomatik olarak hedef çalıştırma ortamına bağlanabilecek ve hedef platforma yüklenebilecek C programı da üretmektedir. Taskify bir Eclipse eklentisi olarak gerçeklenmiştir ve kesikli işleyiş ile çalışan üç uygulama ile değerlendirilmiştir.
Özet (Çeviri)
Battery-less embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable applications for the Internet of Things. These devices perform computation, sensing and communication when the harvested ambient energy in their energy reservoir is sufficient; they die abruptly when the energy is completely drained out. This kind of operation, the so-called intermittent execution, dictates a task-based programming model for the development and implementation of intermittent applications. However, today's task-based intermittent programs are tightly-coupled to the underlying run-time environments. This makes their debugging and testing difficult before deploying them into the target platform. In order to overcome this difficulty, this thesis introduces Taskify, a tool that enables engineers to develop and debug task-based intermittent programs in TaskDSL, i.e., a domain specific language that has been designed for the development of intermittent programs on any general-purpose computer. Taskify automatically transforms these programs into C programs that can be linked to the underlying run-time environment and deployed into the target platform. Taskify is implemented as an Eclipse plugin. It has been evaluated on three intermittent applications.
Benzer Tezler
- Kesikli güce sahip sistemlerin geliştirilmesi için bir programlama dili ve sanal makinesi
A programming language and virtual machine for developing intermittently powered systems
ÇAĞLAR DURMAZ
Doktora
Türkçe
2022
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiUluslararası Bilgisayar Ana Bilim Dalı
DOÇ. DR. GEYLANİ KARDAŞ
DOÇ. DR. KASIM SİNAN YILDIRIM
- Investigation of elevated process temperature on nitrification efficiency in leachate MBR plant using simulation tools
Simülasyon araçları kullanarak sızıntı suyu MBR tesisinde yüksek proses sıcaklığının nitrifikasyon verimliliği üzerindeki etkisinin araştırılması
SERAP TÜRK
Yüksek Lisans
İngilizce
2024
Çevre Mühendisliğiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
PROF. DR. HAYRETTİN GÜÇLÜ İNSEL
- Effect of high process temperature on carbon and nutrient removal mechanisms in activated sludge system
Aktif çamur sistemlerinde yüksek proses sıcaklığının karbon ve besi maddesi giderim mekanizmaları üzerine etkisi
NİLAY SAYI UÇAR
Doktora
İngilizce
2017
Biyoteknolojiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
PROF. DR. HAYRETTİN GÜÇLÜ İNSEL
- Hybrid meta-heuristic approaches for single and multi-objective buffer allocation problems in manufacturing systems
Üretim sistemlerinde tek ve çok amaçlı ara stok yerleştirme problemleri için hibrid meta-sezgisel yaklaşımlar
SİMGE YELKENCİ KÖSE
Doktora
İngilizce
2016
Endüstri ve Endüstri MühendisliğiDokuz Eylül ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÖZCAN KILINÇCI
- Bazı polimerik sorbentlerin toksik metaller ile sorpsiyon, iyon değiştirme ve şelatlaşma özelliklerinin incelenmesi
Investigation of sorption, ion exchange and chelation properties of some polymeric sorbents with toxic metals
GÜLŞİN ARSLAN