HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 结构分析与设计语言论文 列表
期刊分类
期刊收录
出版地区
基于软件定义的移动信息物理融合系统第59-65页
关键词: 移动信息物理融合系统  软件定义  结构分析与设计语言  
线控转向系统瞬时故障容错控制第54-58页
关键词: 线控转向系统  瞬时故障容错  基于模型  层次化  结构分析与设计语言  
2014年第02期 《智慧工厂》
基于AADL的RDC架构建模与关键特性仿真第25-31页
关键词: 建模技术  调度性  流延迟  
2019年第02期 《航空电子技术》
一种基于并发的AADL建模方法第1-4页
关键词: 结构分析与设计语言  并发  模型转换  进程代数  
2017年第05期 《计算机与现代化》
基于AADL的航电系统可靠性分析工具第65-68页
关键词: 航电系统  结构分析与设计语言  可靠性分析  可靠性评估  
2014年第08期 《现代电子技术》
线控转向系统瞬时故障容错控制第54-58页
关键词: 线控转向系统  瞬时故障容错  基于模型  层次化  结构分析与设计语言  
基于AADL的机载设备系统可靠性建模第90-94页
关键词: 结构分析与设计语言  错误模型  可靠性建模  错误传播  状态映射  
2009年第02期 《航空计算技术》
采用AADL的软件系统可靠性建模与评估方法第942-952页
关键词: 转换规则  可靠性  模型改进  
基于AADL的软件可靠性验证第92-95页
关键词: 软件可靠性  结构分析与设计语言  安全等级  流延迟  
2012年第A02期 《计算机应用》
基于AADL的无线传感器网络的建模与分析第424-427页
关键词: 结构分析与设计语言  无线传感器网络  温度传感器  嵌入式系统  
2012年第S3期 《计算机科学》
基于时间自动机的嵌入式软件模型可调度性验证第121-127页
关键词: 结构分析与设计语言  时间自动机  模型转换  uppaal  可调度性验证  
基于AADL的甲烷浓度监测报警系统可靠性验证第72-73页
关键词: 甲烷浓度监测报警系统  结构分析与设计语言  流延迟  
2015年第10期 《数字技术与应用》