A systematic design method for a communication system is presented, where system design, validation, implementation and maintenance can be developed under a consistent philosophy. The DAI-expression method for describing communication protocols is proposed to support the above mentioned design method. Here, DAI-expression consists of three types fo expressions, depending upon description purposes such as design, validation and implementation. In addition a new design language, COPDEL, is introduced as a logical design-oriented expression. Finally, the validation algorithm EXPA, a generalization of perturbation analysis is shown.
|Place of Publication||Tokyo, Jpn|
|出版ステータス||Published - 1984|
ASJC Scopus subject areas