A method for development of adequate requirement specification in the plant control software domain

Authors:
Masakazu Takahashi;Yoshinori Fukue;Satoru Takahashi;Takashi Kawasaki
Affiliations:
Shimane University, Nishikawatsu, Matsue, Shimane, Japan;Tokushima University, Tokushima, Japan;Tsukuba University, Tokyo, Japan;Muza Kawasaki, Central Tower 19F, New Energy and Technology Development Organization, Kawasaki, Japan
Venue:
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2006

Citing 8
Cited 0

Strategies for real-time system specification

Strategies for real-time system specification
Rapid application development

Rapid application development
Object-oriented software engineering

Object-oriented software engineering
Real-time UML (2nd ed.): developing efficient objects for embedded systems

Real-time UML (2nd ed.): developing efficient objects for embedded systems
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Structured Analysis and System Specification

Structured Analysis and System Specification
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties

IEEE Transactions on Software Engineering
Comprehension and quality of analysis specifications-a comparison of FOOM and OPM methodologies

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a method for development of adequate requirement specifications in the Plant Control Software (PCSW). Before we propose this method, we have analyzed this domain and developed the components as parameter-customized-style in order to facilitate the customization. In the proposed method, PCSW requirement specification is developed from information that is used to customize components. We applied it to five development cases, and achieved 91[%] of Requirement Coverage and 94 [%] of the Requirement Conformity Rate. This result indicates that proposed method have sufficient capabilities to develop exhaustive and adequate PCSW requirement specification.