DMCA
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
BibTeX
@MISC{Veiset_transformingplatform,
author = {Vegard Veiset and Lars Michael Kristensen},
title = {Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. 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 generation. To evaluate our approach, we use it to obtain an implementation of the IETF RPL routing protocol for sensor networks. Introduction. Model-based software engineering and verification have several attractive properties in the development of flexible and reliable software systems. In order to fully leverage modelling investments, it is desireable to use the constructed models also for the implementation of the software on the platform under consideration. Coloured Petri Nets [2] (and Petri Nets in general) constitute
Keyphrases
tinyos platform platform independent cpn model case study rpl protocol coloured petri net platform-independent cpn model programming model automatic code generation constructed model platform-specific model model-based software engineering starting point protocol software refinement step networked embedded system sensor network reliable software system petri net ietf rpl software engineering approach several attractive property
