From fly-by-wire to drive-by-wire: Safety implications of automation in vehicles

The purpose of this paper is to critically review the current trend in automobile engineering toward automation of many of the functions previously performed by the driver. Working on the assumption that automation in aviation represents the basic model for driver automation, the costs and benefits of automation in aviation are explored as a means of establishing where automation of drivers' tasks are likely to yield benefits. It is concluded that there are areas where automation can provide benefits to the driver, but there are other areas where this is unlikely to be the case. Automation per se does not guarantee success, and therefore it becomes vital to involve Human Factors into design to identify where automation of driver functions can be allocated with a beneficial outcome for driving performance

Optimisation-based verification process of obstacle avoidance systems for unicycle-like mobile robots

This paper presents an optimisation-based verification process for obstacle avoidance systems of a unicycle-like mobile robot. It is a novel approach for the collision avoidance verification process. Local and global optimisation based verification processes are developed to find the worst-case parameters and the worst-case distance between the robot and an obstacle. The kinematic and dynamic model of the unicycle-like mobile robot is first introduced with force and torque as the inputs. The design of the control system is split into two parts. One is velocity and rotation using the robot dynamics, and the other is the incremental motion planning for robot kinematics. The artificial potential field method is chosen as a path planning and obstacle avoidance candidate technique for verification study as it is simple and widely used. Different optimisation algorithms are applied and compared for the purpose of verification. It is shown that even for a simple case study where only mass and inertia variations are considered, a local optimization based verification method may fail to identify the worst case. Two global optimisation methods have been investigated: genetic algorithms (GAs) and GLOBAL algorithms. Both of these methods successfully find the worst case. The verification process confirms that the obstacle avoidance algorithm functions correctly in the presence of all the possible parameter variations

Design and evaluation of safety-critical applications based on inter-vehicle communication

Inter-vehicle communication has a potential to improve road traffic safety and efficiency. Technical feasibility of communication between vehicles has been extensively studied, but due to the scarcity of application-level research, communication\u27s impact on the road traffic is still unclear. This thesis addresses this uncertainty by designing and evaluating two fail-safe applications, namely, Rear-End Collision Avoidance and Virtual Traffic Lights