嵌入式系统架构虚拟综合方法的理论研究

61772423
2017
F0201.计算机科学的基础理论
董云卫
面上项目
教授
西北工业大学
62万元
异质模型;元模型语义;架构设计与分析语言;系统架构虚拟集成;模型总线
2018-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 基于广义随机Petri网的软硬件综合的AADL模型可靠性评估方法 专利 陆寅;秦树东;董云卫
2 基于AADL的系统脆弱性模型设计方法 专利 曹阳;董云卫;段添熠
3 Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model 会议论文 Xiaomin Wei;Yunwei Dong;Mingrui Xiao
4 一种人机物融合系统的特定风险建模与分析方法 专利 董云卫;肖明睿;曹阳
5 基于AADL的失效概率分配及安全性评估方法 期刊论文 魏晓敏;董泽乾;肖明睿;田聪
6 基于确定性随机Petri网的AADL模型安全性评估方法 专利 董云卫;魏晓敏
7 Integrated Modeling Method of Complex Embedded System with SAVI Framework 期刊论文 Ning Zhang;Yunwei Dong;Feng Xue
8 Overview: System Architecture Virtual Integration based on an AADL Model 会议论文 Yunwei Dong;Xiaomin Wei;Mingrui Xiao
9 AADL-based Safety Analysis Approaches for Safety-Critical Systems 会议论文 Xiaomin Wei
10 A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models 会议论文 Yin Lu;Yunwei Dong;Xiaomin Wei;Mingrui Xiao
11 基于元对象机制的AADL 到Simulink模型自动转换方法 专利 董云卫;张宁;陆寅;苟倩文
12 AADL Vulnerability Modeling and Security Analysis Method 会议论文 Yang Cao;Yunwei Dong;Xiaomin Wei;Xiao Wu
13 Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games 期刊论文 Xiaomin Wei;Yunwei Dong;Pengpeng Sun;Mingrui Xiao
14 基于缓存抢占延迟约束下AADL模型的可调度性方法分析 专利 董云卫;习乐琪;陆寅;曹阳
15 METARO3 : Metamorphic Relation Group for Automatic Program Repair 期刊论文 TingTing Wu;Yunwei Dong
16 面向AADL模型的存储资源约束可调度性分析 期刊论文 陆寅;秦树东;习乐琪;董云卫
17 Architecture-Level Schedulability Analysis with IO Constraint using AADL 会议论文 Yunwei Dong;Qianwen Gou;Pei Tang
18 On schedulability analysis of AADL architecture with storage resource constraint 期刊论文 Yin Lu;Shudong Qin;Leqi Xi;Yunwei Dong
19 Performance Analysis of Maximal Risk Evaluation Formulas for Spectrum-Based Fault Localization 期刊论文 Tingting Wu;Yunwei Dong;Man Fai Lau;Sebastian Ng;Tsong Yueh Chen;Mingyue Jiang
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享