报告题目：MIMOS: from theories to tools for embedded software design updates报告时间：7月4日 09:00-10:00线下报告地点：理科大楼B1002主持人：邓玉欣 教授报告摘要：MIMOS is a tool environment for the design and update of high-performance and timing-predictable embedded systems. It provides tools for modelling, simulation, verification, scheduling and code generation for developing embedded software on heterogeneous multi- many-core platforms as well as dynamic software updates for systems in operation.报告人简介：王义，瑞典乌普萨拉大学讲席教授，东北大学特聘教授。主
报告题目：AI Enhanced Cyber Security报告时间：6月28日 09:00-10:00线下报告地点：数学馆201主持人：陈闻杰 副教授报告摘要：This talk will first illustrate how to use AI techniques to enhance cyber security of various systems. There are several ways to apply AI to cyber security areas. This talk will use prediction-based AI technics to enhance the total security of the V2X (Vehicle-to-Everything) communication system. The talk takes serious considerations of latency while implementation the data encryption for V2X communication systems.