首页> 外文会议>Digital Avionics Systems Conference >Verification tools for embedded robotic electronics
【24h】

Verification tools for embedded robotic electronics

机译:嵌入式机器人电子的验证工具

获取原文

摘要

The embedded electronics in the Ranger Telerobotic Shuttle Experiment require a system specific verification tool to perform the necessary tests in order to come to a conclusion as to the systems functionality. The ability to create an automatedsystem verification tool is feasible, but is it the most efficient? Is a human needed for making decisions as to the functionality of the electronics, or can we automate this process and eliminate the human from the loop? If an automated verification tool is to be used, what will be its architecture? The following paper will address these issues and evaluate the use of a visual verification tool versus an automated verification tool for the testing.
机译:Ranger Telerobotic Shuttle实验中的嵌入式电子设备需要一个系统特定的验证工具来执行必要的测试,以便结束系统功能。创建自动系统验证工具的能力是可行的,但它是最有效的吗?是一个人类,用于做出电子产品功能的决策,或者我们可以自动化这个过程并从循环中消除人类吗?如果要使用自动验证工具,其架构将是什么?以下文件将解决这些问题,并评估使用可视验证工具与测试的自动验证工具的使用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号