Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach

About this item

Title

Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach

Content partner

University of Canterbury Library

Collection

UC Research Repository

Description

Wireless sensor networks are an increasingly popular application area for embedded systems. Individual sensor nodes within a network are typically resource-constrained, event-driven, and require a high degree of concurrency. This combination of requirements motivated the development of the widely-used TinyOS sensor node operating system. The TinyOS concurrency model is a lightweight non-preemptive system designed to suit the needs of typical sensor network applications. Although the TinyOS co...

Read more

Format

Research paper

Research format

Journal article

Date created

2011

Creator

McInnes, A.I.

URL

http://hdl.handle.net/10092/5372

Related subjects

firmware / wireless sensor network / TinyOS / nesC / CSP / process algebra / design / languages / verification / Information and Computing Sciences / Computer Software / Software Engineering / Information and computing sciences / Distributed computing and systems software / Operating systems

What is the copyright status of this item?

All Rights Reserved

This item is all rights reserved, which means you'll have to get permission from University of Canterbury Library before using it.

More Information

You can learn more about the rights status of this item at: https://hdl.handle.net/10092/17651

What can I do with this item?

You must always check with University of Canterbury Library to confirm the specific terms of use, but this is our understanding:

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying

You are not allowed to adapt or remix this item into any other works.

No commercial use

You may not use this item commercially.