Show simple item record

dc.contributor.authorUzun, Bengisu
dc.contributor.authorAyav, Tolga
dc.contributor.authorDede, Mehmet İsmet Can
dc.contributor.authorBerker, Mustafa
dc.contributor.authorIşıkay, İlkay
dc.contributor.authorHanalioğlu, Şahin
dc.contributor.authorÖzdemirel, Barbaros
dc.contributor.authorKiper, Gökhan
dc.contributor.authorTatlıcıoğlu, Enver
dc.contributor.authorMaaroof, Omar W.
dc.contributor.authorIşıtman, Oğulcan
dc.contributor.authorAteş, Gizem
dc.contributor.authorYaşır, Abdullah
dc.date.accessioned2016-11-21T09:55:28Z
dc.date.available2016-11-21T09:55:28Z
dc.date.issued2016
dc.identifier.citationUzun, B., Ayav, T., Dede, M. İ. C., Berker, M., Işıkay, İ., Hanalioğlu, Ş., Özdemirel, B., Kiper, G., Tatlıcıoğlu, E., Maaroof, O. W., Işıtman, O., Ateş, G., ve Yaşır, A. (2016). Neuroboscope sisteminin model tabanlı sınaması. O. Parlaktuna ve C. Uyanık (Ed.), TOK'2016 Bildiriler Kitabı (s. 347-352) içinde. Eskişehir, Türkiye: Eskişehir Osmangazi Üniversitesi.en_US
dc.identifier.isbn978-605-9975-13-1
dc.identifier.urihttp://hdl.handle.net/11147/2480
dc.description.abstractNeuRoboScope 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.en_US
dc.description.abstractIn the NeuRoboScope project, it is aimed to design a safetycritical system that navigates the optical-camera system used in the endoscopic pituitary surgery by tracking the surgery tool that the surgeon uses. This study presents modeling the system upon the requirements and verification of this model, which allows to validate the system requirements before the design phase. Using UPPAAL model checking tool, the entire system is modeled as a network of timed automata and verified against the vital system properties, including particularly the safety critical ones.en_US
dc.description.sponsorshipTÜBİTAK Proje Numaraları: 115E725 ve 115E726en_US
dc.language.isoturen_US
dc.publisherEskişehir Osmangazi Üniversitesien_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectEndoskopik hipofiz cerrahisien_US
dc.subjectModel tabanlı sınamaen_US
dc.subjectAmeliyat robotuen_US
dc.titleNeuroboscope sisteminin model tabanlı sınamasıen_US
dc.title.alternativeModel based verification of neuroboscope systemen_US
dc.typeconferenceObjecten_US
dc.contributor.authorIDTR114453en_US
dc.contributor.authorIDTR26957en_US
dc.contributor.authorIDTR12663en_US
dc.contributor.authorIDTR199707en_US
dc.contributor.authorIDTR163486en_US
dc.contributor.authorIDTR131387en_US
dc.contributor.authorIDTR24470en_US
dc.contributor.authorIDTR123720en_US
dc.contributor.authorIDTR250129en_US
dc.contributor.iztechauthorUzun, Bengisu
dc.contributor.iztechauthorAyav, Tolga
dc.contributor.iztechauthorDede, Mehmet İsmet Can
dc.contributor.iztechauthorÖzdemirel, Barbaros
dc.contributor.iztechauthorKiper, Gökhan
dc.contributor.iztechauthorTatlıcıoğlu, Enver
dc.contributor.iztechauthorMaaroof, Omar W.
dc.contributor.iztechauthorIşıtman, Oğulcan
dc.contributor.iztechauthorAteş, Gizem
dc.contributor.iztechauthorYaşır, Abdullah
dc.relation.journalTOK'2016 Bildiriler Kitabıen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Makina Mühendisliği Bölümüen_US
dc.identifier.startpage347en_US
dc.identifier.endpage352en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record