一种嵌入式实时系统软件的形式化开发方法

• 作者: 杨捷 毋国庆
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 嵌入式实时系统 需求分析 需求规格说明书 体系结构建模 体系结构描述语言 形式化方法
• 年，卷（期）: 2002,（13）
• 所属期刊栏目: 博士论坛
• 页码范围: 26-29,80
• 页数: 5页
• 分类号: TP311
• 字数: 6015字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2002.13.009

摘要

领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法.文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机科学系	72	470	12.0	17.0
2	杨捷	武汉大学软件工程国家重点实验室	4	20	2.0	4.0