Jagannath Aghav and Ashwin Tumma, College of Engineering Pune, India

Recently there has been mammoth growth in the world population which has also contributed to the voluminous growth of vehicles. As a consequence of this, the numbers of accidents on roads have also increased to a large extent. 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. A reference implementation of the safety algorithm in ESTEREL is proposed, which is also formally verified along with the proofs of various properties that the system obeys.

Safety Algorithm, Cruise Control, ESTEREL, Reactive Control System, Synchronous Programming Language