YaBeSH Engineering and Technology Library

    • Journals
    • PaperQuest
    • YSE Standards
    • YaBeSH
    • Login
    View Item 
    •   YE&T Library
    • ASCE
    • Journal of Computing in Civil Engineering
    • View Item
    •   YE&T Library
    • ASCE
    • Journal of Computing in Civil Engineering
    • View Item
    • All Fields
    • Source Title
    • Year
    • Publisher
    • Title
    • Subject
    • Author
    • DOI
    • ISBN
    Advanced Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Archive

    Finite State Verification of Intelligent Transportation Systems

    Source: Journal of Computing in Civil Engineering:;2000:;Volume ( 014 ):;issue: 001
    Author:
    John W. Baugh
    ,
    GopalaKrishna Reddy Kakivaya
    DOI: 10.1061/(ASCE)0887-3801(2000)14:1(38)
    Publisher: American Society of Civil Engineers
    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.
    • Download: (222.8Kb)
    • Show Full MetaData Hide Full MetaData
    • Get RIS
    • Item Order
    • Go To Publisher
    • Price: 5000 Rial
    • Statistics

      Finite State Verification of Intelligent Transportation Systems

    URI
    http://yetl.yabesh.ir/yetl1/handle/yetl/43005
    Collections
    • Journal of Computing in Civil Engineering

    Show full item record

    contributor authorJohn W. Baugh
    contributor authorGopalaKrishna Reddy Kakivaya
    date accessioned2017-05-08T21:12:50Z
    date available2017-05-08T21:12:50Z
    date copyrightJanuary 2000
    date issued2000
    identifier other%28asce%290887-3801%282000%2914%3A1%2838%29.pdf
    identifier urihttp://yetl.yabesh.ir/yetl/handle/yetl/43005
    description abstractIntelligent 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.
    publisherAmerican Society of Civil Engineers
    titleFinite State Verification of Intelligent Transportation Systems
    typeJournal Paper
    journal volume14
    journal issue1
    journal titleJournal of Computing in Civil Engineering
    identifier doi10.1061/(ASCE)0887-3801(2000)14:1(38)
    treeJournal of Computing in Civil Engineering:;2000:;Volume ( 014 ):;issue: 001
    contenttypeFulltext
    DSpace software copyright © 2002-2015  DuraSpace
    نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
    yabeshDSpacePersian
     
    DSpace software copyright © 2002-2015  DuraSpace
    نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
    yabeshDSpacePersian