HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 aadl论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于XSLT的可靠性模型的自动转换方法第21-26页
关键词: aadl  z语言  可靠性  模型转换  xslt  
2019年第12期 《计算机技术与发展》
系统架构描述语言AADL的功能行为建模扩展第1638-1653页
关键词: 安全关键系统  功能规约  
2019年第10期 《计算机科学与探索》
基于AADL的中断控制设计方法第83-86页
关键词: aadl  中断  模型  可调度性  
2011年第10期 《信息技术与网络安全》
基于UML MARTE处理AADL的端到端流延迟第24-26页
关键词: aadl  marte  流延迟  
2015年第11期 《软件工程》
基于AADL的RDC架构建模与关键特性仿真第25-31页
关键词: 建模技术  调度性  流延迟  
2019年第02期 《航空电子技术》
面向CPS的混成AADL建模与模型转换第35-40页
关键词: 组合式建模  进程代数  信息物理融合系统  aadl  模型转换  
2019年第10期 《计算机技术与发展》
一种结合AADL与Z的嵌入式软件可靠性建模与评估方法第217-223页
关键词: 嵌入式软件  可靠性  aadl  z语言  dtmc  
2019年第08期 《计算机科学》
基于限定自然语言需求模板的AADL模型生成方法第2350-2370页
关键词: 嵌入式软件  软件安全性  需求规约  限定自然语言需求模板  aadl  可追踪性  
2018年第08期 《软件学报》
面向限定自然语言需求的AADL自动生成工具第984-995页
关键词: 安全关键软件  aadl  限定自然语言  组合验证  
2019年第05期 《小型微型计算机系统》
分区软件失效模式和效果研究第2399-2403页
关键词: 综合模块化航空电子系统  分区软件  失效模式及效果分析  故障树分析  aadl  
2017年第08期 《计算机应用研究》
基于故障树分析的嵌入式系统AADL模型可靠性分析方法第182-188页
关键词: aadl  故障树分析  可靠性分析  模型转换  
2017年第06期 《计算机科学》
基于SysML ＆ AADL的IMA刹车控制系统实时性需求验证第40-44页
关键词: 刹车控制系统  sysml  aadl  时间属性  需求验证  
2017年第06期 《计算机与现代化》
基于Z-AADL模型的形式化转换第23-28页
关键词: zia  模型转换  
2017年第03期 《计算机技术与发展》
AADL2ECPN模型转换方法及其在IMA上的应用第1884-1891页
关键词: 资源分配  模型转换  
2016年第09期 《北京航空航天大学学报》
基于AADL的汽车车身控制模块可调度性分析第30-35页
关键词: 车身控制模块  aadl  可调度性  cheddar  
2016年第03期 《湖北汽车工业学院学报》
AADL在航天器控制系统设计中的应用研究第55-58页
关键词: 航天器  aadl  建模  状态自动机  分析  
2011年第01期 《空间控制技术与应用》
一种弹载软件设计方法及其开发环境原型第34-38页
关键词: 弹载嵌入式实时软件  aadl  实时中间件  
2009年第01期 《航空兵器》
AADL测试模型的构造研究第968-973页
关键词: aadl  aadl设计模型  aadl测试模型  
2010年第06期 《西北工业大学学报》
基于AADL的中断控制设计方法第83-86页
关键词: aadl  中断  模型  可调度性  
2011年第10期 《微型机与应用》
体系结构驱动的AFDX网络内容数据库研究第120-122页
关键词: 航空电子  体系结构  内容数据库  aadl  
2010年第06期 《航空计算技术》
期刊导航