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

摘要：

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

关键词：嵌入式实时软件、模型驱动、模型开发环境、功能安全、实时性

所属期刊栏目：39

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

资助基金：核高基重大专项2009ZX01038-002-003;国家自然科学基金项目90718019

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

页数：共5页

页码：226-229,244