首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有