×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [40]
华南理工大学 [2]
湖南大学 [2]
软件研究所 [2]
自动化研究所 [1]
上海电子信息职业技术... [1]
更多...
内容类型
会议论文 [23]
期刊论文 [20]
专利 [3]
学位论文 [3]
发表日期
2020 [3]
2019 [1]
2018 [1]
2017 [5]
2016 [5]
2015 [11]
更多...
学科主题
计算机科学技术 [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共49条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
AADL与Simulink/Stateflow组合建模的形式化分析与验证
学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者:
林倩倩
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/09/17
基于AADL和Simulink/Stateflow的混成系统图形化建模与仿真
学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者:
占浩澜
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2020/06/17
混成系统
AADL
Simulink/Stateflow
图形化建模
仿真
IoT-Enabled Autonomous System Collaboration for Disaster-Area Management
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 5, 页码: 1249-1262
作者:
Abenezer Girma
;
Niloofar Bahadori
;
Mrinmoy Sarkar
;
Tadewos G. Tadewos
;
Mohammad R. Behnia
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2021/03/11
Architectural analysis and design language (AADL) and cloud computing
disaster area management
internet of things (IoT)
message queuing telemetry transport (MQTT)
unmanned aerial vehicle (UAV)
unmanned ground vehicle (UGV)
Template-based AADL automatic code generation
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 页码: 698-714
作者:
Hu, Kai
;
Duan, Zhangbo
;
Wang, Jiye
;
Ga, Lingchao
;
Shang, Lihong
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
real-time system
template
formal methods
AADL
automatic code generation
Application of AADL in Integrated Electronic Systems
会议论文
IOP Conference Series: Materials Science and Engineering
作者:
Liu, L.
;
Feng, G.
;
Wang, W.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/30
Safety engineering
Analysis method
Architecture analysis
Arinc653
Design languages
Design safety
Integrated electronics
Reconfiguration process
Whole process
Modeling languages
IMA Dynamic Reconfiguration Modeling and Resource Criticality Analysis Based on Petri Net
会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:
Ye, Zhiao
;
Wang, Shihai
;
Zhao, Tingdi
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/12/30
IMA
dynamic reconfiguration
resource criticality
AADL
Petri net
component
A Component-based Software Reliability Assessment Method Considering Component Effective Behavior
会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:
Ling, Dongyi
;
Liu, Bin
;
Wang, Shihai
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Integrated Modular Avionics (IMA)
component effective behavior
reliability analysis
AADL
assessment model
An Original Approach to Constructing Test Model for IMA Blueprints
会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:
Fu, Jiapan
;
Wang, Shihai
;
Liu, Bin
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Integrated Modular Avionics
blueprint
AADL
transformation rule
timed automata
Formal Verification of Behavioral AADL Models by Stateful Timed CSP
期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 27421-27438
作者:
Zhang, Feng
;
Zhao, Yongwang
;
Ma, Dianfu
;
Niu, Wensheng
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Model transformation
AADL
behavior annex
stateful timed CSP
PAT
formal model-checking
基于AADL体系结构模型的构件系统可靠性评估
期刊论文
系统工程与电子技术, 2017, 卷号: 39, 页码: 947-952
作者:
凌冬怡
;
王世海
;
刘斌
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
体系结构分析与设计语言
可靠性模型
系统体系结构广义随机Petri网
可靠性评估
©版权所有 ©2017 CSpace - Powered by
CSpace