contributor author | John W. Baugh | |
contributor author | GopalaKrishna Reddy Kakivaya | |
date accessioned | 2017-05-08T21:12:50Z | |
date available | 2017-05-08T21:12:50Z | |
date copyright | January 2000 | |
date issued | 2000 | |
identifier other | %28asce%290887-3801%282000%2914%3A1%2838%29.pdf | |
identifier uri | http://yetl.yabesh.ir/yetl/handle/yetl/43005 | |
description abstract | Intelligent transportation systems (ITS) represent a major initiative to improve roadway and travel conditions, not by building roads, but by drawing on new technologies in computing, sensing, and communications. However, these technologies are extremely complex and, while some demonstration projects have tested stand-alone systems, the broader architectural and standardization issues are still under development. The use of complex technologies in a safety-critical system such as ITS and at the scale envisioned requires a very careful study of the interaction between its various subsystems. This paper describes an approach for modeling the temporal aspects of ITS systems as well as their logical coordination using finite state verification tools. The approach is demonstrated by verifying safety properties of an automated traffic signal at a road intersection. | |
publisher | American Society of Civil Engineers | |
title | Finite State Verification of Intelligent Transportation Systems | |
type | Journal Paper | |
journal volume | 14 | |
journal issue | 1 | |
journal title | Journal of Computing in Civil Engineering | |
identifier doi | 10.1061/(ASCE)0887-3801(2000)14:1(38) | |
tree | Journal of Computing in Civil Engineering:;2000:;Volume ( 014 ):;issue: 001 | |
contenttype | Fulltext | |