To search, Click below search items.

 

All Published Papers Search Service

Title

An efficient development method for plant control software using algebraic specification and software components

Author

Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda

Citation

Vol. 6  No. 1  pp. 69~80

Abstract

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[%].

Keywords

Plant, control software, algebraic specification, software components, integrated development environment

URL

http://paper.ijcsns.org/07_book/200601/200601A11.pdf