E-FRP with priorities

Kaiabachev, Roumen; Taha, Walid; Zhu, Angela Yun

doi:10.1145/1289927.1289963

Cited by 37 publications

(18 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Unlike FRP, our approach is agnostic about time, thus not lending itself to reasoning about temporal properties. Soft real-time guarantees have been studied for at least some FRP variants [23]. It may be possible to give a semantics for RVs in terms of FRP.…”

Section: Comparison To Functional Guis and Frpmentioning

confidence: 99%

“…Nevertheless, RVs can beneficially be used together with lenses and we view them as complementary. Recent developments in monadic lenses applied to User Interfaces 23 and lenses with notifications [8] could help simplify our formalisation to its true core objective: a data-binding language between typed reactive elements.…”

Section: Comparison To Functional Guis and Frpmentioning

confidence: 99%

See 1 more Smart Citation

Bridging the GUI gap with reactive values and relations

Perez

Nilsson

2015

Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell

View full text Add to dashboard Cite

There are at present two ways to write GUIs for functional code. One is to use standard GUI toolkits, with all the benefits they bring in terms of feature completeness, choice of platform, conformance to platform-specific look-and-feel, long-term viability, etc. However, such GUI APIs mandate an imperative programming style for the GUI and related parts of the application. Alternatively, we can use a functional GUI toolkit. The GUI can then be written in a functional style, but at the cost of foregoing many advantages of standard toolkits that often will be of critical importance. This paper introduces a light-weight framework structured around the notions of reactive values and reactive relations. It allows standard toolkits to be used from functional code written in a functional style. We thus bridge the gap between the two worlds, bringing the advantages of both to the developer. Our framework is available on Hackage and has been been validated through the development of non-trivial applications in a commercial context, and with different standard GUI toolkits.

show abstract

Section: Comparison To Functional Guis and Frpmentioning

confidence: 99%

Section: Comparison To Functional Guis and Frpmentioning

confidence: 99%

Bridging the GUI gap with reactive values and relations

Perez

Nilsson

2015

Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell

View full text Add to dashboard Cite

show abstract

“…To address this limitation, resource-bounded variants of FRP were studied ( [8], [13], [14]). Recently, it was shown that a variant called priority-based FRP (P-FRP) [8] combines both the semantic properties for FRP, guarantees resource boundedness, and supports assigning different priorities to different events.…”

Section: Introductionmentioning

confidence: 99%

“…Recently, it was shown that a variant called priority-based FRP (P-FRP) [8] combines both the semantic properties for FRP, guarantees resource boundedness, and supports assigning different priorities to different events. In P-FRP, higher priority events can preempt lower-priority ones.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Utilization Based Sufficient Condition for P-FRP

Belwal

Cheng

2011

2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Priority-based 1 Functional Reactive Programming (P-FRP) is a new functional programming formalism for developing safety-critical embedded systems. P-FRP allows static priority assignment and guarantees real-time response by preempting lower priority tasks. Due to the state-less nature of functional programs, preempted tasks in P-FRP are aborted and have to restart after the higher priority tasks have completed execution. Since the execution semantics of P-FRP are different from the classical preemptive model of execution, existing utilization based sufficient conditions cannot be applied. In this paper, we derive a new utilization based sufficient schedulability condition for P-FRP, and validate it using experimental task sets.

show abstract

A survey of real‐time capabilities in functional languages and compilers

Murphy

Shivkumar

Pritchard

et al. 2018

Concurrency and Computation

View full text Add to dashboard Cite

Functional programming languages play an important role in the development of correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior.In this paper, we explore existing functional programming language compilers and their applicability to real-time embedded systems. We do this by defining important characteristics needed by a real-time programming language and survey how well existing languages meet these characteristics. We conduct empirical analysis of language runtimes in order to assess the impact of dynamic memory management on predictability and performance. Lastly, we review different programming models for expressing real-time considerations in applications. INTRODUCTIONReal-time software is an integral part in many complex software/hardware systems that require timing guarantees in addition to traditional functional correctness guarantees. Such systems vary in nature, spanning multiple domains including industrial control, robotics, automotive, avionics, and medical devices, among others. These systems all provide services whose utility is dictated by the timeliness in which they respond to external (eg, sensor readings) and internal (eg, software events and interrupts) stimuli. Writing the software for these systems is a difficult undertaking because ensuring the system is correct requires providing predictability guarantees. This is exacerbated by the fact that most software for real-time systems is written in "low level" imperative languages.Functional languages are known for their ability to be reasoned about with respect to correctness, often with automated tools. 1-3 Given that real-time systems are frequently deployed in safety-critical and mission-critical situations, the ability to write software with a high degree of confidence in its correctness and predictability is important. Functional languages are well suited for the former task (correctness), but are not developed for the latter (predictability). Indeed, general purpose, functional programming languages are not used for developing real-time systems and there are no investigations to ensure their predictability. There are, however, many domain-specific functional languages that provide predictability for niche domains. The state of mainstream functional programming languages with respect to their ability to express and provide predictability is something we would like to investigate in this survey.One reason that functional languages are not considered for writing real-time software is because they are managed languages and automatic memory management has classically been considered unpredictable. While many may consider this a reason to reject functional programming as a target language for real-time systems development, we can instead look to managed object-oriented systems for inspiration. Indeed, the ques...

show abstract

E-FRP with priorities

Cited by 37 publications

References 29 publications

Bridging the GUI gap with reactive values and relations

Bridging the GUI gap with reactive values and relations

A Utilization Based Sufficient Condition for P-FRP

A survey of real‐time capabilities in functional languages and compilers

Contact Info

Product

Resources

About