Tolga Ayav

Tolga Ayav
Izmir Institute of Technology · Department of Computer Engineering

Asst.Prof.Dr.

About

32
Publications
4,957
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
229
Citations

Publications

Publications (32)
Article
Full-text available
Cause–effect graphing is a well-known requirement-based and systematic testing method with a heuristic approach. Since it was introduced by Myers in 1979, there have not been any sufficiently comprehensive studies to generate test inputs from these graphs. However, there exist several methods for test input generation from Boolean expressions. Caus...
Article
Full-text available
Meeting performance expectations of tenants without sacrificing economic benefit is a tough challenge for cloud providers. We propose a data replication strategy to simultaneously satisfy both the performance and provider profit. Response time of database queries is estimated with the consideration of parallel execution. If the estimated response t...
Article
Endoscopic endonasal surgery is a commonly practiced minimally invasive neurosurgical operation for the treatment of a wide range of skull base pathologies including pituitary tumors. A common shortcoming of this surgery is the necessity of a third hand when the endoscope has to be handled to allow active use of both hands of the main surgeon. The...
Article
Full-text available
Cloud computing is a relatively recent computing paradigm that is often the answer for dealing with large amounts of data. Tenants expect the cloud providers to keep supplying an agreed upon quality of service, while cloud providers aim to increase profits as it is a key ingredient of any economic enterprise. In this paper, we propose a data replic...
Conference Paper
Full-text available
Bu bildiride ele alınan çalışmada endoskopik hipofiz cerrahisinde kullanılan optik-kamera sistemini, cerrahın anlık isteklerini takip ederek yönlendirilmesine izin verecek robotik sistem geliştirilmektedir. Cerrah kendisi ameliyat sahasında ameliyatı gerçekleştirirken robotu yönlendirmesi gerekmektedir. Bu gereksinim için geliştirilmekte olan özgün...
Article
Test case prioritization aims at scheduling test cases in an order that improves some performance goal. One performance goal is a measure of how quickly faults are detected. Such prioritization can be performed by exploiting the fault exposing potential (FEP) parameters associated to the test cases. The FEP is usually approximated by mutation analy...
Conference Paper
Neden-sonuç çizgeleri çok bilinen gereksinim tabanlı yazılım test yöntemlerinden biri olduğu halde Myers tarafından önerildiği 1979 yılından beri bu çizgelerden test girişleri üretilmesi konusunda yeterince kapsamlı çalışma yapılmamıştır. Bu bildiri, çizgelerin Boole ifadelerine dönüştürülmesini ve Boole ifadelerinin testi için önerilmiş olan MI,...
Conference Paper
Full-text available
In the NeuRoboScope project, it is aimed to design a safety-critical 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 requiremen...
Conference Paper
This paper proposes a method for moving switching functions to continuous domain. The benefits of this approach are twofold. First, the elementary calculus works with the transformed functions. Second, this transformation approach facilitates various analyses relying on Boolean algebra and other existing Boolean-based calculi like Boolean differenc...
Article
We increasingly rely on software-intensive embedded systems. Increasing size and complexity of these hardware / software systems makes it necessary to evaluate reliability at the system architecture level. One aspect of this evaluation is sensitivity analysis, which aims at identifying critical components of the architecture. These are the componen...
Article
Full-text available
In data grid systems, data replication aims to increase availability, fault tolerance, load balancing and scalability while reducing bandwidth consumption, and job execution time. Several classification schemes for data replication were proposed in the literature, (i) static vs. dynamic, (ii) centralized vs. decentralized, (iii) push vs. pull, and...
Article
This paper proposes a novel exact approach that relies on integer programming for association rule hiding. A large panorama of solutions exists for the complex problem of itemset hiding: from practical heuristic approaches to more accurate exact approaches. Exact approaches provide better solutions while suffering from the lack of performance and e...
Conference Paper
Cause-Effect Graph Testing is a popular technique used for almost four decades. Based on Boolean algebra, this technique assists deriving test cases from a given specification informally written in a natural language. The present paper suggests Boolean differentiation for formalizing this technique. The new approach is applied to an example, borrow...
Article
Fourier analysis of boolean functions has attracted great attention from computer scientists in the last decade but it still has few application areas. This work presents a Fourier analysis-based automatic test pattern generation method for combinational circuits.
Conference Paper
Full-text available
With the significant growth in the cloud-based systems, many industries give their attention to cloud computing solutions. E-learning is a promising application area since its typical requirements such as dynamically allocation of computation and storage resources, coincide well with cloud characteristics. This paper presents some possible cloud so...
Conference Paper
In this paper, we present an adaptive method for maximizing network bandwidth utilization for the real-time applications. RTP protocol is chosen as the transport protocol and the network utilization is provided by increasing and decreasing the transmission rate of the RTP traffic. Our method employs a PID controller that keeps the RTP packet loss f...
Article
Full-text available
VHDL programs are often tested by means of simulations, relying on test benches written intuitively. In this paper, we propose a formal approach to construct test benches from system specification. To consider the real-time properties of VHDL programs, we first transform them to timed automata and then perform model checking against the properties...
Conference Paper
Full-text available
This paper tackles the NP-complete problem of academic class scheduling (or timetabling). The aim is to find a feasible timetable for the department of computer engineering in Izmir Institute of Technology. The approach focuses on simulated annealing. We compare the performance of various neighborhood searching algorithms based on so-called simple...
Article
Real-Time systems began to gain more interest about twenty years ago. All domains got a lot attention from computer scientists and lots of techniques about their design and implementation were developed. However, the state of the art in today applications is still far from meeting the real- time requirements. In this paper, the fundamentals of real...
Article
Full-text available
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial fault-intolerant system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors connected by a reliable communication network. We transform the tasks such that, assuming the availability of an additional spare...
Conference Paper
Full-text available
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates on...
Conference Paper
Full-text available
This paper presents an optimal control scheme for a real- time feedback control rate-monotonic scheduling (FC-RMS) system. We consider two-version tasks composed of a mandatory and an optional part to be scheduled according to the FC-RMS. In FC-RMS, the con- troller provides a feedback strategy for deciding about the execution or rejection of the o...
Conference Paper
Full-text available
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times of the tasks. Feedback control algorithm handles the unestimated dynamic behaviors in the system and keeps the performance at a desired level. The approach of feedback co...
Article
Full-text available
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial fault-intolerant system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors connected by a reliable communication network. We transform the tasks such that, assuming the availability of an additional spare...

Network

Cited By

Projects

Projects (2)
Archived project
Pituitary is special liquor organ placed in between the visual nerves in the skull base. The NeuRoboScope project aims to develop a special robotic system which will be used to support the endoscopic pituitary surgery procedures that are performed to clear pathologies caused by the pituitary. The proposed system aims to enable the surgeon to operate three different operation tools (one of them is the endoscope) simultaneously. By this way, it is expected that the productivity of the surgical operation will be improved and the duration of the operation will be shortened. In proposed system, a main control unit that can be attached to any of the surgical tools that are used in the operation (other than the endoscope) will be developed to capture the motion of the surgeon's hand motion, to process the captured motion and to send it to the robot that handles the endoscope. In this way, the endoscope will be directed simultaneously by the surgeon throughout the operation while he/she is using the other surgical tools with his/her two hands.
Project
Music Inspired Harmony Search, 3-SAT, Boolean SAT Problem