嵌入式实时软件模型开发环境研究

• 作者: 李允 桂盛霖 罗蕾 陈更
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 嵌入式实时软件 模型驱动 模型开发环境 功能安全 实时性
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 形式化与网络应用
• 页码范围: 226-229,244
• 页数: 5页
• 分类号: TP311.56
• 字数: 5735字
• 语种: 中文

摘要

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境.其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码.通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李允	电子科技大学计算机科学与工程学院	25	207	9.0	13.0
2	罗蕾	电子科技大学计算机科学与工程学院	58	583	14.0	21.0
3	桂盛霖	电子科技大学计算机科学与工程学院	13	85	6.0	9.0
4	陈更	电子科技大学计算机科学与工程学院	1	3	1.0	1.0