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

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