本论坛将于CNCC2019中国计算机大会第一天（10月17日）在苏州金鸡湖国际会议中心A212 会议室举行。届时将会一起探讨如何既能满足智能嵌入式系统及其边缘计算架构性能约束（实时要求、能耗要求、控制质量等）的同时，又保证“安全”与“可靠”。
前言：
近期，美国波音公司多架737 MAX8飞机由于传感器的失灵导致飞机坠毁，引起了世界范围内对嵌入式系统安全性与可信性的关注。随着算力提升以及5G时代的到来，智能与万物互联已成为嵌入式系统发展的趋势，其设计也变得越来越复杂。如何在满足智能嵌入式系统及其边缘计算架构性能约束（实时要求、能耗要求、控制质量等）的同时，保证其“安全”与“可靠”，已成为一个非常严峻的挑战。基于此，本年度CNCC大会，嵌入式系统专委会拟重点关注可信性与安全性方面的学术和技术主题：
“5G”万物智联、人机物融合场景下，嵌入式智能和边缘计算带来的嵌入式系统可信性与安全性问题，如何应对？
讲者和报告简介
蒲戈光
简介：华东师范大学软件工程学院 教授/博导 。目前担任上海市首批建设的功能型平台，上海工业控制安全创新科技有限公司总经理。曾获上海市科技启明星，教育部自然科学一等奖等荣誉。他是软件测试与验证领域的国际知名专家，领导团队研发的自动化测试工具已被应用在航天、轨道、汽车电子领域的多家科研机构与大型国企，有效提升了嵌入式软件的质量并降低了研发成本。拥有学术论文80余篇，包括20余篇人工智能与软件工程的国际顶级会议（如IJCAI, AAAI, ICSE，FSE），并担任多个国际学术会议（ATVA, SEFM, ICFEM等）的程序委员会委员。
报告题目：工业控制基础软件与研发环境的现状与未来
报告摘要：工业控制系统被广泛地应用与各类基础设施，例如轨道交通、石油石化、航天航空、电力等，覆盖了SCADE、DCS、PLC、PCS等各种类型的控制系统。工业控制基础软件与研发环境工具链是支撑工控系统的重要组成部分，对实现工控产业升级具有重要意义。本报告介绍了目前工控系统基础软件的现状，包括工控操作系统、工控协议栈、工控组态软件、工控分析与验证软件的现状，并给出了未来国产工控基础软件面临挑战与未来研发方向。
田泽
简介：田泽，博士，研究员，中航工业首席技术专家，航空计算所副总工程师，“集成电路与微系统设计”航空科技重点实验室副主任，长期从事SoC设计方法学、面向航空领域集成电路设计科研及管理工作，出版专著2本，发表学术论文100多篇；获得授权发明专利47项；登记软件著作权13项；登记集成电路布图保护14项；组织撰写相关设计标准、指南及规范近20多项。主持省部级以上科研项目30多项。研究成果获省部级国防科一等奖四项，获得中航工业“探索发明”先进个人、“发明之星”、“航空之星”等荣誉称号。
报告题目：可信嵌入式系统构建的思考与探索
报告摘要：国家重大装备、高端工业控制及汽车电子等，事关国家安危及民众生命安全，其基础和核心是集成电路和操作系统，而在这些领域我国基本依赖于国外。随着国家自主可控战略的实施，构建安全、可靠及过程可信的自主核心集成电路及操作系统研制体系非常重要，本报告结合自己的项目实践，讲述了自己对一些技术问题的思考，期望大家一起共同推动发展！
何道敬
简介: 何道敬，教授、博士生导师，2017年度教育部青年长江学者。现就职于华东师范大学软件工程学院。长期致力于网络空间安全的研究，先后主持国家自然基金、国家重点研发计划课题、上海市科委等科研项目。作为第一兼通讯作者发表IEEE权威期刊论文45篇（影响因子4.0以上共37篇），近5年平均每篇他引42次。2篇论文入选IEEE通信学会在通信及信息系统安全领域最佳论文。现担任IEEE Network（IF: 7.197）和IEEE Communications Magazine（IF: 10.435）等8个国际著名SCI刊物编委。作为项目负责人，承担中央军委科技委、总装备部装备预研、战略支援部队装备预研、装备预研教育部联合基金等军方项目，先后主持中国网安、奇虎360、启明星辰、腾讯、中兴通讯、国家电网等著名企业和军工厂的委托开发项目。已申请/授权发明专利72项，其中第一发明人61项。研发成果在应用中取得重要的社会和经济效益。作为第一完成人，获得省部级科技奖励二等奖以上3项，包括：教育部技术发明一等奖、教育部自然科学二等奖、上海市技术发明二等奖。获得荣誉有：2017年度教育部“长江学者奖励计划”青年学者、装备预研教育部联合基金（青年人才）等。
报告题目：物联网时代嵌入式智能系统所面临的安全挑战
报告摘要：报告将介绍万物互联时代的嵌入式智能系统所面临的安全挑战以及技术发展现状，其次通过系列案例的结合阐述了嵌入式智能系统的安全攻防的落地实践，包括：星载系统、低轨星座安全、无人机集群、物联网设备固件安全分析、社会工程学安全等领域。
谢国琪
简介：博士、副教授、博士生导师、2014年博士毕业于湖南大学计算机科学与技术专业、日本名古屋大学博士后、IEEE高级会员、ACM高级会员、CCF高级会员、获得2018 IEEE TCSC“优秀青年研究者奖”（Early Career Award）、IEEE ISPA 2016国际会议最佳论文奖，入选湖南大学“岳麓学者晨星岗”、湖南大学“优秀青年人才培育计划”。主要研究兴趣为嵌入式与信息物理系统、并行与分布式系统，重点研究汽车信息物理系统（汽车电子，车载网络）功能安全与信息安全，以第一作者在IEEE/ACM Transactions发表长文20余篇。担任JSA、JCSC、MICPRO等SCI期刊的编委（Associate Editors）,中国工程院院刊FITEE首批通讯专家，RTSS 2019、ICESS 2019、HPCC 2019、DependSys 2019等多个国际会议的程序委员会成员。主持了国家自然科学基金、全国汽车标准化技术委员会等科研项目。
报告题目：安全关键汽车信息物理系统设计
报告摘要：随着科学技术的不断提高，人们对汽车的追求也逐渐转变为更强的智能功能、更低的燃油消耗以及更好的驾乘体验，但在实现汽车信息化与智能化的过程中，安全保障始终是必备前提。随着智能化和网联化的发展，汽车安全形势变得更加复杂，功能安全和信息安全相互交融，综合安全保护意义重大。汽车开发生命周期冗长、运行环境复杂多变，不可控因素繁多等，使得汽车在运行时将面临异常复杂的安全风险。现有智能网联汽车研究主要在传统汽车电子架构基础上，设计或改进单一功能模块，使得系统日益复杂臃肿，安全隐患增多。智能网联汽车的电子系统是一个信息物理系统，简称ACPS（Automotive Cyber-Physical Systems），本报告面向智能网联车系统级设计，从ACPS的视角，介绍系统架构、算法及平台等关键科学与技术问题及研究技术路线。
