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

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^N GR 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