首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Specifying requirements of real-time system with rules and templates
Authors:Wu Guo-qing  Xiao Hai-feng  Zheng Pen  Ying Shi
Institution:(1) State Key Lab of Computer Software Engineering, Wuhan University, 430072 Wuhan, China
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. 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.
Keywords:requirements specification model  requirements specification  real-time system  finite state machine
本文献已被 万方数据 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号