Filters








3,116 Hits in 8.6 sec

Interaction Faults Caused by Third-Party External Systems — A Case Study and Challenges [chapter]

Bogdan Tomoyuki Nassu, Takashi Nanya
2008 Lecture Notes in Computer Science  
Interaction faults caused by a flawed external system designed by a third party are a major issue faced by interconnected systems.  ...  That includes a detailed insight on important concepts, such as implicit redundancies. With this, we lay down the foundations for a wide range of future work.  ...  Given those problems, approaches for automatically locating implicit redundancies, based on examples of communications, are highly desirable.  ... 
doi:10.1007/978-3-540-68129-8_7 fatcat:zz5ronpsorf6racojvwpyh7r3q

A Model to Design and Verify Context-Aware Adaptive Service Composition

Javier Cubo, Michele Sama, Franco Raimondi, David Rosenblum
2009 2009 IEEE International Conference on Services Computing  
This work was supported in part by the projects TIN2008-05932 funded by the Spanish Ministry of Science and Innovation, and P06-TIC-02250 funded by the Andalusian Government, as well as the UK Engineering  ...  We gratefully acknowledge the insights provided for this work by Sebastian Elbaum and Sonia Ben Mokhtar.  ...  While the classes of inconsistencies they that detect are characteristic of requirements spec-ifications, the fault patterns that we detect are characteristic of service composition with contextual info  ... 
doi:10.1109/scc.2009.61 dblp:conf/IEEEscc/CuboSRR09 fatcat:56rxpuuvdbccvkoutucdwqey2i

IRON file systems

Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2005 Proceedings of the twentieth ACM symposium on Operating systems principles - SOSP '05  
We suggest a new fractured failure model for disks, which incorporates realistic localized faults such as latent sector errors and block corruption.  ...  We classify their failure policies in a new taxonomy that measures their Internal RObustNess (IRON), which includes both failure detection and recovery techniques.  ...  We believe that more effort should be placed into developing automatic repair strategies. • Detection and Recovery: Redundancy is not used.  ... 
doi:10.1145/1095810.1095830 dblp:conf/sosp/PrabhakaranBAGAA05 fatcat:k4inx3x2b5cl3pcwvylh2pcv4m

IRON file systems

Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2005 ACM SIGOPS Operating Systems Review  
We suggest a new fractured failure model for disks, which incorporates realistic localized faults such as latent sector errors and block corruption.  ...  We classify their failure policies in a new taxonomy that measures their Internal RObustNess (IRON), which includes both failure detection and recovery techniques.  ...  We believe that more effort should be placed into developing automatic repair strategies. • Detection and Recovery: Redundancy is not used.  ... 
doi:10.1145/1095809.1095830 fatcat:rnk44y7qyzfy3bqraujlsnlt3e

*-Box: Towards Reliability and Consistency in Dropbox-like File Synchronization Services

Yupu Zhang, Chris Dragga, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2013 USENIX Workshop on Hot Topics in Storage and File Systems  
We propose techniques to prevent and recover from these problems by reducing the separation between local file systems and synchronization clients, providing clients with deeper knowledge of file system  ...  In this paper, we show that these services can silently propagate both local data corruption and the results of inconsistent crash recovery, and cannot guarantee that the data they store reflects the actual  ...  This material is based upon work supported by the National Science Foundation (NSF) under CCF-0811657 and CNS-0834392 as well as generous donations from EMC, Facebook, Fusion-io, Google, Huawei, Microsoft  ... 
dblp:conf/hotstorage/ZhangDAA13 fatcat:obowi57wwbcubjdboihk32bfci

Resilience Design Patterns - A Structured Approach to Resilience at Extreme Scale (version 1.0) [article]

