Title :
A communication software design using ITECS environment
Author :
Sarashina, Katsuyuki
Author_Institution :
Adv. Intelligent Commun. Syst. Lab., Sendai, Japan
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;
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
DOI :
10.1109/SICON.1995.526043