敬请登录网站在线投稿（ｔｏｕｇａｏ．ｍｅｓｎｅｔ．ｃｏｍ．ｃｎ）２０２３年第２期１夯实基础，构建安全可靠的工业操作系统———“第四届国产嵌入式操作系统技术与产业发展论坛”圆满结束本刊编辑部嵌入式系统是电子信息产业的基础，是智能系统的核心。人工智能快速发展，嵌入式操作系统在智能系统中发挥了越来越大的作用。伴随电动汽车与智能网联汽车的快速发展，国产汽车产业正处于蓬勃发展阶段，汽车操作系统需求激增，国产化的呼声越来越高！许多嵌入式系统是安全关键系统，比如轨交、航空和汽车电子设备，安全技术是嵌入式系统重要研究课题之一。物联网产业迅猛发展，信息安全重要性提升到与功能安全同样的需求等级，作为基础软件的嵌入式操作系统的安全性技术研究和产品开发已经成为近年的热点，以智能网联汽车为代表的国产高端智能设备推动高等级安全软硬件技术的落地应用。为此，北京航空航天大学计算机学院、北京航空航天大学杭州创新研究院、中国电子技术标准化研究院物联网研究中心、嵌入式系统联谊会、《单片机与嵌入式系统应用》杂志社，采用线上方式举办了“第四届国产嵌入式操作系统技术与产业发展论坛暨嵌入式系统联谊会主题讨论会（总第２８次）”。本届论坛聚焦“构建安全可靠的工业操作系统”。主办方邀请到国内从事嵌入式操作系统研究、产品开发的专家和学者参与论坛的主题演讲和嘉宾讨论，研讨嵌入式软件安全技术和汽车操作系统等热点议题。本次论坛采用多个平台线上联动直播，上午会议由北京航空航天大学计算机学院牛建伟教授主持，下午会议由嵌入式系统联谊会秘书长何小庆主持，线上听众累计达到３０００人！上午主题：嵌入式操作系统安全设计方法与实践嵌入式系统安全性的最新技术挑战日本名古屋大学情报学研究科助理教授李奕骁博士随着物联网及智能化等技术的发展，嵌入式系统的软硬件复杂度不断提升，安全性面临很多新的挑战。李博士介绍，当前嵌入式软件开发中存在两个问题：一是形式化验证尚存瓶颈，主要适用于内核、驱动、Ｈｙｐｅｒｖｉｓｏｒ等核心组件，较难满足上层应用开发对迭代效率和成本控制的需求；二是软件脆弱性风险激增，功能复杂度爆发，但潜在漏洞无法准确评估，随着物联设备成为主流，漏洞攻击越来越容易。因此，在软件开发的各阶段都需要脆弱性对策。报告中李博士详细介绍了几种软件脆弱性对策，如分区隔离、模糊测试、控制流完整性。资源受限是嵌入式设计绕不开的一个问题，李博士认为ＭＣＵ也...
