1 / 37

Translating ESTM to CSP

Translating ESTM to CSP. Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore. Extended State Transition Matrix. Similar to State Transition Diagram Based on tables, not diagrams. Extended State Transition Matrix.

ghita
Download Presentation

Translating ESTM to CSP

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore

  2. Extended State Transition Matrix • Similar to State Transition Diagram • Based on tables, not diagrams

  3. Extended State Transition Matrix • No formal semantics • Semantics defined through implementation • Non-trivial features • Hierarchical tables • Hierarchical events ...

  4. Simple STM

  5. Simple STM

  6. Simple STM

  7. Simple STM

  8. Simple STM

  9. Simple STM

  10. Syntax Sugar

  11. Syntax Sugar

  12. Syntax Sugar

  13. Simple STM

  14. Hierarchical events

  15. Hierarchical events

  16. Hierarchical events

  17. Hierarchical events

  18. Hierarchical events

  19. Hierarchical events

  20. Hierarchical events

  21. Hierarchical events

  22. Hierarchical STM

  23. Hierarchical STM

  24. Hierarchical STM

  25. Hierarchical STM

  26. Hierarchical STM

  27. Hierarchical STM

  28. Hierarchical STM

  29. Hierarchical STM

  30. Hierarchical STM

  31. Hierarchical STM

  32. Hierarchical STM

  33. Hierarchical STM

  34. Hierarchical STM

  35. Hierarchical STM

  36. Hierarchical STM Where

  37. Further work • More feature • Hierarchical states, Parallel states • Interrupt • Event type… • Experiments using PAT • Comparison to Garakabu2

More Related