陆寅(1975-),男,博士,讲师,CCF专业会员,主要研究领域为嵌入式系统设计,嵌入式系统可靠性工程;
郭鹏(1987-),男,高级工程师,CCF专业会员,主要研究领域为嵌入式系统建模和仿真,调度规划;
秦树东(1995-),男,硕士,主要研究领域为嵌入式系统分功能属性分析,嵌入式系统可靠性工程;
董云卫(1968-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为嵌入式软件设计与验证,信息物理融合系统,嵌入式软件智能合成方法.
董云卫,E-mail:yunweidong@nwpu.edu.cn
TP311
国家自然科学基金(62192733)
陆寅,秦树东,郭鹏,董云卫.软硬件综合AADL可靠性建模及分析方法.软件学报,2022,33(8):2995-3014
复制