aLec14_FSM_debugging - Introduction to Embedded...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Introduction to Embedded Microcomputer Systems Lecture 14.1 Jonathan W. Valvano Recap Timer Debugging Intrusiveness Monitors and dumps Overview Finite state machine 8.7. Finite state machines with statically-allocated linked structures 8.7.1. Abstraction Software abstraction define a problem with a set of basic abstract principles separate policies mechanisms F inite S tate M achine (FSM.) inputs, outputs, states, and state transitions state graph defines relationships of inputs and outputs The three advantages of this abstraction are 1) it can be faster to develop 2) it is easier to debug (prove correct) and 3) it is easier to change What is a state? Description of current conditions What is a state graph? Graphical interconnection between states What is a controller? Software that inputs, outputs, changes state Accesses the state graph What is a finite state machine? Input sensors Output actuators Controller State graph Moore FSM output value depends only on the current state, and inputs affect the state transitions significance is being in a state input: when to change state output: how to be in that state S5 0101 CW S9 1001 CCW CW S10 1010 CCW CW S6 0110 CCW CW CCW
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Introduction to Embedded Microcomputer Systems Lecture 14.2 Jonathan W. Valvano Mealy FSM depend both on the current state and the inputs. output value depends on input and current state
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

aLec14_FSM_debugging - Introduction to Embedded...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online