报告人：董云卫 教授

报告时间：2012年6月5日、6日15:00—16:30

报告地点：数学馆201

报告主题：AADL的形式化语义及其仿真

报告摘要：

    主要介绍用如何通信顺序进程（communication sequence process, csp）的理论方法建立架构分析与设计语言（Architecture Analysis and Design Language, AADL）的构件的行为语义，从AADL 错误模型附录开始介绍错误构件错误在AADL模型构件间的传播机制、利用广义随即Petri网GSPN来刻画构件间的错误传播规律、制定AADL错误模型到GSPN模型的转换机制，并通过应用案例介绍AADL可靠性分析方法。最后将结合基于模型测试的过程介绍AADL模型测试的关键步骤及关键技术，如有规格化需求生成AADL模型、AADL模型的实例化方法、利用System C 刻画AADL模型属性及其模型转换、以及面向AADL模型的仿真测试引擎的设计及实例应用。

报告人简介：

董云卫博士， 西北工业大学计算机学院教授，华东师范大学兼职教授，博士生导师，中国空军重点型号机载软件工程化专家组成员，西安市大学生创业导师。1991年毕业于哈尔滨工业大学数学系，1994年于哈尔滨工业大学获得硕士学位，2004年于西北大学获得软件工程博士学位。2006年至2007年间在澳大利亚Swinbourne科技大学从事博士后研究工作，与T.Y.Chen教授合作开展嵌入式软件测试研究。主要研究方向：分布式嵌入式系统软件模型设计与分析理论和软件测试，从事嵌入式软件和信息物理融合系统的设计、验证理论，以及仿真、测试技术研究。曾任航天科工集团第210研究所工程师、西安协同软件股份有限公司总工程师、西安协同数码股份有限公司总工程师、西安软件工程中心总工程师。主持和参加国家自然基金、国家863计划、国防预研、国家高新技术产业化专项计划、国家“核高基”专项计划等近10多项课题，三年来发表学术论文近50篇，出版专著2部。主要学术兼职：IEEE会员、ACM会员、中国家算机学会高级会员、中国计算机学会软件工程专委会会员、中国计算机学会嵌入式系统专委会会员、陕西省计算机学会理事。2000年获首届“陕西省十大软件行业杰出青年”，2001年获首届“中国软件行业杰出青年”提名。