讲座题目： AADL安全性建模和定量分析方法

讲座人：董云卫 教授

讲座时间：16:00-17：00

讲座日期： 2016-10-19

讲座地点：长安校区 文津楼三段522学术研讨室 

主办单位：8188www威尼斯 普适计算研究团队

讲座内容简介：

安全性设计与分析是安全攸关嵌入式系统开发必不缺少的环节，系统的安全性建模理论和验证技术要能够尽可能早地对系统的不安全行为进行预计和预防。为了能够在软件系统需求分析和设计阶段对安全性进行规约和评估，我们采用AADL语言对系统架构建模、并基于架构模型来层次化设计描述系统安全性的危害模型，通过实现软件安全性模型到安全性计算仿真模型的自动转换，提出了一套基于GJB1391 、GB/T7826-200X/IEC60812:2006 、MIL-STD-882D和DO178B/C等技术规范的嵌入式软件安全性定量评估解决方案。

讲座人简介：

董云卫，西北工业大学计算机学院教授，博士生导师，IEEE可靠性学会西安分会主席，西安市大学生创业导师。1991年毕业于哈尔滨工业大学数学系，1994年于哈尔滨工业大学获得硕士学位，2004年于西北大学获得软件工程博士学位。2006年至2007年间在澳大利亚Swinbourne科技大学从事博士后研究工作，与T.Y.Chen教授合作开展嵌入式软件测试研究。主要研究方向：嵌入式系统、软件模型驱动开发方法、信息-物理融合系统和软件测试。曾任航天科工集团第210研究所工程师、西安协同软件股份有限公司总工程师、西安协同数码股份有限公司总工程师、西安软件工程中心总工程师。主持和参加国家自然科学基金、国家863计划、国防预研、国家高新技术产业化专项计划、国家“核高基”专项计划等近20多项课题，发表学术论文近百篇，出版专著2部。2000年获首届“陕西省十大软件行业杰出青年”，2001年获首届“中国软件行业杰出青年”提名。