您的位置： 专家智库 > >

朱宇峰

作品数：7 被引量：2H指数：1
供职机构：西北工业大学更多>>
发文基金：陕西省自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇期刊文章

领域

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

主题

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

机构

  • 7篇西北工业大学

作者

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

传媒

  • 1篇西北工业大学...

年份

  • 1篇2014
  • 2篇2013
  • 3篇2011
  • 1篇2010
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于模型的嵌入式系统流延时属性测试方法
本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将A...
董云卫朱宇峰马春燕张凡张云峰
一种基于SystemC的AADL软构件模型仿真测试实例生成方法
本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程...
马春燕董云卫朱晓燕朱宇峰
文献传递
一种基于AADL模态时间自动机模型的嵌入式软件测试方法
本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
董云卫张云峰马春燕张凡周伟超朱宇峰
文献传递
一种基于模型的嵌入式系统流延时属性测试方法
本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将A...
董云卫朱宇峰马春燕张凡张云峰
文献传递
一种基于SystemC的AADL软构件模型仿真测试实例生成方法
本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程...
马春燕董云卫朱晓燕朱宇峰
AADL测试模型的构造研究被引量：2
2010年
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。
马春燕董云卫朱宇峰陆伟
关键词：AADL
一种基于AADL模态时间自动机模型的嵌入式软件测试方法
本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
董云卫张云峰马春燕张凡周伟超朱宇峰
全选 清除 导出
共1页<1>
聚类工具0