2024年8月20日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
朱宇峰
作品数:
7
被引量:2
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张