#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2001

2017

- This year (1)
- Last 5 years (14)
- Last 10 years (18)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Tolga Ayav, Pascal Fradet, Alain Girault
- ACM Trans. Embedded Comput. Syst.
- 2008

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… (More)

- Uras Tos, Tolga Ayav
- 2011 IEEE 35th Annual Computer Software and…
- 2011

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 fraction… (More)

- Tolga Ayav, Alain Girault
- 2007

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… (More)

- Tolga Ayav, Pascal Fradet, Alain Girault
- EMSOFT
- 2006

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 one failure… (More)

- Engin Leloglu, Tolga Ayav, Burak Galip Aslan
- 2013 43rd Annual IEEE/IFIP International…
- 2013

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 solutions… (More)

- Tolga Ayav
- UYMS
- 2015

Özet. Bu çal 3ma de§i3tirilmi3 ko3ul/karar kapsama stratejisince türetilmi3 test giri3lerinin önceliklendirilmesi için bir teknik sunmaktad r. Teknik Fourier analizine dayanmaktad r ve testlerin hata ortaya ç karma potansiyellerine göre s ralanabilmesini hede emektedir. Bu sayede yaz l m n yüksek öncelikli testlerden ba3layarak dü3ü§e do§ru s nanmas veya… (More)

- Tolga Ayav, Fevzi Belli
- 2015 IEEE International Conference on Software…
- 2015

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, borrowed from… (More)

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… (More)

- Tolga Ayav, Tugkan Tuglular, Fevzi Belli
- 2010 Fourth International Conference on Secure…
- 2010

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… (More)

- Uras Tos, Riad Mokadem, Abdelkader Hameurlain, Tolga Ayav, Sebnem Bora
- The Journal of Supercomputing
- 2015

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 (iv)… (More)