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

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 executabl...

Full description

Saved in:
Bibliographic Details
Published in:Wuhan University journal of natural sciences 2006-05, Vol.11 (3), p.533-538
Main Authors: Yonghua, Li, Fengdi, Shu, Guoqing, Wu, Zhengping, Liang
Format: Article
Language:English
Subjects:
模拟执行
真实时间系统
需求规约
需求验证
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1007-1202
1993-4998
DOI:10.1007/BF02836659