Algebraic Software Analysis and Embedded Simulation of a Driving Robot

机译：驾驶机器人的代数软件分析与嵌入式仿真

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

At TNO Automotive the Generic Driving Actuator (GDA) isrndeveloped. The GDA is a device capable of driving a vehiclernfully automatically using the same interface as a human driverrndoes. In this paper, the design of the GDA is discussed. Thernsoftware and hardware of the GDA and its effect on vehiclernbehaviour are analyzed from a safety point of view. The hardwarerndesign of the GDA is adapted to achieve an acceptablernlevel of fault tolerance. The software is designed and verifiedrnusing formal methods and finally, a simulation model isrnbuilt in Simulink to design a strategy to maintain safety duringrncomponent failures and emergencies.

机译：在TNO Automotive，通用驱动器（GDA）得以开发。 GDA是一种能够使用与人类驾驶员相同的界面自动驾驶车辆的设备。本文讨论了GDA的设计。从安全的角度分析了GDA的软件和硬件及其对车辆性能的影响。 GDA的硬件设计适用于达到可接受的容错水平。该软件使用形式化方法进行设计和验证，最后，在Simulink中建立了仿真模型，以设计一种在组件故障和紧急情况期间维持安全性的策略。

著录项

来源
《2007 summer computer simulation conference (SCSC'07)》|2007年|p.473-480|共8页
会议地点 San Diego CA(US);San Diego CA(US)
作者
L.L.F. Merkx; P.J.L. Cuijpers; H.M. Duringhof;
展开▼
作者单位

Technische Universiteit Eindhoven, P.O.Box 513, 5600 MB Eindhoven, Netherlands, L.L.F.Merkx@tue.nl;

rnTechnische Universiteit Eindhoven, P.O.Box 513, 5600 MB Eindhoven, Netherlands, P.J.L.Cuijpers@tue.nl;

rnTNO Automotive, P.O.Box 756, 5700 AT Helmond, Netherlands;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机仿真;
关键词
model-checking; verification; hybrid systems; simulation; process algebra; embedded control; safety;

机译：模型检查;验证;混合系统;仿真;过程代数;嵌入式控制;安全性;

相似文献

外文文献
中文文献
专利

1. Kinematic Analysis and Development of Simulation Software for Nex Dexter Robotic Manipulator [J] . Amogh Patwardhan, Aditya Prakash, Rajeevlochana G. Chittawadigi Procedia Computer Science . 2018,第1期

机译：Nex Dexter机器人操纵器的运动学分析和仿真软件的开发
2. Analysis and Simulation of the Modular Robotic System MECABOT in Caterpillar-Type and Snake-Type Configurations Using WEBOTS Software [J] . Paola Natalia Lancheros Guzman, Laura Beatriz Sanabria Galvis, Ricardo Andres Castillo Estepa International Journal of Applied Engineering Research . 2016,第17期

机译：使用WEBOTS软件对卡特彼勒型和蛇型配置的模块化机器人系统MECABOT进行分析和仿真
3. Do-it-yourself robotics: Embedded software allows users to program their own robot application [J] . Ingela Brorsson, Ralph Sjoberg, Anna Liberg ABB Review . 2006,第2期

机译：自己动手的机器人技术：嵌入式软件允许用户编写自己的机器人应用程序
4. Algebraic Software Analysis and Embedded Simulation of a Driving Robot [C] . L. L. F. Merkx, P. J. L. Cuijpers, H. M. Duringhof Computer Simulation Conference . 2007

机译：代数软件分析和驾驶机器人的嵌入式模拟
5. Model-based Design, Simulation and Automatic Code Generation For Embedded Systems and Robotic Applications. [D] . Raji Kermani, Ramtin. 2013

机译：针对嵌入式系统和机器人应用的基于模型的设计，仿真和自动代码生成。
6. Anterior Cruciate Ligament Biomechanics During Robotic and Mechanical Simulations of Physiologic and Clinical Motion Tasks: A Systematic Review and Meta-Analysis [O] . Nathaniel A. Bates, Gregory D. Myer, Jason T. Shearn, -1

机译：生理和临床运动任务的机器人和机械模拟过程中的前十字韧带生物力学：系统评价和荟萃分析
7. The Robot Software Communications Architecture (RSCA): Embedded Middleware for Networked Service Robots [O] . Seongsoo Hong, Jaesoo Lee, Hyeonsang Eom, 2006

机译：机器人软件通信体系结构（RSCA）：网络服务机器人的嵌入式中间件

Algebraic Software Analysis and Embedded Simulation of a Driving Robot

摘要

著录项

相似文献

相关主题

期刊订阅