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.
Key words embedded real-time system - requirements specification - requirements verification - simulation execution
CLC number TP 311.5
Foundation item: Supported by the National Natural Science Foundation of China(69873035), the K. C. Wong Education Foundation, Hong Kong,
China
Biography: LI Younghua (1977-), male, Ph. D. candidate, research direction: software engineering.