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

Model Development Environment Research of Embedded Real-time Software

作　　者：李允[1] 桂盛霖[1] 陈更[1] 罗蕾[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都611731

出　　处：《计算机科学》2012年第S3期226-229,244,共5页Computer Science

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

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]