-
题名面向嵌入式实时软件系统需求工程环境——SREE
被引量：4
- 1
-
-
作者
舒风笛
毋国庆
王敏
-
机构
武汉大学软件工程国家重点实验室计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2002年第4期4-8,14,共6页
-
基金
国家自然科学基金
高等学校博士点专项科研基金
-
文摘
1前言
软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂.为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE工具的需求工程正不断向着需求工程自动化的方向发展.
-
关键词
软件工程
软件开发
嵌入式实时软件系统
软件需求工程
SREE
-
Keywords
Embedded real-time software, Requirements specifications , RTRSM, Prototyping method , Simulation execution
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种嵌入式实时系统软件的形式化开发方法
- 2
-
-
作者
杨捷
毋国庆
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第13期26-29,80,共5页
-
基金
国家自然科学基金(编号:69873035)
高等学校博士点专项科研基金
-
文摘
领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望。
-
关键词
嵌入式实时系统软件
形式化开发方法
软件工程
-
Keywords
embedded real-time system,requirement analysis,requirement specification,architectural modeling,architecture des cription language,formal method
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于构图覆盖的软件需求检测方法
- 3
-
-
作者
王敏
毋国庆
朱立松
舒风笛
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机科学系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1963-1968,共6页
-
基金
国家自然科学基金 (项目号 :69873 0 3 5 )资助
高等学校博士点专项科研基金资助
-
文摘
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 .
-
关键词
嵌入式实时软件系统
需求规格说明
动态执行模型
构图
-
Keywords
embedded real time software systems
requirements specifications
dynamic execution model
configurations
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名组件思想在模拟执行的需求检查方法中的运用
被引量：2
- 4
-
-
作者
李勇华
毋国庆
舒风笛
熊子阳
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第3期61-63,共3页
-
基金
国家自然科学基金(编号:69873035)
高等学校博士点专项科研基金资助
-
文摘
模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。
-
关键词
组件思想
模拟执行
需求检查方法
软件开发
软件系统
嵌入式实时软件系统
需求规格说明
-
Keywords
Embedded real-time software systems ,Requirements specifications,Component
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
