• Admin
    UC Research Repository
    View Item 
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Conference Contributions
    • View Item
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Conference Contributions
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of the RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    Statistics

    View Usage Statistics

    Using CSP to Model and Analyze TinyOS Applications

    Thumbnail
    View/Open
    12614966_mcinnes-ecbs09-csp_tinyos-postprint.pdf (389.4Kb)
    Author
    McInnes, A.I.
    Date
    2009
    Permanent Link
    http://hdl.handle.net/10092/2466

    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.

    Subjects
    Concurrency
     
    Process algebra
     
    TinyOS
     
    Fields of Research::280000 Information, Computing and Communication Sciences
     
    Fields of Research::290000 Engineering and Technology
    Collections
    • Engineering: Conference Contributions [2012]
    Rights
    https://hdl.handle.net/10092/17651

    UC Research Repository
    University Library
    University of Canterbury
    Private Bag 4800
    Christchurch 8140

    Phone
    364 2987 ext 8718

    Email
    ucresearchrepository@canterbury.ac.nz

    Follow us
    FacebookTwitterYoutube

    © University of Canterbury Library
    Send Feedback | Contact Us