Advertisement

Abstract

This paper presents the experiences obtained from modeling and analyzing a real-world application of distributed embedded computing. The modeling language Coloured Petri Nets (CPN) has been applied to analyze the properties of a communication system in a windmill, which enables a group of embedded computers to share a group of variables. A CPN-based model of the system is used to analyze certain real-time properties of the system.

Keywords

Real-time systems communication protocol Coloured Petri Nets performance analysis 

REFERENCES

  1. [1]
    Vestas wind systems, http://www.vestas.com.Google Scholar
  2. [2]
    David D. Clark. The design philosophy of the DARPA intemet protocols. In SIGCOMM, pages 106–114, Stanford, CA, August 1988. ACM.Google Scholar
  3. [3]
    Kurt Jensen. Coloured petri nets: A high level language for system design and analysis. Lecture Notes in Computer Science; Advances in Petri Nets 1990, 483:342–416, 1991. Newsletterlnfo: 39.Google Scholar
  4. [4]
    Ping Ji, Zihui Ge, Jim Kurose, and Don Towsley. A comparison of hard-state and softstate signaling protocols. In SIGCOMM’ 03: Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, pages 251–262, New York, NY, USA, 2003. ACM Press.Google Scholar
  5. [5]
    R. Greg Lavender and Douglas C. Schmidt. Active object: an object behavioral pattern for concurrent programming, pages 483–499, 1996.Google Scholar
  6. [6]
    Suchitra Raman and Steven McCanne. A model, analysis, and protocol framework for soft state-based communication. In SIGCOMM, pages 15–25, 1999.Google Scholar
  7. [7]
    Simon Tjell. Modeling and analysis of a communication protocol for windmills (Danish only). Master’s thesis, University of Aarhus, 2005. (http://daimi.au.dk/-tjell/thesis.pdf).Google Scholar
  8. [8]
    M.E. Villapol and J. Billington. Modelling and initial analysis of the resource reservation protocol using coloured petri nets. In Proc. Of the Workshop on Practical Use of High-Level Petri Nets, within the 21st International Conference on Applications and Theory of PetriNets, pages 91–110, 2000.Google Scholar

Copyright information

© International Federation for Information Processing 2006

Authors and Affiliations

  • Simon Tjell
    • 1
  1. 1.Department of Computer ScienceUniversity of AarhusDenmark

Personalised recommendations