Sun 4 Nov 2018 10:30 - 10:52 at Cambridge - Embedded, IoT / Multitier, Distributed Chair(s): Tetsuo Kamina

In reactive and event-based systems, execution is guided by an external environment that generates inputs to the application and is affected by outputs from it. Reactive languages provide dedicated syntax and semantics to deal with events and greatly simplify the programming experience in this domain. Nevertheless, the environment is typically prefabricated in a host language and the very central concept of events is implemented externally to the reactive language. In this work, we propose an interrupt handler primitive for a reactive language that targets embedded systems in order to take control of the whole event loop, from input generation up to output effects. We propose the new asynchronous primitive in the context of the synchronous language Céu and discuss how they synergize to prevent runtime race conditions at compile time, support lexically-scoped drivers, and provide automatic standby for applications.

Pre-Print (paper.pdf)245KiB
Slides (ceu-rebls-isrs-18.pdf)438KiB

Sun 4 Nov

rebls-2018-papers
10:30 - 12:00: REBLS 2018 - Embedded, IoT / Multitier, Distributed at Cambridge
Chair(s): Tetsuo KaminaOita University
rebls-2018-papers10:30 - 10:52
Talk
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University
File Attached
rebls-2018-papers10:52 - 11:15
Talk
Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel University
File Attached
rebls-2018-papers11:15 - 11:37
Talk
Orestis MelkonianUniversity of Utrecht, Angelos CharalambidisNCSR "Demokritos''
File Attached
rebls-2018-papers11:37 - 12:00
Talk
Guillaume BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause
File Attached