Code generation from statecharts: Simulation of wireless sensor networks

Proceedings - 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008

Volumn , Issue , 2008, Pages 525-534

  Mura, Marcello ^a   Sami, Maria Giovanna ^b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; AUTOMATIC PROGRAMMING; CLOCKS; COMPUTER NETWORKS; COMPUTER SIMULATION LANGUAGES; HYBRID SENSORS; MANAGEMENT; SENSOR NETWORKS; SENSORS; SYSTEMS ANALYSIS; UNIFIED MODELING LANGUAGE;

AUTOMATIC GENERATION OF CODES; CODE GENERATIONS; CONCURRENT PROCESSES; DUTY CYCLES; EVENT BASED; IEEE 802.15.4; MODELING LANGUAGES; NETWORKING PROTOCOLS; ORDERS OF MAGNITUDES; POWER SIMULATORS; RESEARCH FIELDS; SOLUTION MIXING; SPEED-UP; SYSTEMC; TEST CASES; TIME MANAGEMENTS; UML DIAGRAMS;

WIRELESS SENSOR NETWORKS;

EID: 57649239587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2008.106     Document Type: Conference Paper

References (17)

1. http://www.ilogix.com/sublevel.aspx?id=74.
2. http://www.mathworks.com/products/stateflow/.
3. http://www.omg.org/mda/.
4. http://www.omg.org/technology/documents/profile-catalog.htm.
5. UML: The unified modeling language - standard, version 2.0, Aug. 2005.
6. M. V. D. Beek. A comparison of StateChart variants. In Formal Techniques in Real-Time and Fault tolerant Systems, 1994.
7. F. Fummi, M. Sami, and F. Tartarini. Use of Statecharts-Related description to achieve testable design of control subsystems. In Proc. GLSVLSI, 1997.
8. D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comput. Program., 1987.
9. D. Harel and A. Naamad. The STATEMATE semantics of StateCharts. ACM Transactions on Software Engineering and Methodologies, 1995.
10. D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML Statechart diagrams using the spin model-checker. Journal of Logic and Algebraic Programming, 11, 1999.
11. M. Mura and M. Paolieri. Sc2: State charts to system c: Automatic executable models generation. In proceedings FDL07, Barcelona, Spain.
12. M. Mura, M. Paolieri, F. Fabbri, L. Negri, and M. G. Sami. Power modeling and power analysis for IEEE 802.15.4: a concurrent state machine approach. In Proc. CCNC, 2007.
13. L. Negri, M. Sami, D. Macii, and A. Terranegra. Fsm-based power modeling of wireless protocols: the case of bluetooth. In Proceedings of ISLPED '04.
14. K. D. Nguyen, Z. Sun, P. Thiagarajan, and W. Wong. Model-driven SoC design via executable UML to SystemC. In Proc. of RTSS.
15. A. Pnueli and M. Shalev. What is in a step: on the semantics of StateCharts. In Proceedings of the symposium on theoretical aspects of computer software, 1991.
16. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A model-driven design environment for embedded systems. In proceedings DAC, 2006.
17. C. Xi, L. JianHua, Z. ZuCheng, and S. YaoHui. Modeling SystemC design in UML and automatic code generation. In Proceedings of ASP-DAC, 2005.