Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI ...
Extended State Transition Matrix <ul><li>Similar to State Transition Diagram </li></ul><ul><li>Based on tables, not diagra...
Extended State Transition Matrix <ul><li>No formal semantics </li></ul><ul><li>Semantics defined through implementation </...
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Syntax Sugar
Syntax Sugar
Syntax Sugar
Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0
Hierarchical STM return … … e4 P1 S3 S4 e3 S4 S3 T1
Hierarchical STM Where … … e2 □ T1 … S2 e1 S2 S1 T0 … … e4 return … S4 e3 S4 S3 T1
Further work <ul><li>More feature </li></ul><ul><ul><li>Hierarchical states, Parallel states </li></ul></ul><ul><ul><li>In...
Upcoming SlideShare
Loading in …5
×

Translating STM to CSP

583 views

Published on

Published in: Technology, Education
  • Be the first to comment

  • Be the first to like this

Translating STM to CSP

  1. 1. Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore
  2. 2. Extended State Transition Matrix <ul><li>Similar to State Transition Diagram </li></ul><ul><li>Based on tables, not diagrams </li></ul>
  3. 3. Extended State Transition Matrix <ul><li>No formal semantics </li></ul><ul><li>Semantics defined through implementation </li></ul><ul><li>Non-trivial features </li></ul><ul><ul><li>Hierarchical tables </li></ul></ul><ul><ul><li>Hierarchical events </li></ul></ul><ul><ul><li>... </li></ul></ul>
  4. 4. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  5. 5. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  6. 6. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  7. 7. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  8. 8. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  9. 9. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  10. 10. Syntax Sugar
  11. 11. Syntax Sugar
  12. 12. Syntax Sugar
  13. 13. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1
  14. 14. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  15. 15. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  16. 16. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  17. 17. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  18. 18. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  19. 19. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  20. 20. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  21. 21. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T
  22. 22. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  23. 23. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  24. 24. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  25. 25. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  26. 26. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  27. 27. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  28. 28. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  29. 29. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  30. 30. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  31. 31. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  32. 32. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  33. 33. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1
  34. 34. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0
  35. 35. Hierarchical STM return … … e4 P1 S3 S4 e3 S4 S3 T1
  36. 36. Hierarchical STM Where … … e2 □ T1 … S2 e1 S2 S1 T0 … … e4 return … S4 e3 S4 S3 T1
  37. 37. Further work <ul><li>More feature </li></ul><ul><ul><li>Hierarchical states, Parallel states </li></ul></ul><ul><ul><li>Interrupt </li></ul></ul><ul><ul><li>Event type… </li></ul></ul><ul><li>Experiments using PAT </li></ul><ul><li>Comparison to Garakabu2 </li></ul>

×