Sciweavers

171 search results - page 4 / 35
» On Rigorous Design and Implementation of Fault Tolerant Ambi...
Sort
View
SRDS
2000
IEEE
13 years 10 months ago
Implementing a Reflective Fault-Tolerant CORBA System
The use of reflection becomes today popular for the implementation of non-functional mechanisms such as for fault-tolerance. The main benefits of reflection are separation of conc...
Marc-Olivier Killijian, Jean-Charles Fabre
ASWSD
2004
Springer
13 years 11 months ago
On the Fault Hypothesis for a Safety-Critical Real-Time System
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
Hermann Kopetz
IEEEARES
2007
IEEE
14 years 2 days ago
Implementing Network Partition-Aware Fault-Tolerant CORBA Systems
— The current standard for Fault-Tolerance in the Common Object Request Broker Architecture (CORBA) does not support network partitioning. However, distributed systems, and those...
Stefan Beyer, Francesc D. Muñoz-Escoí...
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
14 years 3 days ago
Fault Injection and Simulation for Fault Tolerant Reconfigurable Duplex System
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
Pavel Kubalík, Jirí Kvasnicka, Hana ...
ICFEM
2010
Springer
13 years 4 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio