Wireless protocols design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Wireless protocols design: challenges and opportunities

Full text

Pdf (142 KB)

Source

International Conference on Hardware Software Codesign archive
Proceedings of the eighth international workshop on Hardware/software codesign table of contents

San Diego, California, United States

Pages: 147 - 151

Year of Publication: 2000

ISBN:1-58113-268-9

Authors

J. L. da Silva, Jr.	University of California at Berkeley
M. Sgroi	University of California at Berkeley
F. De Bernardinis	University of California at Berkeley
S. F. Li	University of California at Berkeley
A. Sangiovanni-Vincentelli	University of California at Berkeley
J. Rabaey	University of California at Berkeley

Sponsors

Computer Conservation Society : Computer Conservation Society
IFIP WG 10.5 : IFIP WG 10.5
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 38, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/334012.334044 What is a DOI?

ABSTRACT

Modern wireless communication systems require the deployment of increasingly complex protocols that satisfy tight requirements at low implementation cost, especially in terms of size and power consumption. Most protocol design methodologies currently in use are inadequate, either because they do not rely upon formal techniques and therefore do not guarantee correctness, or because they do not provide sufficient support for performance analysis and design exploration and therefore often lead to sub-optimal implementations. Therefore, we use a refinement-based formal methodology that relies upon the orthogonalization of function and architecture design and emphasizes the use of formal models to ensure correctness and reduce design time. In this paper we present a case study, the Intercom, consisting of a network of mobile terminals supporting voice communication among end users. We use this case study to validate the methodology and identify directions of further research.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Felice Balarin , Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli , Ellen Sentovich , Kei Suzuki , Bassam Tabbara, Hardware-software co-design of embedded systems: the POLIS approach, Kluwer Academic Publishers, Norwell, MA, 1997
	2	Cierto Virtual Component Codesign (VCC). Cadence Design Systems. http://www.cadence.com/technology/hwsw/ciertovcc/
	3	Telelogic, Inc. http://www.telelogic.com/
	4	Tensilica, Inc. http://www.tensilica.com/
	5	P.Lettieri, M.Srivastava. Advances in Wireless Terminals. IEEE Personal Communication. Feb 1999. Vol.6 No.1
	6	Marco Sgroi , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, Formal Models for Embedded System Design, IEEE Design & Test, v.17 n.2, p.14-27, April 2000 [doi>10.1109/54.844330]
	7	S. F. Li, M. Wan and J. Rabaey, Configuration Code Generation and Optimizations for Heterogeneous Reconfigurable DSPs, SIPS99, Taipei, Taiwan.
	8	S. Wuytack, J. L. da Silva Jr., F. Catthoor, G. de Jong, C. Ykman, Memory Management for Embedded Network Applications. IEEE Transactions on Computer-aided Design, May 1999.

CITED BY 5

	M. Sgroi , M. Sheets , A. Mihal , K. Keutzer , S. Malik , J. Rabaey , A. Sangiovanni-Vencentelli, Addressing the system-on-a-chip interconnect woes through communication-based design, Proceedings of the 38th conference on Design automation, p.667-672, June 2001, Las Vegas, Nevada, United States
	Robert K. Brayton, The future of logic synthesis and verification, Logic Synthesis and Verification, Kluwer Academic Publishers, Norwell, MA, 2001
	Rong Chen , Marco Sgroi , Luciano Lavagno , Grant Martin , Alberto Sangiovanni-Vincentelli , Jan Rabaey, UML and platform-based design, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
	Stylianos Mamagkakis , Alexandros Bartzas , Georgios Pouiklis , David Atienza , Francky Catthoor , Dimitrios Soudris , Antonios Thanailakis, Systematic methodology for exploration of performance - Energy trade-offs in network applications using Dynamic Data Type refinement, Journal of Systems Architecture: the EUROMICRO Journal, v.53 n.7, p.417-436, July, 2007
	Laura Vanzago , Bishnupriya Bhattacharya , Joel Cambonie , Luciano Lavagno, Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform, Proceedings of the conference on Design, Automation and Test in Europe, p.10662, March 03-07, 2003