以诚为本赢在信誉9001cc2012年可信计算论坛
发布时间:2012-06-04 浏览量:4422

报告人:董云卫 教授

报告时间:201265615:0016:30

报告地点:数学馆201

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

 

报告摘要:

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

报告人简介:

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

以诚为本赢在信誉9001cc
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright 以诚为本赢在信誉9001cc(中国)有限公司