Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
Lars Michael Kristensen, Vegard Veiset · Lecture notes in computer science · 2016
TinyOS is a widely used platform for the development of networked embedded systems offering a programming model targeting resource constrained devices. We present a semi-automatic 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 that allow a developer to gradually transform a platform-independent CPN model into a platform-specific model that enables automatic code generation. To evaluate our approach, we use it to obtain an implementation of the IETF RPL routing protocol for sensor networks. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.