Fault-Tolerant Swarms

Perez, Ivan; Goodloe, Alwyn E.; Edmonson, William

doi:10.1109/smc-it.2019.00011

Cited by 6 publications

(4 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using the generators provided, it is possible to explore simple properties in games, models and simulations, as shown in this and earlier sections on fault tolerance. In the recent work, we have used the same approach to evaluate the resilience of swarms of satellites (Perez et al, 2019), showing that this approach works for more complex properties.…”

Section: Discussionmentioning

confidence: 99%

Runtime verification and validation of functional reactive systems

Perez¹,

Nilsson²

2020

J. Funct. Prog.

Self Cite

View full text Add to dashboard Cite

Many types of interactive applications, including reactive systems implemented in hardware, interactive physics simulations and games, raise particular challenges when it comes to testing and debugging. Reasons include de facto lack of reproducibility and difficulties of automatically generating suitable test data. This paper demonstrates that certain variants of functional reactive programming (FRP) implemented in pure functional languages can mitigate such difficulties by offering referential transparency at the level of whole programs. This opens up for a multi-pronged approach for assisting with testing and debugging that works across platforms, including assertions based on temporal logic, recording and replaying of runs (also from deployed code), and automated random testing using QuickCheck. When combined with extensible forms of FRP that allow for constrained side effects, it allows us to not only validate software simulations but to analyse the effect of faults in reactive systems, confirm the efficacy of fault tolerance mechanisms and perform software- and hardware-in-the-loop testing. The approach has been validated on non-trivial systems implemented in several existing FRP implementations, by means of careful debugging using a tool that allows the test or simulation under scrutiny to be controlled, moving along the execution time line, and pin-pointing of violations of assertions on personal computers as well as external devices.

show abstract

Section: Discussionmentioning

confidence: 99%

Runtime verification and validation of functional reactive systems

Perez¹,

Nilsson²

2020

J. Funct. Prog.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Perez, Goodloe et al [100] He has proposed methodically evaluating the failure model in a distributed satellite swarm, introducing FT techniques, and verifying their appropriateness. He demonstrated how seeing defects through the eyes of the receiver simplifies the fault model and aids in the analysis of the FT measures necessary.…”

Section: Deng Che Et Al [93]mentioning

confidence: 99%

State of Art Survey for Fault Tolerance Feasibility in Distributed Systems

Hussein

Al-Zebari

Omar

et al. 2021

AJRCoS

View full text Add to dashboard Cite

The use of technology has grown dramatically, and computer systems are now interconnected via various communication mediums. The use of distributed systems (DS) in our daily activities has only gotten better with data distributions. This is due to the fact that distributed systems allow nodes to arrange and share their resources across linked systems or devices, allowing humans to be integrated with geographically spread computer capacity. Due to multiple system failures at multiple failure points, distributed systems may result in a lack of service availability. to avoid multiple system failures at multiple failure points by using fault tolerance (FT) techniques in distributed systems to ensure replication, high redundancy, and high availability of distributed services. In this paper shows ease fault tolerance systems, its requirements, and explain about distributed system. Also, discuss distributed system architecture; furthermore, explain used techniques of fault tolerance, in additional that review some recent literature on fault tolerance in distributed systems and finally, discuss and compare the fault tolerance literature.

show abstract

“…The introduction of faults in MSF architectures can be done in a systematic way, following the definition of a fault model that classifies the kinds of faults that the system must tolerate, as described in Perez et al (2019). For example, in a satellite swarm that performs multiple observations of the same event from different locations to provide redundant measurements, we may be interested in exchanging information to achieve consensus.…”

Section: Modeling Satellite Networkmentioning

confidence: 99%

“…This paper is an extended version of Perez (2018). Section 7 is an original contribution in this extended version, with examples from Perez et al (2019).…”

Section: Introductionmentioning

confidence: 99%

Fault-tolerant functional reactive programming (extended version)

Perez¹,

Goodloe²

2020

J. Funct. Prog.

Self Cite

View full text Add to dashboard Cite

Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation, and validation techniques. Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems. Causal stream functions and functional reactive programming (FRP) capture the essence of those languages in a way that is both elegant and robust. To guarantee that critical systems can operate under high stress over long periods of time, these applications require clear specifications of possible faults and hazards, and how they are being handled. Modeling failure is straightforward in functional languages, and many functional reactive abstractions incorporate support for failure or termination. However, handling unknown types of faults, and incorporating fault tolerance into FRP, requires a different construction and remains an open problem. This work demonstrates how to extend an existing functional reactive framework with fault tolerance features. At value level, we tag faulty signals with reliability and probability information and use random testing to inject faults and validate system properties encoded in temporal logic. At type level, we tag components with the kinds of faults they may exhibit and use type-level programming to obtain compile-time guarantees of key aspects of fault tolerance. Our approach is powerful enough to be used in systems with realistic complexity, and flexible enough to be used to guide system analysis and design, validate system properties in the presence of faults, perform runtime monitoring, and study the effects of different fault tolerance mechanisms.

show abstract

Fault-Tolerant Swarms

Cited by 6 publications

References 22 publications

Runtime verification and validation of functional reactive systems

Runtime verification and validation of functional reactive systems

State of Art Survey for Fault Tolerance Feasibility in Distributed Systems

Fault-tolerant functional reactive programming (extended version)

Contact Info

Product

Resources

About