Computer Engineering / Bilgisayar Mühendisliği

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

Browse

Filters

20161

Settings

Institution Author: search.filters.institutionAuthor.Kiper, GökhanPublisher: search.filters.publisher.Otomatik Kontrol Türk Milli Komitesi

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Neuroboscope Sisteminin Model Tabanlı Sınaması
    (Otomatik Kontrol Türk Milli Komitesi, 2016) Uzun, Bengisu; Ayav, Tolga; Dede, Mehmet İsmet Can; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin; Özdemirel, Barbaros; Kiper, Gökhan; Tatlıcıoğlu, Enver; Maaroof, Omar W.; Işıtman, Oğulcan; Ateş, Gizem; Yaşır, Abdullah
    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.