金秋十月，第二届软件与系统可靠性国际研讨会（ISSSR2016）暨第十四届全国嵌入式系统学术会议（ESTC2016）于2016年10月29日至30日在我校中北校区顺利召开，会议分别由何积丰院士与吴中海教授担任会议主席。本次会议由中国计算机学会主办，并由尊龙凯吋官方网站与IEEE Reliability Society承办，我校教育部软硬件协同设计技术与应用工程中心主任陈仪香教授、Uppsala University王义教授共同担任本次会议程序委员会主席。

       会议邀请了诸多领域内国内外著名学者参加，吸引了来自全国各地的计算机科学与软件工程研究人员，包括北京大学、国防科技大学、重庆大学、东北大学、机械工业出版社以及等相关技术公司等国内单位的近百名教授、研究生等参加。会议围绕嵌入式系统分析与设计、嵌入式中的算法设计、嵌入式系统教育和应用等各个方面展开一系列讨论与交流。

参会人员合影

       尊龙凯吋官方网站计算机软件与工程学院院长何积丰院士出席会议并讲话，欢迎各界专家和研究人员来参加会议，对希望会议取得圆满成功。

何积丰院士

       IEEE Reliability Society/University of Texas at Dallas的 Eric Wang教授开幕式致辞，祝贺会议的胜利召开，并对会议取得系列成果充满期待。

Eric Wang教授

       美国国家标准与技术研究院（NIST）科学家Jeffrey Voas教授在会议上作了题为“Networks of Things”的特邀报告。

Jeffrey Voas教授

       日本法政大学Shaoying Liu教授在会议上作了题为“Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation ”的特邀报告。

Shaoying Liu教授

       西安电子科技大学段振华教授在会议上作了题为“Verificating Temporal Properties via Dynamic Program Execution ”的特邀报告。

段振华教授

       国防科技大学王戟教授作了题为“When Abstract Interpretation meets Interrupt-Driven Programs”的特邀报告。

王戟教授

       瑞典Uppsala University王义教授在会议上作了题为“A Tool for Scalable Timing Analysis and Synthesis of Embedded Software”的特邀报告。

王义教授

       重庆大学诸葛晴凤教授在会议上作了题为“Reliability-Considered Task Assignment and Scheduling for Heterogeneous Multiprocessors”的特邀报告。

诸葛晴凤教授

       全国嵌入式系统学术会议（ESTC）是由中国计算机学会主办的嵌入式系统专委会年度学术会议，自2001年以来已经成功举办了十三届，已成为嵌入式系统及相关领域的专家、学者、工程师、业界人士以及研究生进行学术交流、技术研讨、产学互动的重要学术会议。本次与International Symposium on Software and System Reliability同期召开，并共享会议特邀报告和论文出版。会议以“安全可信嵌入式系统设计、验证与应用”为主题，旨在讨论嵌入式系统领域的最新研究成果和发展趋势，开展广泛的学术交流和研讨，为来自世界各地的科学家和学者搭建桥梁，共享研究成果，促进学术交流。本次会议分成了多个不同主题的分会场，共有近四十人在会议上做了学术报告和广泛的讨论交流，展示各团队或个人的最新成果。

会议交流讨论现场

       与此会议期间，中国计算机学会嵌入式系统专委会年度专家委员会议，会议选举和确定了新一期专委会委员，为下一阶段的工作与发展做了深入的讨论，制定了具体的工作计划，并且确定了ESTC 2017将在东北大学召开。

嵌入式系统专委会年度专家委员会议会议现场