Name
Abstract | ||
|---|---|---|
The TinyOS concurrency model, although easier to reason about than shared-state threads, may still produce undesirable behavior as a result of unexpected interleaving of concurrent activities. This is problematic, since TinyOS applications are typically intended to run unattended for long periods of time, and must be reliable. In this paper, we describe a technique for modeling the interactions between TinyOS application components, and between an application and the TinyOS scheduling and preemption mechanisms, using the process algebra CSP. Analysis of the resulting process models can help TinyOS application developers to discover and diagnose concurrency-related errors in their designs that might otherwise go undetected until deployment of the application. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ECBS.2009.34 | ECBS |
Keywords | Field | DocType |
process algebra csp,tinyos application,tinyos application developer,tinyos scheduling,diagnose concurrency-related error,concurrent activity,tinyos concurrency model,resulting process model,analyze tinyos applications,long period,tinyos application component,synchronization,application software,scheduling,data mining,probability density function,process algebra,concurrency,application development,process model,hardware,operating systems,testing,communicating sequential processes,algebra,concurrent computing | Concurrency,Computer science,Scheduling (computing),Communicating sequential processes,Thread (computing),Real-time computing,nesC,Concurrent computing,Application software,Process calculus,Embedded system,Distributed computing | Conference |
Citations | PageRank | References |
4 | 0.40 | 9 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Allan I Mcinnes | 1 | 9 | 4.32 |