Software architecture for automated communications software development

From a communications software development support viewpoint, various formal description techniques (FDTs) have been studied and proposed. An application method of an FDT based on a concurrent process model that can be fully automatically analyzed is discussed. A target system software architecture that overcomes the lack of FDT expressive power is proposed. The applicability of the method that uses the FDT and architecture, and the performance of the target system are both evaluated through experiments on a key telephone system software development. The experimental results show that the proposed method achieves a performance level suitable for practical use and has portability to other target systems