文章基本信息

标题：An efficient development method for plant control software using algebraic specification and software components
本地全文：下载
作者：Masakazu Takahashi ; Satoru Takahashi, Kazuhiko,Tsuda
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：1A
页码：69-69~80
出版社：International Journal of Computer Science and Network Security
摘要：This paper proposes a method to efficiently develop Plant Control Software (PCS) using software components. PCSs are typically developed in individual order basis, and the conventional component-based development methods have difficulty of selecting appropriate software components based on design specifications. The proposed method addresses this problem by selecting software components using algebraic design specification. We have developed a prototype of Integrated PCS Development Environment (IPDE). This integrated environment supports processes from requirement definition through software implementation by gradually detailing algebraic design specification. In the IPDE, an initial requirement specification can be generated only by defining characteristics of targeted PCS using its domain model. Using this IPDE, even less experienced PCS developers can easily develop PCSs. Furthermore, the IPDE improves development efficiency and quality (especially adaptability and reliability) of PCSs. As a result of applying the IPDE to the actual PCS developments, the PCSs have been developed successfully using software components, except input and output parts which depend on hardware specification of control equipment. The reused rate of the source code is 65[%], and the reduced rate of development time is 58[%].
关键词：Plant, control software, algebraic specification, software components, integrated development environment