Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Reasoning About Discovery Clouds Read chapter Read first chapter

2016 | OriginalPaper | Chapter

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

Authors : Lars Michael Kristensen, Vegard Veiset

Published in: Application and Theory of Petri Nets and Concurrency

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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 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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
next chapter Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
Literature
1.
Levis, P., et al.: TOSSIM: accurate and scalable simulation of entire TinyOS applications. In: Proceedings of SenSys 2003, pp. 126–137. ACM (2003)
2.
Winter, T., et al.: RPL: IPv6 routing protocol for low-power and lossy networks. RFC 6550, 2012. Internet Engineering Task Force (2012)
3.
Jensen, K., Kristensen, L.M.: Coloured Petri nets: a graphical language for modelling and validation of concurrent systems. CACM 58(6), 61–70 (2015)CrossRef
4.
El Kaim, W., Kordon, F.: Code generation (Chap. 21). In: Girault, C., Valk, R. (eds.) Petri Nets for System Engineering, pp. 433–470. Springer, Berlin (2003)CrossRef
5.
Kristensen, L.M., Westergaard, M.: Automatic structure-based code generation from coloured Petri nets: a proof of concept. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 215–230. Springer, Heidelberg (2010)CrossRef
6.
Lassen, K.B., Tjell, S.: Translating colored control flow nets into readable Java via annotated Java workflow nets. In: Proceedings of 8th CPN Workshopp (2007)
7.
Levis, P.: TinyOS Programming. Cambridge University Press, Cambridge (2009)CrossRef
8.
Philippi, S.: Automatic code generation from high-level Petri-nets for model driven systems engineering. J. Syst. Softw. 79(10), 1444–1455 (2006)CrossRef
9.
Reinke, C.: Haskell-coloured Petri nets. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol. 1868, pp. 165–180. Springer, Heidelberg (2000)CrossRef
10.
Silva, A.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Utilities 43, 139–155 (2015)
11.
Simonsen, K., Kristensen, L., Kindler, E.: Pragmatics annotated coloured Petri nets for protocol software generation and validation. In: Proceedings of PNSE 2015, CEUR-WS, vol. 1372, pp. 79–98 (2015)
12.
Simonsen, K.I.F., Kristensen, L.M., Kindler, E.: Generating protocol software from CPN models annotated with pragmatics. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol. 8195, pp. 227–242. Springer, Heidelberg (2013)CrossRef
13.
14.
Veiset, V., Kristensen, L.M.: Transforming platform independent CPN model into code for the TinyOS platform. In: Proceedings of PNSE 2013, CEUR-WS, vol. 989, pp. 259–260 (2013)
15.
Westergaard, M.: Access/CPN 2.0: a high-level interface to coloured Petri net models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 328–337. Springer, Heidelberg (2011)CrossRef
Metadata
Title
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
Authors
Lars Michael Kristensen
Vegard Veiset
Copyright Year
2016
Book
Application and Theory of Petri Nets and Concurrency

Print ISBN: 978-3-319-39085-7

Electronic ISBN: 978-3-319-39086-4

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-39086-4_10

Premium Partner

    Image Credits