Modelling and analysis of LooCI models in zigduino

The Zigduino is an open-source Arduino compatible microcontroller platform with an integrated 802.15.4 radio. The Loosely-coupled Component Infrastructure (LooCI) is a component-based middleware for building sensor network applications that runs on the Contiki operating system, which provides IPv6 networking. In this paper, we describe our approach to, and experiences of porting the LooCI/Contiki stack to the Zigduino platform.