Embedded system synthesis by timing constraints solving
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Partitioning Processor Arrays under Resource Constraints
Journal of VLSI Signal Processing Systems
Algorithm 515: Generation of a Vector from the Lexicographical Index [G6]
ACM Transactions on Mathematical Software (TOMS)
Formal Models for Embedded System Design
IEEE Design & Test
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
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Fast searches for effective optimization phase sequences
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
Proceedings of the 26th International Conference on Software Engineering
An analysis of a large scale habitat monitoring application
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Model Synthesis for Real-Time Systems
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Software design patterns for TinyOS
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Sensor networks for medical care
Proceedings of the 3rd international conference on Embedded networked sensor systems
A survey of application distribution in wireless sensor networks
EURASIP Journal on Wireless Communications and Networking
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
An approach toward profit-driven optimization
ACM Transactions on Architecture and Code Optimization (TACO)
Memetic algorithms for parallel code optimization
International Journal of Parallel Programming
Task Construction for Model-Based Design of Embedded Control Software
IEEE Transactions on Software Engineering
Towards the testing of power-aware software applications for wireless sensor networks
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
IEEE Communications Magazine
| Hi-index | 0.00 |
Wireless sensor network (WSN) applications sense events in situ and compute results in-network. Their software components should run on platforms with stringent constraints on node resources. To meet these constraints, developers often design their programs by trial-and-error. Such manual process is time-consuming and error-prone. Based on an existing task view that treats a WSN application as tasks and models resources as constraints, we propose a new component view that associates components with code optimization techniques and constraints. We provide a visualization mechanism to help developers select code optimization techniques. We also develop algorithms to synthesize components running on nodes, fulfilling the constraints, and thus optimizing their quality.