A Method for Development of Adequate Requirement Specification in the Plant Control Software Domain

  • Masakazu Takahashi
  • Yoshinori Fukue
  • Satoru Takahashi
  • Takashi Kawasaki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4252)


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.


Requirement Specification Requirement Coverage Repeat Analog Emergency Stop Concrete Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Braberman, V., Kicillof, N., Olivero, A.: TA Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Transactions on Software Engineering 31(12), 1028–1041 (2005)CrossRefGoogle Scholar
  2. 2.
    Demarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood Cliffs (1979)Google Scholar
  3. 3.
    Douglass, B.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley Longman, Amsterdam (2000)Google Scholar
  4. 4.
    Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House Publising, New York (1988)Google Scholar
  5. 5.
    Kabeli, J., Shoval, P.: Comprehension and quality of analysis specifications - a comparison of FOOM and OPM methodologies. Information and Software Technology 47(4), 271–290 (2005)CrossRefGoogle Scholar
  6. 6.
    Kobayashi, H., Kawata, Y., Maekawa, M., Kawasaki, A., Yabu, A., Onogawa, K.: Modeling External Objects of Process Control Systems in Executable Specifications. Journal of Information Processing Society of Japan 35(7), 1402–1409 (1994)Google Scholar
  7. 7.
    Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. ACM Press, New York (1992)zbMATHGoogle Scholar
  8. 8.
    Martin, J.: Rapid Application Development. Macmillian Publishing Company, NYC (1991)Google Scholar
  9. 9.
    Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Masakazu Takahashi
    • 1
    • 2
  • Yoshinori Fukue
    • 3
  • Satoru Takahashi
    • 4
  • Takashi Kawasaki
    • 5
  1. 1.Shimane UniversityNishikawatsu, MatsueJapan
  2. 2.Galaxy Express CorporationTokyoJapan
  3. 3.Tokushima UniversityTokushimaJapan
  4. 4.Tsukuba UniversityTokyoJapan
  5. 5.Muza Kawasaki, Central Tower 19FNew Energy and Technology Development OrganizationKawasakiJapan

Personalised recommendations