Computer Engineering / Bilgisayar Mühendisliği
Permanent URI for this collectionhttps://hdl.handle.net/11147/10
Browse
Search Results
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 EngineeringNeuRoboScope 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.