Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • Now the S&B state machine code pattern is supported
  • Required conventions:
    • States are represented by an enum and classes
    • Events must be present as enum
    • evaluator function for handling events
    • change state function
  • Required parts are marked with comments for the analysis
  • rvh: The general understandably would be improved if the layout algorithm would arrange cycles clock-wise
  • enEntry/onExit handlers are currently not supported
  • If the sate is selected the code section of the evaluate function should be marked

Dataflow Extraction (lan)

  • Focus on general overview rather than comuptations
  • Deduce struct element readers and writers