Fault-tolerant functional reactive programming (extended version)

Perez, Ivan; Goodloe, Alwyn E.

doi:10.1017/s0956796820000118

Cited by 5 publications

(2 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study of how to introduce fault tolerance mechanisms in FRP systems was introduced in Perez (2018b) and Perez & Goodloe (2020), from which we borrow part of the introduction in this section and the introductory example that follows. We then extend that work to use temporal logic and QuickCheck to study the behaviour of a reactive system when faults are present in the system and to determine if fault tolerance mechanisms can handle faults as expected.…”

Section: Fault Analysis Injection and Tolerance In Reactive Systemsmentioning

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: Fault Analysis Injection and Tolerance In Reactive Systemsmentioning

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

“…Reactive programming has the advantage of being able to handle real-time data streams and can be used to build responsive user interfaces. However, it can be difficult to reason about the behaviour of a reactive program, and it can be difficult to debug [5].…”

Section: Introductionmentioning

confidence: 99%

Propagator-Oriented Programming Model Using Java

Bilyk¹,

Sachenko²

2023

ACPS

View full text Add to dashboard Cite

The aim of this work is to explore and analyze an unconventional style of programming based on a pro- pagator-oriented model of computation. The paradigm of propagation is characterized by networks of local, independent, stateless machines interconnected with stateful storage cells. This model allows for a highly modular design and multidirectional computation, enabling the creation of complex systems that can respond to changes and update their state accordingly. This work provides an overview of the propagator- oriented programming model, its motivations, and its advantages over other well-known alternative styles, using unsophisticated examples written in the Java programming language. We illustrate how propagator networks can be used to build flexible and efficient systems and present a basic framework for building such networks. The foun- dational components of the propagation model are imple- mented in Java as groundwork for the general-purpose framework. We demonstrate the power of propagator-oriented prog- ramming through an example of a Pythagorean Theorem implementation. The example shows how the model can be used to build complex systems of an arbitrary number of constraints and cells. We highlight the importance of information propagation over limited linear computation and the benefits of the multidirectional computation enabled by propagator networks.

show abstract

Automated Translation of Natural Language Requirements to Runtime Monitors

Perez

Mavridou

Pressburger

et al. 2022

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

Runtime verification (RV) enables monitoring systems at runtime, to detect property violations early and limit their potential consequences. This paper presents an end-to-end framework to capture requirements in structured natural language and generate monitors that capture their semantics faithfully. We leverage NASA’s Formal Requirement Elicitation Tool (fret), and the RV system Copilot. We extend fret with mechanisms to capture additional information needed to generate monitors, and introduce Ogma, a new tool to bridge the gap between fret and Copilot. With this framework, users can write requirements in an intuitive format and obtain real-time C monitors suitable for use in embedded systems. Our toolchain is available as open source.

show abstract

Fault-tolerant functional reactive programming (extended version)

Cited by 5 publications

References 54 publications

Runtime verification and validation of functional reactive systems

Runtime verification and validation of functional reactive systems

Propagator-Oriented Programming Model Using Java

Automated Translation of Natural Language Requirements to Runtime Monitors

Contact Info

Product

Resources

About