Sciweavers

267 search results - page 2 / 54
» Self-Adaptation of Fault Tolerance Requirements Using Contra...
Sort
View
IEEEARES
2006
IEEE
13 years 11 months ago
E-voting: Dependability Requirements and Design for Dependability
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, L...
ATAL
2009
Springer
13 years 12 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
ICRE
1998
IEEE
13 years 9 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
SAC
2011
ACM
12 years 8 months ago
Fault tolerance evaluation and schedulability analysis
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
Florian Many, David Doose
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
13 years 9 months ago
Mapping Tasks into Fault Tolerant Manipulators
The application of robots in critical missions in hazardous environments requires the development of reliable or fault tolerant manipulators. In this paper, we define fault tolera...
Christiaan J. J. Paredis, Pradeep K. Khosla