A State-Based Programming Model for Wireless Sensor Networks

More documents

Recommendations

Info

172 Appendix A. OSM Code Generation 519 bitE.E31 = bitE.E96&&!((__STATE_PROG_A2)); 520 bitE.E103 = bitE.E31&&(__STATE_PROG_A1); 521 if (bitE.E103) { 522 __STATE_PROG_A10; 523 } 524 bitE.E104 = bitE.E96&&(__STATE_PROG_A2); 525 if (bitE.E104) { 526 __STATE_PROG_A9; 527 } 528 if (_false) { 529 __STATE_PROG_A10; 530 } 531 if (_false) { 532 __STATE_PROG_A9; 533 } 534 bitE.E31 = bitE.E31&&!((__STATE_PROG_A1)); 535 bitE.E31 = bitE.E31||bitE.E104||bitE.E103; 536 bitE.E105 = __STATE_PROG_bitR.R8&&!(__STATE_PROG_bitR.R0); 537 bitE.E86 = ((bitE.E2||bitE.E90||bitE.E89)&&bitE.E93&&bitE.E91)|| 538 ((bitE.E28||bitE.E85||bitE.E84)&&bitE.E88&&bitE.E86)|| 539 bitE.E102||bitE.E105||bitE.E101||bitE.E97||bitE.E99||bitE.E31; 540 bitE.E63 = ((bitE.E11||bitE.E57||bitE.E14)&&bitE.E16&&bitE.E18)|| 541 ((bitE.E6||bitE.E62||bitE.E61)&&bitE.E65&&bitE.E63)||bitE.E77|| 542 bitE.E69||bitE.E70||((bitE.E75||bitE.E68)&&bitE.E75&&bitE.E68); 543 bitE.E92 = __STATE_PROG_bitR.R1||__STATE_PROG_bitR.R8||bitE.E87||bitE.E92; 544 bitE.E15 = __STATE_PROG_bitR.R9||bitE.E64||bitE.E15; 545 bitE.E64 = bitE.E92||bitE.E15; 546 bitE.E63 = ((bitE.E64&&!(bitE.E92))||bitE.E86)&&((bitE.E64&&!(bitE.E15))|| 547 bitE.E63)&&(bitE.E86||bitE.E63); 548 bitE.E96 = bitE.E96; 549 bitE.E86 = bitE.E97; 550 bitE.E95 = bitE.E95; 551 bitE.E15 = _false; 552 __STATE_PROG_bitR.R0 = _false; 553 __STATE_PROG_bitR.R1 = bitE.E102||bitE.E101; 554 __STATE_PROG_bitR.R2 = bitE.E99||(!(bitE.E35)&&bitE.E89); 555 __STATE_PROG_bitR.R3 = !(bitE.E35)&&bitE.E90; 556 __STATE_PROG_bitR.R4 = bitE.E99||(!(bitE.E35)&&bitE.E2); 557 __STATE_PROG_bitR.R5 = bitE.E97||(!(bitE.E30)&&bitE.E84); 558 __STATE_PROG_bitR.R6 = !(bitE.E30)&&bitE.E85; 559 __STATE_PROG_bitR.R7 = bitE.E97||(!(bitE.E30)&&bitE.E28); 560 __STATE_PROG_bitR.R8 = bitE.E105||bitE.E31; 561 __STATE_PROG_bitR.R9 = bitE.E77||bitE.E69; 562 __STATE_PROG_bitR.R10 = !(bitE.E17)&&bitE.E57; 475 bitE.E79 = bitE.E68; 476 bitE.E80 = _false; 477 bitE.E81 = bitE.E31; 478 bitE.E82 = _false; 479 bitE.E83 = bitE.E35; 480 bitE.E28 = bitE.E28&&!((__STATE_PROG_A1)); 481 bitE.E84 = __STATE_PROG_bitR.R5&&!(__STATE_PROG_bitR.R0); 482 bitE.E85 = __STATE_PROG_bitR.R6&&!(__STATE_PROG_bitR.R0); 483 bitE.E84 = (!(bitE.E31)&&bitE.E85)||(!(bitE.E31)&&bitE.E84&& 484 __STATE_PROG_bitR.R5)||(bitE.E31&&bitE.E84&&__STATE_PROG_bitR.R5); 485 bitE.E85 = bitE.E31&&bitE.E85&&__STATE_PROG_bitR.R6; 486 bitE.E86 = __STATE_PROG_bitR.R6||__STATE_PROG_bitR.R5; 487 bitE.E87 = bitE.E86||__STATE_PROG_bitR.R7; 488 bitE.E86 = (bitE.E87&&!(bitE.E86))||bitE.E85||bitE.E84; 489 bitE.E88 = (bitE.E87&&!(__STATE_PROG_bitR.R7))||bitE.E28; 490 bitE.E30 = bitE.E31&&(bitE.E88||bitE.E29||bitE.E30)&&bitE.E86; 491 bitE.E89 = __STATE_PROG_bitR.R2&&!(__STATE_PROG_bitR.R0); 492 bitE.E90 = __STATE_PROG_bitR.R3&&!(__STATE_PROG_bitR.R0); 493 bitE.E89 = (!(bitE.E35)&&bitE.E90)||(!(bitE.E35)&&bitE.E89&& 494 __STATE_PROG_bitR.R2)||(bitE.E35&&bitE.E89&&__STATE_PROG_bitR.R2); 495 bitE.E90 = bitE.E35&&bitE.E90&&__STATE_PROG_bitR.R3; 496 bitE.E91 = __STATE_PROG_bitR.R3||__STATE_PROG_bitR.R2; 497 bitE.E92 = bitE.E91||__STATE_PROG_bitR.R4; 498 bitE.E91 = (bitE.E92&&!(bitE.E91))||bitE.E90||bitE.E89; 499 bitE.E2 = bitE.E2&&!((__STATE_PROG_A1)); 500 bitE.E93 = (bitE.E92&&!(__STATE_PROG_bitR.R4))||bitE.E2; 501 bitE.E35 = bitE.E35&&(bitE.E93||bitE.E3||bitE.E34)&&bitE.E91; 502 bitE.E94 = bitE.E30||bitE.E35; 503 bitE.E95 = bitE.E94||__STATE_PROG_bitR.R0; 504 bitE.E96 = !(bitE.E4)&&bitE.E95; 505 bitE.E97 = bitE.E96&&bitE.E34; 506 bitE.E98 = bitE.E97; 507 bitE.E95 = bitE.E4&&bitE.E95; 508 bitE.E4 = bitE.E95&&__STATE_PROG_bitR.R0; 509 if (bitE.E4) { 510 __STATE_PROG_A5; 511 } 512 bitE.E99 = (bitE.E95&&!(__STATE_PROG_bitR.R0))||bitE.E4; 513 bitE.E100 = bitE.E99; 514 bitE.E94 = bitE.E94; 515 bitE.E96 = bitE.E96&&!(bitE.E34); 516 bitE.E101 = !(bitE.E31)&&bitE.E96; 517 bitE.E102 = __STATE_PROG_bitR.R1&&!(__STATE_PROG_bitR.R0); 518 bitE.E96 = bitE.E31&&bitE.E96;
A.5. Compilation 173 7 -ansi -B "test" "C:\Temp\ssc2356.ssc" gcc -I.. -Wall -c -o prog.o 8 prog.c prog.c: In function ‘main’: prog.c:74: warning: implicit 9 declaration of function ‘exit’ prog.c:79: warning: implicit 10 declaration of function ‘STATE_PROG_I_e’ prog.c:82: warning: implicit 11 declaration of function ‘STATE_PROG_I_f’ gcc -I.. -Wall -c -o 12 noncanonical_termio.o ../noncanonical_termio.c gcc -I.. -Wall -c -o 13 test.o test.c test.c:46: warning: ‘__STATE_PROG_PActionArray’ defined 14 but not used gcc prog.o test.o noncanonical_termio.o -o prog 15 kasten@laptop ~/projects/kasten/src/osm/osmc2/test > 563 __STATE_PROG_bitR.R11 = bitE.E68||(!(bitE.E17)&&bitE.E11); 564 __STATE_PROG_bitR.R12 = (!(bitE.E17)&&bitE.E19)||(!(bitE.E17)&&bitE.E52); 565 __STATE_PROG_bitR.R13 = bitE.E75||bitE.E74||(!(bitE.E46)&&bitE.E48); 566 __STATE_PROG_bitR.R14 = !(bitE.E46)&&bitE.E47; 567 __STATE_PROG_bitR.R15 = bitE.E75||bitE.E74||(!(bitE.E46)&&bitE.E24); 568 __STATE_PROG_bitR.R16 = bitE.E9||(!(bitE.E49)&&bitE.E51); 569 __STATE_PROG_bitR.R17 = !(bitE.E49)&&bitE.E50; 570 __STATE_PROG_bitR.R18 = bitE.E9||(!(bitE.E49)&&bitE.E21); 571 __STATE_PROG_bitR.R19 = bitE.E70||(!(bitE.E7)&&bitE.E61); 572 __STATE_PROG_bitR.R20 = !(bitE.E7)&&bitE.E62; 573 __STATE_PROG_bitR.R21 = bitE.E70||(!(bitE.E7)&&bitE.E6); A.5.2 Makefile 574 __STATE_PROG__reset_input(); 575 return bitE.E63; 576 } 1 # ----------------------------------------------------------- 2 # files and directories 3 # ----------------------------------------------------------- 577 578 /* AUTOMATON RESET */ 4 TARGET = prog 5 6 OSM_SRCS = test.osm 7 C_SRCS = prog.c noncanonical_termio.c 579 580 int STATE_PROG_reset () { 581 __STATE_PROG_bitR.R0 = 1; 582 __STATE_PROG_bitR.R1 = 0; 583 __STATE_PROG_bitR.R2 = 0; 8 # generated sources 9 GENE_SRCS = $(OSM_SRCS:.osm=.strl) 10 GENC_SRCS = $(OSM_SRCS:.osm=.c) 11 12 SRCS = $(GENC_SRCS) $(C_SRCS) 13 OBJS = $(SRCS:.c=.o) [...] 602 __STATE_PROG_bitR.R21 = 0; 603 __STATE_PROG__reset_input(); 604 return 0; 605 } 14 15 VPATH = .. 16 17 # ----------------------------------------------------------- 18 # programs 19 # ----------------------------------------------------------- 20 # the esterel compiler requires c:\temp to exist! 21 ESTERELC = $(ESTEREL)/bin/esterel.exe 22 # java must be in PATH 23 JAVA = java 24 # OSM.class must be in CLASSPATH A.5 Compilation A.5.1 Example Compilation <strong>for</strong> the BTnode Emulation 25 OSM = $(JAVA) OSM 26 27 RM = rm -Rf 28 MV = mv 29 CP = cp 30 ECHO = echo 1 kasten@laptop ~/projects/kasten/src/osm/osmc2/test > make # # 2 generating esterel-files from test.osm # java OSM test.osm Checking 3 ... done. Writing Esterel code and C include file to "test.strl" and 4 "test.h" ... done. # # generating c-files from test.strl # 5 C:\PROGRA~1\Esterel/bin/esterel.exe -Lc:-ansi -causal test.strl 6 C:\Cygwin\home\kasten\projects\kasten\src\osm\osmc2\test\10>occ -sscc
Page 1:
Diss. ETH Nr. 17397 A State-Based P
Page 4 and 5:
ii The main idea behind OSM is to e
Page 6 and 7:
iv These, dass ein solches zustands
Page 8 and 9:
vi Contents 2.4.3 Wireless Sensor N
Page 10 and 11:
viii Contents 8.2.4 Program State M
Page 12 and 13:
2 Chapter 1. Introduction This make
Page 14 and 15:
4 Chapter 1. Introduction for senso
Page 16 and 17:
6 Chapter 1. Introduction programmi
Page 18 and 19:
8 Chapter 2. Wireless Sensor Networ
Page 20 and 21:
10 Chapter 2. Wireless Sensor Netwo
Page 22 and 23:
Page 24 and 25:
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33:
Page 34 and 35:
Page 36 and 37:
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
32 Chapter 3. Programming and Runti
Page 44 and 45:
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
62 Chapter 4. Event-driven Programm
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
84 Chapter 5. The Object-State Mode
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
100 Chapter 6. Implementation When
Page 112 and 113:
102 Chapter 6. Implementation speci
Page 114 and 115:
104 Chapter 6. Implementation Progr
Page 116 and 117:
106 Chapter 6. Implementation state
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
112 Chapter 6. Implementation runti
Page 124 and 125:
114 Chapter 6. Implementation PROG_
Page 126 and 127:
116 Chapter 6. Implementation the s
Page 128 and 129:
118 Chapter 6. Implementation the i
Page 130 and 131:
120 Chapter 7. State-based Programm
Page 132 and 133: 122 Chapter 7. State-based Programm
Page 150 and 151: 140 Chapter 8. Related Work guage.
Page 152 and 153: 142 Chapter 8. Related Work Control
Page 154 and 155: 144 Chapter 8. Related Work and out
Page 156 and 157: 146 Chapter 8. Related Work applica
Page 158 and 159: 148 Chapter 8. Related Work low-lev
Page 160 and 161: 150 Chapter 8. Related Work
Page 162 and 163: 152 Chapter 9. Conclusions and Futu
Page 168 and 169: 158 Appendix A. OSM Code Generation
Page 186 and 187: 176 Appendix B. Implementations of
Page 192 and 193: 182 Bibliography [11] Charles Andr
Page 194 and 195: 184 Bibliography [36] Cormac Duffy,
Page 196 and 197: 186 Bibliography [60] Jason Lester
Page 198 and 199: 188 Bibliography [85] Alan Mainwari
Page 200 and 201: 190 Bibliography [110] Karsten Stre
Page 202 and 203: 192 Bibliography
show all

A State-Based Programming Model for Wireless Sensor Networks

Create successful ePaper yourself

Delete template?

Save as template?