(2023-9-1)

(2023-8-21)

近日，浙江大学嘉兴研究院数字安全创新中心翔云团队研制的高安全无人机FlyAir2.0试飞成功，相比于1.0版本，该无人机平台基于高安全可靠的混合关键架构，采用翔云团队自主研发...

(2023-8-1)

形式验证根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性，对保障操作系统安全起到重要作用。OpenHarmony形式验证与安全认证面临哪些挑战，又有哪些技...

(2023-7-14)

近日，依托浙江大学网安学院和浙江大学嘉兴研究院，赵永望教授领衔的翔云团队，基于国产自主ARINC653操作系统研发的无人机成功试飞。该无人机为新型四旋翼无人机平台，由翔云...

(2022-12-11)

操作系统受到国内产业界、学术研究机构和政府部门高度重视。嵌入式操作系统作为数字基础设施的灵魂，是支撑数字变革的核心力量。伴随着人工智能、物联网、工业互联网、无人车...

(2021-12-6)