A Requirements Engineering Environment for Embedded Real-Time Software—SREE  

作　　者：LI Yonghua SHU Fengdi WU Guoqing LIANG Zhengping 

机构地区：[1]School of Computer, Wuhan University, Wuhan 430072, Hubei, China [2]Department of Computer, Shenzhen University,Shenzhen 518060, Guangdong, China

出　　处：《Wuhan University Journal of Natural Sciences》2006年第3期533-538,共6页武汉大学学报（自然科学英文版）

基　　金：Supported by the National Natural Science Foun-dation of China(69873035) ;the K.C. Wong Education Foundation,Hong Kong,China

摘　　要：The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.

关 键 词：embedded real-time system requirements specification requirements verification simulation execution 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]