English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

In light of the recent humongous growth of the human population worldwide,there has also been a voluminous and uncontrolled growth of vehicles, which hasconsequently increased the number of road accidents to a large extent. In lieuof a solution to the above mentioned issue, our system is an attempt tomitigate the same using synchronous programming language. The aim is to developa safety crash warning system that will address the rear end crashes and alsotake over the controlling of the vehicle when the threat is at a very highlevel. Adapting according to the environmental conditions is also a prominentfeature of the system. Safety System provides warnings to drivers to assist inavoiding rear-end crashes with other vehicles. Initially the system provides alow level alarm and as the severity of the threat increases the level ofwarnings or alerts also rises. At the highest level of threat, the systementers in a Cruise Control Mode, wherein the system controls the speed of thevehicle by controlling the engine throttle and if permitted, the brake systemof the vehicle. We focus on this crash area as it has a very high percentage ofthe crash-related fatalities. To prove the feasibility, robustness andreliability of the system, we have also proved some of the properties of thesystem using temporal logic along with a reference implementation in ESTEREL.To bolster the same, we have formally verified various properties of the systemalong with their proofs.

Design and Validation of Safety Cruise Control System for Automobiles