Towards automatic synthesis of a class of application-specific sensor networks
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Formal Models for Embedded System Design
IEEE Design & Test
Formal Models for Communication-Based Design
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The development of wireless sensor system for pressure and temperature signals monitoring
Proceedings of the 1st international conference on Ambient media and systems
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
Communication protocols are essential components of wireless systems. Present methods for protocol design are heuristic in nature and are not suited for next generation wireless systems where time-to-market concerns require correct-the-first-time implementations. In this paper we present a new design methodology for wireless protocols based on the principle of orthogonalization of concerns. In particular, the methodology separates function and architecture design and emphasizes the use of formal models to ensure correctness and reduce design time. Protocols are described using co-design finite state machines (CFSMs), a model of computation that has been introduced to allow the efficient capture of both the control and the data processing parts of the specification. Furthermore, algorithms for automatic hardware and software synthesis from CFSMs are available. This allows a fast exploration of different HW/SW partitions and the analysis of tradeoffs involved. Intercom, a mobile wireless system supporting full-duplex voice communication among different users, is presented and the design of its protocols is described. The design methodology presented here will be used for the design of PicoRadio, a low-power and highly adaptive network of sensors.