Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


Presentation on theme: "Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore."— Presentation transcript:

1 Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb 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 S1S2 e1 S2S1 P1P2 e2 S1 P3

5 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

6 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

7 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

8 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

9 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

10 Syntax Sugar

11

12

13 Simple STM S1S2 e1 S2S1 P1P2 e2 S1 P3

14 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

15 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

16 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

17 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

18 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

19 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

20 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

21 Hierarchical events TS1S2 e1 e3 S2 … P1 e4… … e2 ……

22 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

23 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

24 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

25 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

26 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

27 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

28 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

29 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

30 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

31 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

32 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

33 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4S3 P1return e4……

34 Hierarchical STM T0S1S2 e1 S2 … □T1 e2……

35 Hierarchical STM T1S3S4 e3 S4S3 P1return e4……

36 Hierarchical STM T0S1S2 e1 S2 … □T1 e2…… T1S3S4 e3 S4 … return e4…… Where

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


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

Similar presentations


Ads by Google