Sciweavers

253 search results - page 27 / 51
» Using Fault Modeling in Safety Cases
Sort
View
FORMATS
2004
Springer
14 years 1 months ago
A Unified Fault-Tolerance Protocol
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Mad...
JSS
2008
122views more  JSS 2008»
13 years 8 months ago
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
CASES
2008
ACM
13 years 12 months ago
A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
Chengmo Yang, Alex Orailoglu
ICRA
2005
IEEE
155views Robotics» more  ICRA 2005»
14 years 3 months ago
Fault-Tolerant Behavior-Based Motion Control for Offroad Navigation
— Many tasks examined for robotic application like rescue missions or humanitarian demining require a robotic vehicle to navigate in unstructured natural terrain. This paper intr...
Martin Proetzsch, Tobias Luksch, Karsten Berns
MR
2007
143views Robotics» more  MR 2007»
13 years 9 months ago
Life cycle cost impact of using prognostic health management (PHM) for helicopter avionics
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
E. Scanff, K. L. Feldman, S. Ghelam, Peter Sandbor...