Revision 7:5d25743fac86, committed 2014-08-06

Comitter:

mnikolaos

Date:

Wed Aug 06 18:39:59 2014 +0000

Parent:

6:e8cd76f38fa9

Child:

8:96112047d7f3

Commit message:

mbed_frdm64_fsm

Changed in this revision

--- a/main.cpp	Fri May 09 19:58:03 2014 +0300
+++ b/main.cpp	Wed Aug 06 18:39:59 2014 +0000
@@ -1,12 +1,305 @@
 #include "mbed.h"
+ 
+Serial pc(USBTX, USBRX);
+ 
+DigitalOut gpo(D0);
+DigitalOut led(LED_BLUE);
+
+
+ 
+typedef struct EventTag {
+    uint16_t sig;                                    /* signal of the event */
+} Event;
+
+struct StateTableTag;                                /* forward declaration */
+
+typedef void (*Tran)(struct StateTableTag *me, Event const *e);
+
+typedef struct StateTableTag {
+    uint8_t state;                              /* the current active state */
+    uint8_t *st_desc;                           /* the current active state Name Descriprion */
+    Tran const *state_table;                    /* the State-Table */
+    uint8_t n_states;                           /* number of states */
+    uint8_t n_signals;                          /* number of signals */
+    Tran initial;                               /* the initial transition */
+} StateTable;
+
+void StTbl_ctor(StateTable *me,
+                    Tran const *table, 
+                    uint8_t n_states, 
+                    uint8_t n_signals,
+                    Tran initial);
+                    
+void StTbl_init(StateTable *me);
+void StTbl_dispatch(StateTable *me, Event const *e);
+void StTbl_empty(StateTable *me, Event const *e);
+
+/* macro for taking a state transition inside a transition function */
+#define TRAN(target_)  (((StateTable *)me)->state = (uint8_t)(target_)) 
+ 
+ void StTbl_ctor(StateTable *me,
+Tran const *table, uint8_t n_states, uint8_t n_signals,
+Tran initial)
+{
+    me->state_table = table;
+    me->n_states    = n_states;
+    me->n_signals   = n_signals;
+    me->initial     = initial;
+}
+
+void StTbl_init(StateTable *me) {
+    me->state = me->n_states;
+    (*me->initial)(me, (Event *)0);      
+}
+
+void StTbl_dispatch(StateTable *me, Event const *e) {
+    Tran t;
+
+    t = me->state_table[me->state*me->n_signals + e->sig];
+    (*t)(me, e);                         
+}
 
-DigitalOut myled(LED1);
+void StTbl_empty(StateTable *me, Event const *e) {
+    (void)me;
+    (void)e; 
+}
+ 
+ typedef struct Tag {               /*  FSM */
+    StateTable super;               /* derive from the StateTable structure */
+    uint8_t timeout;                /* number of seconds till exp */
+    uint8_t defuse;                 /* secret defuse code to disarm */
+    uint8_t code;                   /* currently entered code to disarm  */
+} FSM1;
+ 
+ 
+ enum FSMSignals {                          /* all signals for the Bomb FSM */
+    GO_SIG,
+    OUT_SIG,
+    TICK_SIG,
+    ERR_SIG,
+    CONF_SIG,
+    TRANADM_SIG,
+
+    MAX_SIG                                        /* the number of signals */
+};
+ 
+ enum FSMStates {
+    SETTING_FSM_STATE,           /* Setting for FSM */
+    READY_FSM_STATE,             /* Unassigned and Ready to be configured from PC */
+    ASSIGNED_FSM_STATE,          /* Assigned to a user. None could use it apart from him.*/
+    LOCKED_FSM_STATE,            /* Locked by user*/
+    ERROR_STATE,                /* Error state. Only logging communication*/
+    
+    MAX_STATE
+};
+  
+ typedef struct TickEvtTag {
+    Event super;                         /* derive from the Event structure */
+    uint8_t fine_time;                           /* the fine 1/10 s counter */
+} TickEvt;
+
+ 
+static void FSM_initial (FSM1 *me, Event const *e)
+{
+     (void)e;
+     
+    printf("State --> Initial\n");
+    TRAN(SETTING_FSM_STATE);
+ }
+
+static void FSM_setting_GO    (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Setting - GO Event was caught\n");
+    TRAN(READY_FSM_STATE);
+}
+
+static void FSM_setting_OUT   (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Setting - OUT Event was caught\n");
+}
+
+static void FSM_setting_ERR   (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Setting - ERR Event was caught\n");
+    TRAN(ERROR_STATE);
+}
+
+static void FSM_setting_TRAN  (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Setting - TRAN ADMIN Event was caught\n");
+}
+
+static void FSM_ready_GO      (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - GO Event was caught\n");
+    TRAN(ASSIGNED_FSM_STATE);
+}
+
+static void FSM_ready_OUT     (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - OUT Event was caught\n");
+}
 
