1 Hit in 0.25 sec

Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol

Vegard Veiset, Lars Michael Kristensen
2013 Applications and Theory of Petri Nets  
TinyOS is a widely used platform for the development of networked embedded systems offering a programming model targeting resource constrained devices. We present a software engineering approach where Coloured Petri Net (CPNs) models are used as a starting point for developing protocol software for the TinyOS platform. The approach consists of five refinement steps where a platform-independent CPN model is gradually transformed into a platform-specific model that enables automatic code
more » ... n. To evaluate our approach, we use it to obtain an implementation of the IETF RPL routing protocol for sensor networks.
dblp:conf/apn/VeisetK13 fatcat:mx5n423dcbgthny7wcfwzqamxi