http://www.e4coder.com
(NOTE: long video - chapters below)
This video shows the Digital Clock demo available as one of the standard E4Coder Demos.
The demo is focused on SMCube, implementing a State Diagram of a Digital Clock that mimics the specification done by Harel in 1987.
The video shows the state machine design, including Hierarchical/Parallel states, AND/OR Superstates, Junction Points. The Data Model is shown, as well as a complete interactive simulation using the FLEX Demo Board Simulator.
Chapters
-------------------------------------------------
00:07 Introduction
00:43 Loading E4Coder and the Digital Clock example
01:39 Structure of the Digital Clock example
02:07 High-level structure of the Scicos diagram
02:44 The FLEX Demo Board Simulator Blocks
03:06 Input blocks of the FLEX Demo Board Simulator
03:24 Output blocks of the FLEX Demo Board Simulator
03:48 The second Superblock, containing the SMCube State Diagram
04:16 Opening the Second Superblock - structure of the diagram
04:38 Input peripherals (Buttons)
04:44 Output peripherals (LEDs, Buzzer, LCD)
04:58 alarm subsystem
05:44 Structure of the State Machine
06:06 Opening SMCube
06:22 Tour of the SMCube widgets and Data Model
07:07 Opening the AND Superblock. Description of the three parallel states
07:24 Opening the MODE OR SuperState
07:38 Opening the STOPWATCH OR SuperState
07:55 Opening the ALARM OR SuperState
08:09 The MODE SuperState
08:32 Inside the MODE SuperState
08:44 MODE SuperState: Initial State
08:53 MODE SuperState: Transitions
09:08 MODE SuperState: Usage of a Junction Point
09:29 MODE SuperState: Transition to the border of a SuperState
09:43 MODE SuperState: Hidden Transition labels
09:50 Entering the TIME_MODE SuperState
10:07 Entering the ALARM_MODE SuperState
10:35 Semantic of SMCube made for Code Generation
10:55 Highlight on the priority index which is near each transition
11:30 SMCube Data Model
12:09 The SMCube Data Model
12:27 In, Out, Var macros to reference Data Model objects
12:51 Opening the Data Model Dialog Box
13:30 Simulating the Design
13:55 Selecting interactive Mode for the simulation of the State Machine
14:18 Starting the Simulation
14:36 The FLEX Demo Board simulator
14:55 The SMCube Interactive Simulation Window
15:10 Clicking on the simulated button let the state machine change state
16:40 The SMCube Event Log used to highlight the State history
16:50 Pause, Step-By-Step, Play of the SMCube simulation
17:05 How to End a Simulation
17:16 Ending a Simulation
17:29 Conclusions