-int main() {
-    while(1) {
-        myled = 1;
-        wait(0.2);
-        myled = 0;
-        wait(0.2);
+static void FSM_ready_TICK    (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - TICK Event was caught\n");
+}
+
+static void FSM_ready_ERR     (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - ERR Event was caught\n");
+    TRAN(ERROR_STATE);
+    
+}
+
+static void FSM_ready_CONF    (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - CONF Event was caught\n");
+    TRAN(SETTING_FSM_STATE); 
+    
+}
+
+static void FSM_ready_TRAN    (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Ready - TRAN ADMIN Event was caught\n");
+}
+
+static void FSM_assigned_GO   (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Assigned - GO Event was caught\n");
+    TRAN(LOCKED_FSM_STATE);
+}
+
+static void FSM_assigned_OUT  (FSM1 *me, Event const *e)
+{
+    (void)e;    
+    printf("State --> Assigned - OUT Event was caught\n");
+    TRAN(READY_FSM_STATE);
+}
+
+static void FSM_assigned_TICK (FSM1 *me, Event const *e)
+{
+    (void)e;    
+    printf("State --> Assigned - TICK Event was caught\n");
+
+}
+
+static void FSM_assigned_ERR  (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Assigned - ERR Event was caught\n");
+    TRAN(ERROR_STATE);
+    
+}
+
+static void FSM_assigned_CONF (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Assigned - CONF Event was caught\n");
+    TRAN(SETTING_FSM_STATE);
+    
+}
+
+static void FSM_assigned_TRAN (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Assigned - TRAN ADMIN Event was caught\n");
+    
+}
+
+static void FSM_locked_GO     (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Locked - GO Event was caught\n");
+    
+}
+
+static void FSM_locked_OUT    (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Locked - OUT Event was caught\n");
+    TRAN(ASSIGNED_FSM_STATE);
+
+}
+
+static void FSM_locked_TICK   (FSM1 *me, Event const *e)
+{
+    (void)e;    
+    printf("State --> Locked - TICK Event was caught\n");
+
+}
+
+static void FSM_locked_ERR    (FSM1 *me, Event const *e)
+{
+    (void)e;    
+    printf("State --> Locked - ERR Event was caught\n");
+    TRAN(ERROR_STATE);
+
+}
+
+static void FSM_locked_CONF   (FSM1 *me, Event const *e)
+{
+    (void)e;
+    printf("State --> Locked - CONF Event was caught\n");
+    TRAN(SETTING_FSM_STATE);
+    
+}
+
+static void FSM_locked_TRAN   (FSM1 *me, Event const *e)
+{
+    (void)e;    
+    printf("State --> Locked - TRAN ADMIN Event was caught\n");
+    
+}
+ 
+ 
+void FSM_ctor(FSM1 *me, uint8_t defuse) {
+
+     static const Tran fsm_state_table[MAX_STATE][MAX_SIG] =
+    {
+        {(Tran)&FSM_setting_GO,  (Tran)&FSM_setting_OUT,  &StTbl_empty, (Tran)&FSM_setting_ERR, &StTbl_empty, (Tran)&FSM_setting_TRAN },
+        {(Tran)&FSM_ready_GO,    (Tran)&FSM_ready_OUT,    (Tran)&FSM_ready_TICK, (Tran)&FSM_ready_ERR, (Tran)&FSM_ready_CONF, (Tran)&FSM_ready_TRAN },
+        {(Tran)&FSM_assigned_GO, (Tran)&FSM_assigned_OUT, (Tran)&FSM_assigned_TICK, (Tran)&FSM_assigned_ERR, (Tran)&FSM_assigned_CONF, (Tran)&FSM_assigned_TRAN },
+        {(Tran)&FSM_locked_GO,   (Tran)&FSM_locked_OUT,   (Tran)&FSM_locked_TICK, (Tran)&FSM_locked_ERR, (Tran)&FSM_locked_CONF, (Tran)&FSM_locked_TRAN }
+    };
+    
+    StTbl_ctor(&me->super, &fsm_state_table[0][0], MAX_STATE, MAX_SIG, (Tran)&FSM_initial);
+    
+    me->defuse = defuse;
+}
+ 
+int main()
+{
+
+    static FSM1 _frdm_fsm;
+    static Event const go_evt     = { GO_SIG   };
+    static Event const out_evt    = { OUT_SIG };
+    static Event const err_evt    = { ERR_SIG };
+    static Event const conf_evt   = { CONF_SIG };
+    static TickEvt tick_evt       = { TICK_SIG, 0};
+
+    FSM_ctor(&_frdm_fsm, 0xFF);
+    
+    StTbl_init((StateTable *)&_frdm_fsm);
+    
+    pc.printf("Frdm K64F FSM App\r\n");
+
+    while (true) {
+        printf("Running\r\n\n");
+        gpo = !gpo; // toggle pin
+        led = !led; // toggle led
+        wait(0.2f);
     }
 }
+

--- a/mbed.bld	Fri May 09 19:58:03 2014 +0300
+++ b/mbed.bld	Wed Aug 06 18:39:59 2014 +0000
@@ -1,1 +1,1 @@
-http://mbed.org/users/mbed_official/code/mbed/builds/
\ No newline at end of file
+http://mbed.org/users/mbed_official/code/mbed/builds/6213f644d804
\ No newline at end of file