A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
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
ADDING FAULT-TOLERANCE TO STATE MACHINE-BASED DESIGNS
[chapter]
2007
Software Engineering of Fault Tolerant Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 7th International Conference on Wireless Communications, Networking and Mobile Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
Journal of Control Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Advances in Space Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
Proceedings 22nd International Conference on Distributed Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering - FormaliSE '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
23rd International Conference on Distributed Computing Systems, 2003. Proceedings.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Open Journal of Intelligent Transportation Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
SYSTEMIC MECHATRONIC FUNCTION DEVELOPMENT
2021
Proceedings of the Design Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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