期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
AltaRica语言在安全性仿真分析平台中的实现与应用
原文传递
导出
摘要
通过分析Alta Rica语言的特性,在借鉴了编译原理相关理论的基础上,介绍如何实现Alta Rica语言的编译解析框架以及在安全性仿真分析平台中的应用。
作者
赖智超
机构地区
中航工业综合技术研究所
出处
《航空标准化与质量》
2015年第6期37-41,共5页
Aeronautic Standardization & Quality
关键词
AltaRica语言
编译解析
仿真分析平台
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
杨文通,张第,何煜琛,张乃龙.
基于Pro/E的仿真分析平台的建立[J]
.机械设计与制造,2005(10):63-64.
被引量:2
2
仵志鹏,胡军,陈松,石娇洁.
面向AltaRica模型的嵌入式系统安全性验证方法[J]
.计算机科学与探索,2017,11(1):24-36.
被引量:1
3
王静 ,齐杏林 ,吕静 .
引信软件安全性仿真测试系统研究[J]
.军械工程学院学报,2005,17(3):18-20.
被引量:1
4
胡军,石娇洁,程桢,陈松,王明明.
一种基于四变量模型的系统安全性建模与分析方法[J]
.计算机科学,2016,43(11):193-199.
被引量:6
5
邢逆舟,王立松.
基于模型驱动的航电系统安全性分析[J]
.计算机与现代化,2015(1):21-26.
被引量:4
6
胡军,陈松,王明明.
AltaRica 3.0模型到Promela模型转换与验证方法研究[J]
.计算机工程与科学,2017,39(4):708-716.
被引量:6
7
郑君杰,肖军模,杨明,刘志华,叶松,周延年.
基于有色Petri网的安全协议安全性仿真[J]
.系统仿真学报,2006,18(11):3294-3296.
被引量:3
8
杜爱民,杜玉彪,楼狄明,黄晓东.
发动机曲柄连杆机构动力学仿真分析平台研究[J]
.计算机仿真,2010,27(11):278-282.
被引量:5
9
刘超,唐涛,李开成.
基于失效逻辑建模的轨道交通信号系统安全评估方法[J]
.系统仿真学报,2014,26(6):1208-1216.
被引量:1
10
彭启凤,周易,黄国健,刘金,陈敏.
特种设备仿真云计算平台搭建[J]
.自动化与信息工程,2015,36(5):29-32.
被引量:2
航空标准化与质量
2015年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部