A requirements engineering environment for embedded real-time software—SREE
LI Yong-hua, Fengdi Shu, Guoqing Wu, Liang Zhengping · Wuhan University Journal of Natural Sciences · 2006
The paper presents the embedded real-time soft-ware-oriented requirements engineering environment SREE. 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.