SPLASH 2018 (series) / REBLS 2018 (series) / REBLS 2018 /
Synthesizing Manually Verifiable Code for Statecharts
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.
Slides (Rebls18-talk-Synthesizing Manually Verifiable Code for Statecharts.pdf) | 1.47MiB |
Pre-Print (rebls18(1).pdf) | 1.83MiB |
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sun 4 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming REBLS File Attached | ||
11:37 22mTalk | 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 |