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 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: Embedded, IoT / Multitier, DistributedREBLS at Cambridge Chair(s): Tetsuo KaminaOita University | |||
10:30 - 10:52 Talk | Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up REBLS Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University File Attached | ||
10:52 - 11:15 Talk | Synthesizing Manually Verifiable Code for Statecharts REBLS Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel University File Attached | ||
11:15 - 11:37 Talk | RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming REBLS File Attached | ||
11:37 - 12:00 Talk | Reactive Chatbot Programming REBLS Guillaume BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause File Attached |