Saurabh Hukerikar, Christian Engelmann
2016 arXiv   pre-print
We identify the commonly occurring problems and solutions used to deal with faults, errors and failures in HPC systems.  ...  The framework may be used to establish mechanisms and interfaces to coordinate flexible fault management across hardware and software components.  ...  fault. • Soft: An error caused by a transient or intermittent fault.  ... 
arXiv:1611.02717v2 fatcat:sumkgkwokzaonemt6oxnyxysra

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
2019 IEEE Access  
This paper summarizes state-of-the-art of existing work on anomaly detection, fault-tolerance and self-healing, and adds a number of other methods applicable to achieve resilience in an IoT.  ...  Finally, this framework is illustrated on a selected use case: A smart sensor infrastructure in the transport domain.  ...  c: AGREEMENT/VOTING OR FUSION Byzantine failures (inconsistent failures to different observers) typically caused by malicious attacks can be detected and tolerated using replicas (here: redundant services  ... 
doi:10.1109/access.2019.2891969 fatcat:hb77c2cenfhlpbtpnjql5umh6a

Improving Robustness of Mobile Robots Using Model-based Reasoning

Michael Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa
2006 Journal of Intelligent and Robotic Systems  
In case of a detected fault, e.g., a broken motor, the system automatically re-configures the robot in order to still allow it to reach a certain position.  ...  The novelty of the framework is that the same hardware model is used for diagnosis and re-configuration.  ...  This means that the control system was able to detect and locate the fault in the hardware.  ... 
doi:10.1007/s10846-006-9102-0 fatcat:fjymurxy2ze6lccbf2brfomiw4

Fault Diagnosis Methods in Dynamic Systems: A Review

R. S. Sharma, L. Dewan, S. Chatterji
2015 International Journal of Electronics and Electrical Engineering  
This paper reviews the basic concepts starting from its infancy onto the mature facets involved in fault diagnosis.   ...  This paper reviews the contemporary approaches adopted for the diagnosis of faults in dynamic systems. It also takes into account the limitations of the age-old techniques like limit checking.  ...  Whereas fault detection helps to recognize that a fault has happened, fault diagnosis facilitates finding the cause, nature and location of fault.  ... 
doi:10.12720/ijeee.3.6.465-471 fatcat:tqbdc2lcpbborjs643v3im6hfm

Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure

Y. Papadopoulos, J. McDermid, R. Sasse, G. Heiner
2001 Reliability Engineering & System Safety  
In this paper, we present the method and discuss its application on a prototypical distributed brake-by-wire system for cars.  ...  It also introduces an algorithm for the synthesis of fault trees, which mechanises and simplifies a large and traditionally problematic part of the assessment, the development of fault trees.  ...  In the absence of a power signal, for example, the component may automatically switch to a redundant power supply. 4 Similarly, it may replace a detected invalid input value with a correct default value  ... 
doi:10.1016/s0951-8320(00)00076-4 fatcat:g775ank26vagjcuxe7ltovoaou

Diagnosis in industrial processes

John William Vásquez Capacho
2018 Visión electrónica  
The article continues to identify aspects such as reliability, risk analysis, fault diagnosis techniques and industrial control and safety systems in processes.  ...  Then compiled and summarized the different techniques and models of fault diagnosis concluding with a presentation of control and safety systems in an industrial process  ...  The model-based methods, like parity or space-based approaches observers [6] , used a mathematical model of the plant to explore the implicit analytical redundancy relations model to monitor inconsistencies  ... 
doi:10.14483/22484728.14621 fatcat:zmap7oxsrbgsre5k6bvg7tsn7y

Understanding Differences among Executions with Variational Traces [article]

Jens Meinicke, Chu-Pan Wong, Christian Kästner, Gunter Saake
2018 arXiv   pre-print
This becomes especially difficult if the fault is caused by an interaction of multiple inputs.  ...  To debug such interaction faults, it is necessary to understand the individual effect of the input, how these inputs interact and how these interactions cause the fault.  ...  However, if a fault is not caused by an interaction, but simply because certain code is executed, then we can only report the context and location of the fault but not necessarily its cause.  ... 
arXiv:1807.03837v1 fatcat:hsb52mw4njc23omgm4ccbxarjy

Systematic Structural Testing of Firewall Policies

JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
2012 IEEE Transactions on Network and Service Management  
Generally, our experimental results show that a packet set with higher structural coverage has higher fault-detection capability (i.e., detecting more injected faults).  ...  We have conducted an experiment on a set of real policies and a set of faulty policies to detect faults with generated packet sets.  ...  are effective to detect faults caused by the change of the boundary value of a clause over other packet sets.  ... 
doi:10.1109/tnsm.2012.012012.100092 fatcat:gcanwwjasvf2phtngxpqfb73bm

Systematic Structural Testing of Firewall Policies

JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
2008 2008 Symposium on Reliable Distributed Systems  
Generally, our experimental results show that a packet set with higher structural coverage has higher fault-detection capability (i.e., detecting more injected faults).  ...  We have conducted an experiment on a set of real policies and a set of faulty policies to detect faults with generated packet sets.  ...  are effective to detect faults caused by the change of the boundary value of a clause over other packet sets.  ... 
doi:10.1109/srds.2008.34 dblp:conf/srds/HwangXCL08 fatcat:bvut7d6ajjallbq64ltj6zn4ri

Automatic Software Repair

Martin Monperrus
2018 ACM Computing Surveys  
This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention.  ...  It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.  ...  [191] detect and fix inconsistencies in MOF and UML models ; da Silva [162] use Prolog to propose a repair plan that fixes inconsistencies in UML models; Xiong et al.  ... 
doi:10.1145/3105906 fatcat:zbrbc6e22rdeja4vfrx7j57g5e
« Previous Showing results 1 — 15 out of 3,116 results