Formalization and Simulation Telecommunication Protocols and Systems using PLA Method

Authors

  • H. Pranevicius Kaunas University of Technology
  • I. Praneviciene Kaunas University of Technology
  • R. Benkunskis Kaunas University of Technology

Abstract

The aggregate approach and its possibilities for specification and analysis of computer network protocols are presented. The theoretical basis of the aggregate approach is a piece-linear aggregate (PLA) for a formal specification of systems. The advantage of this approach is that it permits to create models both for analysis correctness of specifications and simulation. Some methods that can be used for validation and verification of aggregate specifications are presented also. The presented approach is illustrated by formal specification of CSMD/SD protocol and simulation results. Ill. 6, bibl. 4 (in English; summaries in Lithuanian, English, Russian).

Downloads

Published

2005-04-19

How to Cite

Pranevicius, H., Praneviciene, I., & Benkunskis, R. (2005). Formalization and Simulation Telecommunication Protocols and Systems using PLA Method. Elektronika Ir Elektrotechnika, 60(4), 5-10. Retrieved from https://eejournal.ktu.lt/index.php/elt/article/view/10422

Issue

Vol. 60 No. 4 (2005)

Section

T 180 TELECOMMUNICATION ENGINEERING

License

The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.

By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.