首页成果登记
注册 找回密码
国家科技成果网
  		•
热门搜索：  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

登记 排行 政策 对接 转化 专栏
国家科技成果网 › 首页 ›成果 › 查看内容

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

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

标签云

相关机构

关于国科网   我们的资源   我们的服务   免责声明   常见问题    软件下载    成果登记   联系我们  
Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位：科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统