An integrated system of modelling, analysis and simulation for real-time networks

Author

Yuang, Maria C. ; Hsu, Steen J. ; Lee, Kenny Y. ; Huang, C.

Author_Institution

Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Taiwan

fYear

1992

fDate

13-16 Sep 1992

Firstpage

231

Lastpage

240

Abstract

A prototype workstation, called communication protocol analyzer and simulator system (CPASS), aimed at the modeling, verification, analysis, and simulation for real-time networks by means of a formal and automated approach is presented. The system is based on an extended finite state machine model, called SDL^N (a variant of SDL). It is composed of six components: network topology editor, SDL^NGR editor, protocol verifier and analyzer, SDL^N-to-C compiler, simulator, and statistical generator and comparator. The functionality of each component of CPASS is described. An example of a token ring network is used to illustrate the complete processes of modeling, analysis, and simulation

Keywords

performance evaluation; protocols; token networks; SDL^N-to-C compiler; SDL^NGR editor; communication protocol analyzer and simulator system; comparator; finite state machine model; integrated system; modelling; network topology editor; protocol verifier and analyzer; prototype workstation; real-time networks; simulation; simulator; statistical generator; token ring network; Access protocols; Analytical models; Computational modeling; Computer simulation; Graphics; Network topology; Performance analysis; Real time systems; Throughput; Virtual prototyping;

fLanguage

English

Publisher

ieee

Conference_Titel

Local Computer Networks, 1992. Proceedings., 17th Conference on

Conference_Location

Minneapolis, MN

Print_ISBN

0-8186-3095-7

Type

conf

DOI

10.1109/LCN.1992.228126

Filename

228126