Abstract:The current demands for seamless connections with the surrounding environment make software more reactive. For example, such demands are evident in systems consisting of the Internet of Things. Such systems include a set of reactive values that are periodically updated in response to external or internal events to form a dataflow in the sense that such updates are propagated to other reactive values. Two effective approaches for realizing such reactive values have been proposed: the event mechanisms in event-based programming and the signals in functional-reactive programming. These two approaches are now becoming mixed in several languages such as Flapjax and REScala, which makes these languages notably expressive for modularizing the implementation of reactive software. For example, REScala provides a rich API that consists of functions converting events to signals and vice versa. In this paper, we explore another, simpler approach in the design space of reactive programming languages: the event mechanism is harmonized with signals, resulting in a simplified programming interface that is mostly based on signals. Based on this approach, we realize SignalJ, a simple extension of Java with events and signals. Our notable findings are (1) an event can be represented as an update of a signal and (2) such an effectful signal can be represented using annotations instead of introducing types and constructors for signals to further simplify the language. Another contribution of this paper is the formal model of SignalJ. As both mechanisms of events and signals may interfere with each other, this mixing sometimes results in surprising behavior. For example, the functional behavior of signals is affected by the imperative features of events. Thus, understanding the formal model of this mixing is actually important. The core calculus, Featherweight SignalJ (FSJ), was developed as an extension of Featherweight Java, and proofs are provided to ensure the soundness of FSJ.

Programming real-time applications with SIGNAL

Towards a Verified Compiler Prototype for the Synchronous Language SIGNAL

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog

SIGNAL -- The SAP Signavio Analytics Query Language

Harmonizing Signals and Events with a Lightweight Extension to Java

A novel component-based hardware-software co-simulation system based on OR1200

An Intuitive Design Approach For Implementing Real Time Audio Effects

Synthesis of Parallel Synchronous Software

Synchron -- An API and Runtime for Embedded Systems

Embedded software in real-time signal processing systems: application and architecture trends

Signal Sets on Time Scales with Application to Hybrid Systems

SL: a "quick and dirty" but working intermediate language for SVP systems

Tickwerk: Design of a LET-Based SoC for Temporal Programming

SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems

Temporal Stream Logic: Synthesis Beyond the Bools

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals

Signal Convolution Logic

Software Module Timing Refinement Using External Instruction Set Simulator

Secrecy of signals by typing in signal transduction

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment