First-class reactive programs for CPS

Reactive Programming Extensions for Time-Sensitive IoT Applications

“…EVALUATION We implement our motivating example for a swarm of six robots with our extensions, as described in the previous section, and without, and evaluate them by comparing the code of the resulting programs. We have thoroughly verified that the two programs are functionally equivalent by developing a series of unit tests using Mocha, which is a feature-rich JavaScript test framework 6 . The code of both programs, along with the test suite, will be available online at the time of publication.…”

“…Reactive programming is a declarative programming paradigm that maps well with the event-driven nature of IoT [6], [7]: it offers first class abstractions for modeling and combining data from distributed and heterogeneous sources, i.e. sensors, along with a reactive runtime environment that automatically propagates their measurements.…”