Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

2008 - 200912010 - 20161

Settings

Language: search.filters.language.trPublisher: search.filters.publisher.Otomatik Kontrol Türk Milli Komitesi

Search Results

Now showing 1 - 2 of 2
  • Conference Object
    Fpga ile Gerçeklenen Devrelerde Hataya Dayanıklılık
    (Otomatik Kontrol Türk Milli Komitesi, 2008) Ayav, Tolga; Toker, Kadir Atilla; Ayav, Tolga; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
    Hataya dayanıklılık (Fault-Tolerance) özellikle güvenliğin önemli olduğu kritik uygulamalarda ve kontrol sistemlerinde büyük önem taşımaktadır. Bu çalışmada FPGA ile gerçeklenen devrelerin otomatik olarak aksaklığa dayanıklı hale dönüştürülmesi için geliştirilen bir teknik sunulmaktadır. VHDL dilinde yazılmış olan devre kodu, göreceli kısa bir dönüşüm betiği ile otomatik olarak hataya dayanıklı hale getirilmektedir. Önerilen metot, FPGA üzerinde gerçeklenmiş bir sonsuz darbe cevaplı (IIR) süzgeç ile sınanarak benzetim sonuçları verilmekte, kullanılan tekniğin basitliği ve buna karşın önemi ve etkinliği sunulmaktadır.
  • Conference Object
    Neuroboscope Sisteminin Model Tabanlı Sınaması
    (Otomatik Kontrol Türk Milli Komitesi, 2016) Uzun, Bengisu; Ayav, Tolga; Ayav, Tolga; Berker, Mustafa; Işıkay, İlkay; Özdemirel, Barbaros; Özdemirel, Barbaros; Kiper, Gökhan; Işıtman, Oğulcan; Maaroof, Omar W.; Kiper, Gökhan; Ateş, Gizem; Tatlıcıoğlu, Enver; Dede, Mehmet İsmet Can; 03.05. Department of Electrical and Electronics Engineering; 01. Izmir Institute of Technology; 03.04. Department of Computer Engineering; 03.10. Department of Mechanical Engineering; 03. Faculty of Engineering
    NeuRoboScope projesinde, endoskopik hipofiz cerrahisinde kullanılan optik-kamera sisteminin, cerrahın kullandığı cerrahi aletleri takip ederek yönlendirilmesini amaçlayan emniyet kritik bir sistemin tasarlanması amaçlanmıştır. Bu bildiri, sistem gereksinimleri üzerinden tüm sistemin modellenmesini ve oluşturulan bu modelin sınanmasını ele almaktadır. Böylece, tasarım evresinden önce tasarımın dayanağı olan sistem gereksinimlerinin doğrulanması hedeflenmiştir. Sistem bir zamanlı otomat ağı olarak modellenmiş ve UPPAAL model sınama aracı kullanılarak, sistemin başta emniyet kritik olmak üzere diğer önemli özellikleri sınanmıştır.