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)
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)
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)
Anahtar Kelimeler: Yazlm testi, neden-sonuç çizgesi, modele dayal test, mutasyon test analizi. Abstract. Cause-eect graphing is a well-known requirement based testing technique. However, since it was introduced by Myers in 1979, there seems not to have been any suciently comprehensive studies to generate test cases from these graphs. This paper proposes to… (More)
1 FAA'nn onaylam³ oldu §u DO-178C Software Considerations in Airborne Systems and Equipment Certication standard en kritik olan A seviyesi yazlmlarn kap-sama analizi için MCDC'yi kullanmaktadr.