A communication software design using ITECS environment

Author

Sarashina, Katsuyuki

Author_Institution

Adv. Intelligent Commun. Syst. Lab., Sendai, Japan

fYear

1995

fDate

3-7 Jul 1995

Firstpage

185

Lastpage

189

Abstract

In the design process of communication software, its specification needs to be rigorously defined without leaving any ambiguity. For this purpose, several FDTs (formal description techniques) have been proposed for the description of a rigorous specification. We developed a support environment for highly reliable computer aided software design based on FDTs. The paper proposes an integrated support environment, named ITECS, which has been developed based on LOTOS as the FDTs, to support a formal description of communication software specification and verification. ITECS comprises of two subsystems: one to support specification of the message sequence charts and graphical LOTOS specifications, and the other to support the verification of LOTOS specifications. This paper discusses the specification support of the ITECS environment

Keywords

computer communications software; formal specification; formal verification; programming environments; specification languages; ITECS environment; communication software design; communication software specification; communication software verification; formal description techniques; graphical LOTOS specifications; integrated support environment; message sequence charts; specification support; Communication standards; Communication system software; Intelligent systems; Laboratories; Natural languages; Open systems; Process design; Programming; Software design; Software standards;

fLanguage

English

Publisher

ieee

Conference_Titel

Networks, 1995. Theme: Electrotechnology 2000: Communications and Networks. [in conjunction with the] International Conference on Information Engineering., Proceedings of IEEE Singapore International

Print_ISBN

0-7803-2579-6

Type

conf

DOI

10.1109/SICON.1995.526043

Filename

526043