A Network-Centric Approach to Embedded Software for Tiny Devices

Culler, David; Hill, Jason; Buonadonna, Philip; Szewczyk, Robert; Woo, Alec

doi:10.1007/3-540-45449-7_9

Cited by 78 publications

(58 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…TinyOS [6] is a popular operating system for wireless sensor nodes. The associated programming language nesC [8] takes an approach similar to ours: Programs in nesC are structured in components.…”

Section: Simulation and Searchmentioning

confidence: 99%

An Object-Oriented Component Model for Heterogeneous Nets

Johnsen

Owe

Björk

et al. 2008

Formal Methods for Components and Objects

View full text Add to dashboard Cite

Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consist of subnets with different quality: Some components are tightly connected with order preservation of communicated messages, whereas others are more loosely connected such that overtaking of messages and even message loss may occur. Furthermore, certain components may communicate over wireless networks, where sending and receiving must be synchronized, since the wireless medium cannot buffer messages. This paper proposes a formal framework for such systems, which allows high-level modeling and formal analysis of distributed systems where interaction is managed by a variety of nets, including wireless ones. We introduce a simple modeling language for objectoriented components, extending the Creol language. An operational semantics for the language is defined in rewriting logic, which directly provides an executable implementation in Maude.

show abstract

Section: Simulation and Searchmentioning

confidence: 99%

An Object-Oriented Component Model for Heterogeneous Nets

Johnsen

Owe

Björk

et al. 2008

Formal Methods for Components and Objects

View full text Add to dashboard Cite

show abstract

“…Some approaches [3][4][5] aim to manipulate the power level of the transmitter, while still maintaining network connectivity; thus these approaches operate at the physical layer. Others focus on medium access control (MAC) layer techniques [6][7][8][9][10][11][12][13][14][15][16] to conserve battery power by turning the receiver off whenever it is not needed (e.g., when a node detects an ongoing conversation). Yet others focus on routing [17,18], proposing algorithms to choose routes in such a way as to maximize the lifetime of the network.…”

Section: Prior Workmentioning

confidence: 99%

Adaptive ad hoc self-organizing scheduling for quasi-periodic sensor network lifetime

Visweswara

Dutta

Sichitiu

2006

Computer Communications

View full text Add to dashboard Cite

Wireless sensor networks are poised to revolutionize our abilities in sensing and controlling our environment. Power conservation is a primary research concern for these networks. Often, the single most important savings can be obtained by switching off the wireless receiver when not needed. In this paper, we describe an algorithm which allows the nodes to learn the behavior of each other by only observing the transmission behaviors, and from this derive the schedule without external help. Our approach is robust to statistical variations in the nodal transmission periods. We draw important conclusions on the effect of quasi-periodicity on the scalability of the solution. We provide results of numerical simulations that show the effectiveness of our approach.

show abstract

“…The SmartDust/TinyOS platform was developed from the bottom up, shaped by the real-world energy limitations placed upon nodes in a distributed sensor network [5,6]. As such, each node is relatively resource poor in terms of bandwidth and peripherals.…”

Section: Related Workmentioning

confidence: 99%

Pushpin Computing System Overview: A Platform for Distributed, Embedded, Ubiquitous Sensor Networks

Lifton

Seetharam

Broxton

et al. 2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.A hardware and software platform has been designed and implemented for modeling, testing, and deploying distributed peer-to-peer sensor networks comprised of many identical nodes. Each node possesses the tangible affordances of a commonplace pushpin to meet ease-of-use and power considerations. The sensing, computational, and communication abilities of a "Pushpin", as well as a "Pushpin" operating system supporting mobile computational processes are treated in detail. Example applications and future work are discussed.

show abstract

A Network-Centric Approach to Embedded Software for Tiny Devices

Cited by 78 publications

References 7 publications

An Object-Oriented Component Model for Heterogeneous Nets

An Object-Oriented Component Model for Heterogeneous Nets

Adaptive ad hoc self-organizing scheduling for quasi-periodic sensor network lifetime

Pushpin Computing System Overview: A Platform for Distributed, Embedded, Ubiquitous Sensor Networks

Contact Info

Product

Resources

About