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.
Chapter PDF
Similar content being viewed by others
REFERENCES
Vestas wind systems, http://www.vestas.com.
David D. Clark. The design philosophy of the DARPA intemet protocols. In SIGCOMM, pages 106–114, Stanford, CA, August 1988. ACM.
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.
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.
R. Greg Lavender and Douglas C. Schmidt. Active object: an object behavioral pattern for concurrent programming, pages 483–499, 1996.
Suchitra Raman and Steven McCanne. A model, analysis, and protocol framework for soft state-based communication. In SIGCOMM, pages 15–25, 1999.
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).
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)