Design and Validation of Safety Cruise Control System for Automobiles
Total Page:16
File Type:pdf, Size:1020Kb
DESIGN AND VALIDATION OF SAFETY CRUISE CONTROL SYSTEM FOR AUTOMOBILES Jagannath Aghav and Ashwin Tumma Department of Computer Engineering and Information Technology, College of Engineering Pune, Shivajinagar, Pune, India {jva.comp, tummaak08.comp}@coep.ac.in ABSTRACT In light of the recent humongous growth of the human population worldwide, there has also been a voluminous and uncontrolled growth of vehicles, which has consequently increased the number of road accidents to a large extent. In lieu of a solution to the above mentioned issue, our system is an attempt to mitigate the same using synchronous programming language. The aim is to develop a safety crash warning system that will address the rear end crashes and also take over the controlling of the vehicle when the threat is at a very high level. Adapting according to the environmental conditions is also a prominent feature of the system. Safety System provides warnings to drivers to assist in avoiding rear-end crashes with other vehicles. Initially the system provides a low level alarm and as the severity of the threat increases the level of warnings or alerts also rises. At the highest level of threat, the system enters in a Cruise Control Mode, wherein the system controls the speed of the vehicle by controlling the engine throttle and if permitted, the brake system of the vehicle. We focus on this crash area as it has a very high percentage of the crash-related fatalities. To prove the feasibility, robustness and reliability of the system, we have also proved some of the properties of the system using temporal logic along with a reference implementation in ESTEREL. To bolster the same, we have formally verified various properties of the system along with their proofs. KEYWORDS Safety Algorithm, Cruise Control, ESTEREL, Reactive Control System, Synchronous Programming Language, Temporal Logic 1. INTRODUCTION With the advent of an era of new technological advances and developments, there has been a considerable growth in almost all the facets; being it human population or the industries. In accordance with the same, there also has been an abundant and herculean increase in the number of vehicles or automobiles on the roads. Consequently, this increase of vehicles has led to a alarming growth of the fatal road accidents throughout the globe. Statistics depict that more than 2.2% of the total deaths recently have occurred because of the road crashes which could have been prevented. Also, if the same statistics are at play in future, then the World Health Organization by 2020, road fatalities will be the third highest threat to the public health, outranking most of the dangerous health problems [20]. The above discussion, clearly brings into light that, today, the need of the hour is to curb the rate of road fatalities. In light of the same, as a solution to the stated issue, we have proposed a safety cruise control system which addresses the problem of minimizing the number of vehicle crashes due to erroneous controlling of the vehicle, and thereby decreasing the road accidents. Safety Cruise Control System for Automobiles with ESTEREL Implementation and Validation is our proposal for safety system for automobiles wherein, the automobile will be equipped with a Safety System, which will alert the drivers when there is a potential for crash. It consists mainly of a safety algorithm and a Cruise Control System. The goal is to reduce the number and severity of automobile fatalities and crashes. The system is broadly classified in two sub- systems: • Safety System • Cruise Control System These form the two major working units of the system. The architecture of the system is shown in Figure 1. Figure 1. Subsystems of the Architecture Figure 1 illustrates the architecture of the system in brief. Initially, the safety system considers the environmental conditions in which the vehicle is operating, plus it collects data from the ambience of the vehicle, and then checks the current stature of the host vehicle. It then analyses the acquired data and then reports to the driver accordingly. The reports to the driver are sent through the Driver Vehicle Interface. The driver can also interact with the system via this interface. Later, if the safety system discovers a potential of a crash, it then drives the Cruise Control system by asking it to come into play and control the operations of the vehicle. In this way, since the Cruise control system will have the control of the vehicle in crash-probable circumstances, the chances of safeness rise as the crash will be mitigated in the cases, where it is possible to shun the crash. The details of the working of each subsystem are presented in the subsequent sections. In this paper, we propose the safety system along with its implementation in a synchronous programming language named ESTEREL. We also prove the robustness and reliability of the system by stating and proving certain properties of the system. Initially, we will state some of the specifications of the system by making use of temporal logic, and will then justify by formal verification that our implementation conforms to the specification stated; thereby warranting the pragmatic genre of the system. Rest of the paper is organized in the following manner. Section 2.1 discusses the Safety System and its intricacies. Section 2.2 introduces the Cruise Control system. Section 2.3 explicates the details of the architecture of the system. Section 2.4 provides a snippet of reference implementation of the safety system in ESTEREL. Section 2.5 presents the specification in temporal logic along with the formal verification of the ESTEREL modules. Section 3 presents the conclusions of the paper. 2. THE SYSTEM DESIGN This section explicates the details of the system, with throwing special light on drafting the specifications and then verifying them for the proposed system. 2.1. Safety System The Safety System forms the heart of the Safety Cruise Control System [19], [13], [12]. It consists of a sensor (Section 2.1.1) that gathers data from the vehicle’s ambience. At each instance of time, here each instance of time can be mapped to each clock tick, the sensor gets the new roadway data and this data is then analysed by the safety algorithm to check it against the predefined safety parameters. The concept of pre-defined parameters will be explained in next section. If the current host vehicle conditions are such that they are in close physical proximity to the threshold limit of the safety parameters, then the system sends an alert to the driver that there is a potential for a crash with the lead vehicle or an arbitrary object. Also, if the current circumstances are such that there is a high probability of crash or any other accident, the safety algorithm instructs the Cruise Control System to take over the controlling of the vehicle. Details of Cruise Control System are documented in Section 2.2. 2.1.1. Sensor Details The Safety System mentioned above makes use of a sensor to collect the data of various parameters from the vehicle’s environment. Our proposal includes employment of a sensor (off- the-shelf-component) named Forward Looking Automotive Radar Sensor. This sensor perfectly suffices our purpose since it is specially designed to be used in Intelligent Cruise Control Systems and Collision Warning Systems. Following paragraph talks about the specifications of the sensor. A Forward Looking Automotive Radar Sensor: This sensor available from [10] is a specially built sensor for intelligent cruise control and forward looking collision warning systems. They are used to collect information about traffic and obstacles in the roadway ahead. Few of the distinguishing features of this sensor are: • It correctly identifies a lead-vehicle being followed, constantly distinguishing between lead vehicle and competing vehicles and roadside objects. • Report the distance and relative speed of the lead vehicle to platform vehicle speed control unit. The specifications of the sensor are given in Table 1. Table 1. Sensor Performance Specifications Characteristic Value Operating Frequency 76-77 GHz (MMW) Range 3-10+ meters Range Accuracy << 0.5 meters Relative Speed +/ - 160 Km/h Field of View 9 Degrees (Azimuth) SAE J1850, RS-232, Interface High Speed Parallel The sensor specifically makes use of algorithms to interpret the transmitted and received radar signals to determine the distance, relative speed and azimuth angle between host vehicle and the vehicle or object ahead of it in the lane. The ESTEREL Module gets this data through interfaces and then applies its algorithm on it. 2.1.2. Safety Algorithm The sensor collects the data from the environmental conditions and current ambience of the vehicle at each instance of time and forwards it for analysis to the ESTEREL Module. The Safety Algorithm then compares the values of the various parameters in the received data with the set of predefined parameters. If the received values are close to the threshold limit of that particular parameter, then the algorithm emits a signal to the driver through the Driver Vehicle Interface, that there is a potential for a crash with the lead vehicle or an object in front of the host vehicle in the lane. We first discuss the parameters that are taken into consideration to identify the potential threat, the different proposed choices to set the predefined parameters and how the data from the sensor is analysed. Predefined Parameters: Physical parameters of the vehicle, roadway and other objects are taken into account which assists us in identification of potential for a crash or any other threat. The parameters are: distance, relative speed and azimuth. Distance is the distance between the host vehicle and the lead vehicle or an object in the lane.