Specifying Requirements of Real-Time System with Rules and Templates

This paper presents a model specifying requirements of real-time systems. Dif ferent from existing researches, this model mainly uses rules and templa tes to represent hierarchical FSMs (Finite State Machine). In this model, one ru le corresponds to one state transition of FSM and one template corresponds to on e 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 und erstand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this m odel, and discusses characters of this model in the end.