GDL

Esterel Implementation and Validation of Cruise Controller

ISSN : 2231 - 5403
Journal from gdlhub / 2017-08-14 11:52:33
Oleh : Jagannath Aghav and Ashwin Tumma, Computer Science & Information Technology
Dibuat : 2012-06-26, dengan 1 file

Keyword : Safety Algorithm, Cruise Control, ESTEREL, Reactive Control System, Synchronous Programming Language
Subjek : Esterel Implementation and Validation of Cruise Controller
Url : http://airccj.org/CSCP/vol1/csit1214.pdf
Sumber pengambilan dokumen : Internet

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

Deskripsi Alternatif :

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

Beri Komentar ?#(0) | Bookmark

Properti	Nilai Properti
ID Publisher	gdlhub
Organisasi	Computer Science & Information Technology
Nama Kontak	Herti Yani, S.Kom
Alamat	Jln. Jenderal Sudirman
Kota	Jambi
Daerah	Jambi
Negara	Indonesia
Telepon	0741-35095
Fax	0741-35093
E-mail Administrator	elibrarystikom@gmail.com
E-mail CKO	elibrarystikom@gmail.com