Abstract
This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
D Harel. Statecharts: A Visual Formalism for Complex System.Science of Computer Programming, 1987,8: 231–274.
D Harel, H Lachover, A Namad,et al. A Shtull-Trauning and M. Trakhtenbrot, Statemate: A working environment for the development of complex reactive system.IEEE Trans on Software Eng, 1990,16 (4): 403–414.
Nancy G Leveson, Mats P E Heimdahl, Holly Hildreth,et al. Requirements Specification for Process-Control system.IEEE Trans on Software Eng, 1994,20(9): 685–707.
Ding Shi-guan, Takuya Katayama. Specification Reactive System with Attributed Finite State Machines.The 7th International Workshop on Software Specification and Design, Redondo Beach, CA, Dec., 1993: 90–99.
B Dasarathy. Time Constraints of Real-time Systems: Constructs for Expressing Them, Methods of Validating Them.IEEE Trans on Software Eng, 1985,11 (1): 80–86.
Author information
Authors and Affiliations
Additional information
Foundation item: Supported by the National Natural Science Foundation of China (69873035) and the Research Fund for the Doctoral Program of Higher Education(RFDP)
Biography: Wu Guo-qing(1954-), male, Professor, research interest: software formal theory, requirement engineering.
Rights and permissions
About this article
Cite this article
Guo-qing, W., Hai-feng, X., Pen, Z. et al. Specifying requirements of real-time system with rules and templates. Wuhan Univ. J. Nat. Sci. 5, 278–284 (2000). https://doi.org/10.1007/BF02830134
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02830134