期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
安全苛刻系统自动化测试的形式化语义模型
被引量：
5
1
作者
吕江花
马世龙
+1 位作者
李先军
高世伟
《软件学报》
EI
CSCD
北大核心
2014年第3期489-505,共17页
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient...
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.
展开更多
关键词
安全苛刻系统
测试
自动化测试
设备协同
高阶演算
标记转换系统
实时
在线阅读
下载PDF
职称材料
面向同步规范的并行代码自动生成
被引量：
3
2
作者
胡凯
张腾
+2 位作者
尚利宏
杨志斌
Jean-Pierre TALPIN
《软件学报》
EI
CSCD
北大核心
2017年第7期1698-1712,共15页
随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台...
随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-Open MP作为对象,结合程序中信号的时钟关系,将并行任务映射到Open MP并行代码,并进行了实例验证.
展开更多
关键词
同步规范
SIGNAL
并行程序
代码生成
OPENMP
在线阅读
下载PDF
职称材料
题名
安全苛刻系统自动化测试的形式化语义模型
被引量：
5
1
作者
吕江花
马世龙
李先军
高世伟
机构
软件开发
环境
国家
重点
实验室
(
北京航空航天大学计算机学院
)
出处
《软件学报》
EI
CSCD
北大核心
2014年第3期489-505,共17页
基金
国家自然科学基金(61300007
61003016)
+1 种基金
软件开发环境国家重点实验室开放基金(SKLSDE-2012ZX–28
SKLSDE-2013ZX-11)
文摘
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.
关键词
安全苛刻系统
测试
自动化测试
设备协同
高阶演算
标记转换系统
实时
Keywords
safety critical systems （SCS）
test
automatic test
equipment collaboration
high order
LTS
real time
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向同步规范的并行代码自动生成
被引量：
3
2
作者
胡凯
张腾
尚利宏
杨志斌
Jean-Pierre TALPIN
机构
软件开发
环境
国家
重点
实验室
(
北京航空航天大学计算机学院
)
南京
航空航天
大学
计算机
学院
Toulouse Institute of Computer Science Research
Institut National de Recherche en Informatique et en Automatique(INRIA)Rennes
出处
《软件学报》
EI
CSCD
北大核心
2017年第7期1698-1712,共15页
基金
国家自然科学基金(91538202
61672074)
软件开发国家重点实验室基金(SKLSDE-2016ZX-16)~~
文摘
随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-Open MP作为对象,结合程序中信号的时钟关系,将并行任务映射到Open MP并行代码,并进行了实例验证.
关键词
同步规范
SIGNAL
并行程序
代码生成
OPENMP
Keywords
synchronous specification
SIGNAL
parallel program
code generation
OpenMP
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
安全苛刻系统自动化测试的形式化语义模型
吕江花
马世龙
李先军
高世伟
《软件学报》
EI
CSCD
北大核心
2014
5
在线阅读
下载PDF
职称材料
2
面向同步规范的并行代码自动生成
胡凯
张腾
尚利宏
杨志斌
Jean-Pierre TALPIN
《软件学报》
EI
CSCD
北大核心
2017
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
