需求发布 成果发布 科创案例库 揭榜挂帅
技术路演 会议展览 科创联合体 项目申报
前沿动态 科技政策 院士开讲 青托工程
科技服务团 学术资源
试点城市(园区) 双创活动周
协作站点 学会服务
问题库 项目库 开源库
English
您所在的位置: 成果库 机器人多核异构实时嵌入式操作系统研发、验证与应用

机器人多核异构实时嵌入式操作系统研发、验证与应用

发布时间: 2021-01-09

来源: 科创项目库

基本信息

合作方式： 技术咨询
成果类型： 新技术
行业领域：
高端产业
成果介绍

本成果通过解决上述问题，达成三方面主要目的：　　(1)建立多核异构操作系统框架和分布式软件架构，一方面突破ROS的实时性瓶颈，满足机器人实时控制需求：另一方面提高系统的硬件无关性，使其可移植、可重用；　　(2)提出ROS系统形式化建模与验证的理论和方法，建立形式化高阶逻辑定理库，构建综合验证平台，开展完备的安全验证，确保系统安全可靠；　　(3)针对机器人实时操作系统，提出标准体系，制订国家标准，参研国际标准，为ROS开发提供统一的技术规范。　

成果亮点
团队介绍
成果资料