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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Demarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood Cliffs (1979)
Douglass, B.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley Longman, Amsterdam (2000)
Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House Publising, New York (1988)
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)
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)
Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. ACM Press, New York (1992)
Martin, J.: Rapid Application Development. Macmillian Publishing Company, NYC (1991)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Takahashi, M., Fukue, Y., Takahashi, S., Kawasaki, T. (2006). A Method for Development of Adequate Requirement Specification in the Plant Control Software Domain. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004_37
Download citation
DOI: https://doi.org/10.1007/11893004_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46537-9
Online ISBN: 978-3-540-46539-3
eBook Packages: Computer ScienceComputer Science (R0)