618 Hits in 8.0 sec

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications [chapter]

Felix C. Gärtner, Arshad Jhumka
2004 Lecture Notes in Computer Science  
Hence, automated methods that add fault tolerance can now be efficiently applied in environments where specifications are not necessarily fusion closed.  ...  However, addition of history variables causes an exponential growth of the state space of the program, causing addition of fault tolerance to be expensive.  ...  Work by the first author was supported by Deutsche Forschungsgemeinschaft (DFG) as part of "Graduiertenkolleg ISIA" and Emmy Noether programme.  ... 
doi:10.1007/978-3-540-30206-3_14 fatcat:qtdf6nmo2vb3ha2dbjiimshedu


2007 Software Engineering of Fault Tolerant Systems  
Specifically, we present sound and complete deterministic algorithms for automated addition of (failsafe/nonmasking/masking) fault-tolerance to the functional design of concurrent programs.  ...  We also discuss (1) the effect of distribution and safety specification model on the complexity of adding fault-tolerance, and (2) the impact of the proposed algorithms on the addition of multitolerance  ...  Since the specification is suffix-closed and fusion-closed, it is possible to specify a safety specification as a set of bad transitions.  ... 
doi:10.1142/9789812778864_0003 fatcat:t4vkj6cy2jgmjh47gvzi6llham

FTSyn: a framework for automatic synthesis of fault-tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
2008 International Journal on Software Tools for Technology Transfer (STTT)  
We also present a set of heuristics for polynomial-time addition of fault-tolerance to distributed programs.  ...  with the complexity of adding fault-tolerance to distributed programs.  ...  We would like to thank Constance Heitmeyer at Naval Research Laboratory for her comments and suggestions on the altitude switch example.  ... 
doi:10.1007/s10009-008-0083-0 fatcat:eicomverinbmpdm5bibh4hvpjy

Energy Efficient and Fault Tolerant Multicore Wireless Sensor Network: E²MWSN

Hong-Ling Shi, Kun Mean Hou, Hai-Ying Zhou, Xing Liu
2011 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing  
Wireless Sensor Node; Context-aware; Fault Tolerance; Fail-Safe; Distributed Systems; Embedded System; Internet of Things; Web of Things.  ...  Contributions The contributions of this dissertation are in the area of fault tolerance, specifically in the field of system design and hardware platform design of fault tolerance WSN.  ...  FSMOS High-level Architecture The high-level architecture of FSMOS is presented on the Figure 7-6.  ... 
doi:10.1109/wicom.2011.6040317 fatcat:b6qehpnmxjd35go7ycy5v5ru5y

Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns

Young-Woo Kwon
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
Thus, software developers should be able to simultaneously reason about and handle the concerns of distribution, fault-tolerance, and energy-efficiency.  ...  Being closely intertwined, these concerns can introduce significant complexity into the design and implementation of modern software.  ...  They have argued that enhancing a fault-tolerant system with a set of fault-tolerant components will lead to a fault-tolerant system.  ... 
doi:10.1145/2508075.2508082 dblp:conf/oopsla/Kwon13 fatcat:h4x6hi4nhren3o6ygssxnbsgoa

Robustness Issues in Fault Diagnosis and Fault Tolerant Control

Jakob Stoustrup, Kemin Zhou
2008 Journal of Control Science and Engineering  
Wu et al. addresses fault tolerant control of a distributed database system. The fault tolerant design relies on data redundancy in the partitioned system architecture.  ...  Many techniques have been developed for fault detection and fault tolerant control. However, the issue of robustness of fault detection and fault tolerant control has not been sufficiently addressed.  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous reviewers for their constructive comments and suggestions that have improved the quality of the manuscript.  ... 
doi:10.1155/2008/251973 fatcat:n3tzvr4zobaf5lsgpteossudqq

Survey and future directions of fault-tolerant distributed computing on board spacecraft

Muhammad Fayyaz, Tanya Vladimirova
2016 Advances in Space Research  
Middleware for Fault-Tolerance (AMFT).  ...  In this thesis a novel cooperative task-oriented fault-tolerant distributed computing (FTDC) architecture is proposed, which caters for high performance and reliability in systems on board spacecraft.  ...  Definition A.10: Fail-Safe A fail-safe device is one that responds in a way that will cause no harm in case of a failure.  ... 
doi:10.1016/j.asr.2016.08.017 fatcat:szoac6aiwvbs3d2dyh5smxsgqa

An Overview of Formal Verification for the Time-Triggered Architecture [chapter]

