嵌入式实时软件需求规格说明的原型化检测方法

摘要：

提出了一个检测嵌入式实时软件需求规格说明的方法.该方法将原型化方法，可执行的需求描述语言和动画显示集成为一体，并可模拟执行嵌入式实时软件的需求规格说明.此外，也阐述了这个方法的基本原理和某些实现方法.最后，讨论了这个方法及相关的支持环境的特点.

关键词：需求工程、嵌入式实时软件、需求规格说明、原型化方法

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金68973035;高等学校博士学科点专项科研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：313-317