Abstract
In this paper we show how network structure and traffic may be modeled and simulated using the Concurrent Object-Oriented Petri Nets formalism with system risk analysis in mind. A small example of network is given, along with its model, which is then extended and simulated. We also show the different directions we plan to take in order to make the models even more realistic and to be able to verify them.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Buchs, D., Costa, S., Hurzeler, D.: Component Based System Modelling for Easier Verification. In: Ezhilchevan, P., Romanovski, A. (eds.) Concurrency in Dependable Computing, pp. 61–86. Kluwer, Dordrecht (2002)
Hurzeler, D.: Flexible Subtyping Relations for Component-Oriented Formalisms and their Verification, PhD thesis n.3131, Swiss Federal Institute for Technology Lausanne (November 2004)
Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 73–127. Springer, Heidelberg (2001)
Diergardt, M., Mock, R.: New Ways of Applying the Petri Net Formalism in Risk Analysis, Technical Report, Swiss Federal Institute of Technology, Zurich (2004)
Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Safety Science 41, 445–463 (2003)
Lucio, L., Pedro, L., Buchs, D.: A Methodology and a Framework for Model-Based Testing. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol. 3475, pp. 57–70. Springer, Heidelberg (2005)
Wibling, O., Parrow, J., Pears, A.N.: Automatized Verification of Ad Hoc Routing Protocols. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 343–358. Springer, Heidelberg (2004)
Chiola, G.: A software package for the analysis of generalized stochastic Petri net models. In: Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press, Los Alamitos (1985)
Yanar, D.: Modellbasierte Risikoanalyse technischer Systeme für Versicherungszwecke (PhD thesis). Laboratory for Safety Analysis, Swiss Federal Institute of Technology, Zurich (1999)
Fabricius, S.: Modelling and Simulation for Plant Performability Assessment with Application to Maintenance in the Process Industry (PhD thesis). Laboratory for Safety Analysis, Swiss Federal Institute of Technology, Zurich (2003)
Buffo, M.: Experiences in coordination programming. In: Proceedings of the workshops of DEXA 1998 International Conference on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos (1998)
Buffo, M., Buchs, D.: A coordination model for distributed object systems. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 410–413. Springer, Heidelberg (1997)
Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)
Biberstein, O., Buchs, D.: Structured algebraic nets with object-orientation. In: Proc.of the first int. work-shop on Object-Oriented Programming and Models of Concurrency within the 16th Int. Conf. on Application and Theory of Petri Nets, Torino, Italy, June 26–30 (1995)
Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)
Chachkov, S.: Generation Of Object-Oriented Programs From CO-OPN Specifications, Phd Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2003)
Souksavanh, S.: Extending CO-OPN with Time, Diploma Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hurzeler, D. (2006). Network Structure and Traffic Modeling and Simulation with CO-OPN. In: Guelfi, N., Savidis, A. (eds) Rapid Integration of Software Engineering Techniques. RISE 2005. Lecture Notes in Computer Science, vol 3943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751113_18
Download citation
DOI: https://doi.org/10.1007/11751113_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34063-8
Online ISBN: 978-3-540-34064-5
eBook Packages: Computer ScienceComputer Science (R0)