组件思想在模拟执行的需求检查方法中的运用

摘要：

模拟执行是一种重要的需求规格说明书(SRS)的检测方法.文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性.最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索.

关键词：嵌入式实时软件系统、需求规格说明、组件

所属期刊栏目：39

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

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

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

页数：共3页

页码：61-63