Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Development of the domain name system
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Next century challenges: mobile networking for “Smart Dust”
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
The design and implementation of an intentional naming system
Proceedings of the seventeenth ACM symposium on Operating systems principles
Directed diffusion: a scalable and robust communication paradigm for sensor networks
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Wireless Communications: Principles and Practice
Wireless Communications: Principles and Practice
Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
System Design: Traditional Concepts and New Paradigms
ICCD '99 Proceedings of the 1999 IEEE International Conference on Computer Design
Control systems: smart buildings
IEEE Spectrum
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Benefits and challenges for platform-based design
Proceedings of the 41st annual Design Automation Conference
Medium access control with coordinated adaptive sleeping for wireless sensor networks
IEEE/ACM Transactions on Networking (TON)
Algorithm Design and Synthesis for Wireless Sensor Networks
ICPP '04 Proceedings of the 2004 International Conference on Parallel Processing
Versatile low power media access for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Communication Models for Algorithm Design in Networked Sensor Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
Proceedings of the 5th ACM international conference on Embedded software
The design and evaluation of a query processing architecture for sensor networks
The design and evaluation of a query processing architecture for sensor networks
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Platform-based design of wireless sensor networks for industrial applications
Proceedings of the conference on Design, automation and test in Europe: Proceedings
System level design paradigms: Platform-based design and communication synthesis
Proceedings of the 41st annual Design Automation Conference
Distributed Sensing and Control Architecture for Automotive Factory Automation
HoloMAS '09 Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Evaluating a BASIC approach to sensor network node programming
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
A methodology for power consumption evaluation of wireless sensor networks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Tool-aided design and implementation of indoor surveillance wireless sensor network
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
GreenDisc: a HW/SW energy optimization framework in globally distributed computation
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Hi-index | 0.00 |
We present a novel methodology for the design of interoperable Wireless Sensor Networks (WSN). The methodology is based on the principles of Platform Based Design (PBD). PBD is a meet-in-the-middle approach where the top-down refinement of a design specification meets with bottom-up characterizations of possible alternative implementations. The design space exploration is performed based on estimates of the performance of the candidate solutions so that the overall design process is considerably sped up as expensive re-designs are avoided and design re-use is favored. PBD is based on the rigorous definition of appropriate abstraction layers that are effective in shielding the drudgery of implementation details while allowing the important information to be taken into account. If each layer is formally specified, formal verification, refinement and synthesis are all possible. Yet while the overarching approach is general, the layers of abstraction and the accompanying tools can be (and in general, are) application dependent.In this paper, we present three abstraction layers for WSNs and the tools that "bridge" these layers. We present a case study that show how the methodology covers all the aspects of the design process, from conceptual description to implementation.