John Rushby
2002 Lecture Notes in Computer Science  
We also describe the larger challenges posed by formal verification of the interaction of the constituent algorithms and of their emergent properties.  ...  We describe what has been done and what remains to be done and indicate some directions that seem promising for the remaining cases and for increasing the automation that can be applied.  ...  Acknowledgments Günther Bauer of TU Vienna provided helpful comments and corrections for a previous version of this paper.  ... 
doi:10.1007/3-540-45739-9_7 fatcat:7l53ixpp4fa4topkufrp6hnahe

The complexity of adding failsafe fault-tolerance

S.S. Kulkarni, A. Ebnenasir
Proceedings 22nd International Conference on Distributed Computing Systems  
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) program.  ...  addition of failsafe fault-tolerance is still NP-hard.  ...  Thus, given an algorithm that automates the addition of failsafe fault-tolerance, we can automate one step of designing masking fault-tolerance.  ... 
doi:10.1109/icdcs.2002.1022271 dblp:conf/icdcs/KulkarniE02 fatcat:kojmsv3ry5cnrhu7kasigmtjuu

Architecting Dependable Learning-enabled Autonomous Systems: A Survey [article]

Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan
2019 arXiv   pre-print
For learning-enabled components, we additionally summarize recent architectural approaches to increase the dependability beyond standard convolutional neural networks.  ...  We conclude the study with a list of promising research directions addressing the challenges of existing approaches.  ...  M-of-N is a standard voting method where majority value is considered as the final decision. This methodology has been used in designing fault tolerant systems [52] .  ... 
arXiv:1902.10590v1 fatcat:4unvep4bwjhk7o4yqjbrhyxqg4

Mechatronics, robotics and components for automation and control IFAC milestone report

S. Boverie, Dongil Dan Cho, H. Hashimoto, M. Tomizuka, Wang Wei, D. Zühlke
2008 IFAC Proceedings Volumes  
This paper presents a general overview of the technological fields of mechatronic, robotic, components for automation and control.  ...  The paper addresses their current key problems and the recent major accomplishments. At last the most promising forecasted development and applications are considered.  ...  This will then require increased research efforts in managing and gathering data, data fusion, diagnostics, dependability, and fault tolerance.  ... 
doi:10.3182/20080706-5-kr-1001.01831 fatcat:77puzlbvwfdmtdtr2biysrkjtm

Toward rigorous design of domain-specific distributed systems

Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
2016 Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering - FormaliSE '16  
The advent of data center, cloud computing and IoT has thrust distributed systems building into the programming mainstream.  ...  A variety of techniques for model exploration, active testing, and synthesis of detailed implementations from higher level specifications are being developed.  ...  Our goals in DS2 go far beyond the traditional notions of race-freedom and automated code parallelization; we aim to bring in correctness notions specific to distributed systems (e.g., linearizability)  ... 
doi:10.1145/2897667.2897674 dblp:conf/icse/Al-MahfoudhGS16 fatcat:44dsygtvurg33knjwgngca3aqq

Enhancing the fault-tolerance of nonmasking programs

S.S. Kulkarni, A. Ebnenasir
23rd International Conference on Distributed Computing Systems, 2003. Proceedings.  
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking.  ...  Hence, these algorithms can partially reap the benefits of automation when the cost of adding masking fault-tolerance to a fault-intolerant program is high.  ...  For a suffix closed and fusion closed specification, the safety specification can be specified [7] as a set of bad transitions, that is, for program , its safety specification is a subset of g a % !  ... 
doi:10.1109/icdcs.2003.1203494 dblp:conf/icdcs/KulkarniE03 fatcat:ivbu6vzdanhftgpg5jvdht5bay

Opportunities and Challenges in Cooperative Road Vehicle Automation

Steven E. Shladover
2021 IEEE Open Journal of Intelligent Transportation Systems  
Four different types of cooperative driving automation are defined and examples of the functionality enabled by each are described.  ...  This paper provides an introduction to the opportunities for improving the performance of road transportation automation systems by use of vehicle-vehicle and vehicle-infrastructure communication and cooperation  ...  the course of a day, and would only occasionally be in close proximity to each other and to specific roadside devices.  ... 
doi:10.1109/ojits.2021.3099976 fatcat:a32zsik3yngobc2pprnk3d3dde


Udo Pulm, Ralf Stetter
2021 Proceedings of the Design Society  
The goal of the paper is to contribute to the development of guidelines for design engineers in which domain (or in which combination of domains and other areas) to allocate the solution for an engineering  ...  In the last decade, this field has widened, including, amongst others, aspects such as cyber-physical systems (CPS) or the internet of things (IoT).  ...  ACKNOWLEDGMENTS The project "digital product life-cycle (ZaFH)" is supported by a grant from the European Regional Development Fund and the Ministry of Science, Research and the Arts of Baden-Württemberg  ... 
doi:10.1017/pds.2021.554 fatcat:v2sgvojcazcq5g5i4nfgkukgoi
« Previous Showing results 1 — 15 out of 618 results