This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ashok, R. L., Duggirala, R., and Agrawal, D. P. (2003) Energy efficient bridge management policies for inter-piconet communication in bluetooth scatternets. In: Proceedings of the IEEE Semiannual Vehicular Technology Conference (VTC2003-Fall), Orlando, FL.
Bjorklund, D., Lilius, J., and Porres, I. (2004) A unified approach to code generation from behavioral diagrams. In: Languages for System Specification: Selected Contributions from FDL’03. Kluwer Academic Publishers, Norwell, MA, pp. 21–34.
Bluetooth SIG (2003) Bluetooth Core Specification v1.2. Bluetooth Special Interest Group (SIG). https://www.bluetooth.org/spec.
Bogliolo, A., Benini, L., Lattanzi, E., and De Micheli, G. (2004) Specification and analysis of power-managed systems. Proceedings of the IEEE, 92 (8):1308–1346.
Ginger Alliance (2006) Sablotron: XSLT, DOM and XPath Processor. Ginger Alliance. http://www.gingerall.com/charlie/ga/xml/p_sab.xml.
Harel, D. (1987) Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231–274.
Hassoun, M. H. (1995) Fundamentals of Artificial Neural Networks. MIT Press, Cambridge, MA.
Holt, R. C., Winter, A., and Schürr, A. (2000) GXL: toward a standard exchange format. In: Proceedings of the 7th Working Conference on Reverse Engineering (WCRE) 2000. IEEE Computer Society, p. 162.
Jin, Y., Esser, R., and Janneck, J. W. (2002) Describing the syntax and se-mantics of uml statecharts in a heterogeneous modelling environment. In: Proceedings of the Second International Conference on Theory and Application of Diagrams (DIAGRAMS) 2002, Callaway Gardens, GA.
Jones, C. E., Sivalingam, K. M., Agrawal, P., and Chen, J. C. (2001) A survey of energy efficient network protocols for wireless networks. Wireless Networks, 7(4):343–358.
Lattanzi, E., Acquaviva, A., and Bogliolo, A. (2004) Run-time software mon-itor of the power consumption of wireless network interface cards. In: Proceedings of the 14th International Workshop on Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation (PATMOS) 2004. Springer, Santorini, Greece, pp. 352–361.
Negri, L. and Zanetti, D. (2006) Power/performance tradeoffs in bluetooth sensor networks. In: Proceedings of the 39th Hawaii Conference on System Sciences (HICSS-39).
Negri, L., Sami, M., Macii, D., and Terranegra, A. (2004) Fsm-based power modeling of wireless protocols: the case of bluetooth. In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design. ACM Press, New York, pp. 369–374.
Nguyen, K. D., Sun, Z., Thiagarajan, P. S., and Wong, W. F. (2004) Model-driven SoC design via executable UML to systemC. In: Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS) 2004.
OMG (2005) MOF 2.0 / XMI Mapping Specification, v2.1. Object Manage-ment Group (OMG). http://www.omg.org/technology/documents/formal/xmi.htm.
Panda, P. R. (2001) Systemc: a modeling platform supporting multiple design abstractions. In: Proceedings of the 14th International Symposium on Systems Synthesis. ACM Press, New York, pp. 75–80.
Simunic, T., Vikalo, H., Glynn, P., and De Micheli, G. (2000) Energy efficient design of portable wireless systems. In: Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED) 2000, pp. 49-54.
Toh, C.-K., Cobb, H., and Scott, D. A. (2001) Performance evaluation of battery-life-aware routing schemes for wireless ad hoc networks. In: Proceedings of the IEEE International Conference on Communications, volume 9, pp. 2824-2829.
VINT (2006) The Network Simulator ns-2. The VINT Project. http://www.isi.edu/nsnam/ns/.
Zeng, X., Bagrodia, R., and Gerla, M. (1998) GloMoSim: a library for parallel simulation of large-scale wireless networks. In: Proceedings of the 12th Workshop on Parallel and Distributed Simulation. IEEE Computer Society, pp. 154-161.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Negri, L., Chiarini, A. (2006). Power Simulation of Communication Protocols with StateC. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_16
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)