您的位置： 专家智库 > >

张云峰

作品数：4 被引量：0H指数：0
供职机构：西北工业大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文专利

领域

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

主题

  • 4篇嵌入式
  • 2篇延时
  • 2篇硬件
  • 2篇硬件描述语言
  • 2篇映射
  • 2篇软件测试
  • 2篇设计阶段
  • 2篇实时系统
  • 2篇嵌入式软件
  • 2篇嵌入式软件测...
  • 2篇嵌入式实时系...
  • 2篇嵌入式系统
  • 2篇自动机
  • 2篇自动机模型
  • 2篇描述语言
  • 2篇模态
  • 2篇精化
  • 2篇AADL

机构

  • 4篇西北工业大学

作者

  • 4篇朱宇峰
  • 4篇张凡
  • 4篇马春燕
  • 4篇董云卫
  • 4篇张云峰
  • 2篇周伟超

年份

  • 1篇2014
  • 1篇2013
  • 2篇2011
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种基于AADL模态时间自动机模型的嵌入式软件测试方法
本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
董云卫张云峰马春燕张凡周伟超朱宇峰
文献传递
一种基于模型的嵌入式系统流延时属性测试方法
本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将A...
董云卫朱宇峰马春燕张凡张云峰
一种基于模型的嵌入式系统流延时属性测试方法
本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将A...
董云卫朱宇峰马春燕张凡张云峰
文献传递
一种基于AADL模态时间自动机模型的嵌入式软件测试方法
本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
董云卫张云峰马春燕张凡周伟超朱宇峰
全选 清除 导出
共1页<1>
聚类工具0