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

Statecharts are an established mechanism to model reactive, state-oriented behavior of embedded systems. We here present an approach to automatically generate code from statecharts, with a particular focus on readability and ease of matching the generated code with the original model. This not only saves programming effort and reduces the error rate compared to manual coding, but it also facilitates the task of verifying that the code does what it is supposed to do. We have implemented this approach for the SCCharts language in an open-source framework. A user study confirmed that the generated code tends to be more readable than code from other code generators.

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Embedded, IoT / Multitier, DistributedREBLS at Cambridge
Chair(s): Tetsuo Kamina Oita University
10:30
22m
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University
File Attached
10:52
22m
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven Smyth Kiel University, Christian Motika Philotech Systementwicklung und Software GmbH, Reinhard von Hanxleden Kiel University
File Attached
11:15
22m
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis Melkonian University of Utrecht, Angelos Charalambidis NCSR "Demokritos''
File Attached
11:37
22m
Talk
Reactive Chatbot Programming
REBLS
Guillaume Baudart IBM Research, Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon Clause
File Attached