Demonstration of embedded application development using statecharts, with a digital watch as example. The example is based on the digital watch described in Harel’s paper, the Citizen Multi Alarm III
Figure 1. Citizen Mutli Alarm III
The application uses an MVP design pattern, with the Presenter implement using statecharts and action functions. The View implemented using both Kivy and GTK+, selectable at run-time.
Figure 2. GTK+ UI
Figure 3. Kivy UI
