您的位置： 专家智库 > >

陈更

作品数：1 被引量：3H指数：1
供职机构：电子科技大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇实时性
  • 1篇嵌入式
  • 1篇嵌入式实时软...
  • 1篇开发环境

机构

  • 1篇电子科技大学

作者

  • 1篇李允
  • 1篇陈更
  • 1篇桂盛霖
  • 1篇罗蕾

传媒

  • 1篇计算机科学

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
嵌入式实时软件模型开发环境研究被引量：3
2012年
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。
李允桂盛霖陈更罗蕾
关键词：嵌入式实时软件实时性
全选 清除 导出
共1页<1>
聚类工具0