文章基本信息

标题：Formal Modeling and Verification of Smart Traffic Environment with Design Aided by UML
本地全文：下载
作者：Umber Noureen Abbas ; Nazir Ahmad Zafar ; Farhan Ullah 等
期刊名称：International Journal of Advanced Computer Science and Applications(IJACSA)
印刷版ISSN：2158-107X
电子版ISSN：2156-5570
出版年度：2016
卷号：7
期号：12
DOI：10.14569/IJACSA.2016.071222
出版社：Science and Information Society (SAI)
摘要：Issue challan in response to rules violation, LED (Light Emitting Diode) and Bridge components of this proposed Smart Traffic Monitoring and Guidance System are presented in this paper to monitor violation of rules, update users about traffic congestion through LED and to provide central hub to communicate with sensors to update server about the traffic situation. It involves the Wireless Sensors and actors to communicate with the system. The proposed components require fewer resources in terms of sensors and actors. Further sensors identify violation of rules through issue challan. Secondly, LED component provides information to users about the traffic situations. Thirdly, Bridge component is used to provide central hub to communicate with different components in the proposed model and to update the server. The proposed components of this model are implemented by developing formal specification using VDM-SL. VDM-SL is a formal specification language used for analysis of complex systems. The developed specification is validated, verified and analyzed using VDM-SL Toolbox.
关键词：thesai; IJACSA Volume 7 Issue 12; Formal specification; Formal analysis; VDM; Sequence Diagram; Issue Challan; LED