Advertisement

Network Structure and Traffic Modeling and Simulation with CO-OPN

  • David Hurzeler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3943)

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.

Keywords

Swiss Federal Institute Coordination Model Context Module Message Loss Request Queue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Hurzeler, D.: Flexible Subtyping Relations for Component-Oriented Formalisms and their Verification, PhD thesis n.3131, Swiss Federal Institute for Technology Lausanne (November 2004)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
  5. 5.
    Diergardt, M., Mock, R.: New Ways of Applying the Petri Net Formalism in Risk Analysis, Technical Report, Swiss Federal Institute of Technology, Zurich (2004)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Yanar, D.: Modellbasierte Risikoanalyse technischer Systeme für Versicherungszwecke (PhD thesis). Laboratory for Safety Analysis, Swiss Federal Institute of Technology, Zurich (1999)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)Google Scholar
  17. 17.
    Chachkov, S.: Generation Of Object-Oriented Programs From CO-OPN Specifications, Phd Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2003)Google Scholar
  18. 18.
    Souksavanh, S.: Extending CO-OPN with Time, Diploma Thesis, Software Engineering Laboratory, Swiss Federal Institute for Technology Lausanne (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • David Hurzeler
    • 1
  1. 1.System Modeling and Verification GroupUniversity of GenevaGenevaSwitzerland

Personalised recommendations