Abstract
In recent studies, it is indicated that the rate of accidents at level crossings of Railway Gate Control System (RGCS) is increasing. The need of an automatic system emerges due to the poor management and negligence of railway staff, that may make us able to handle the situation by reducing the accidents. RGCS has gained much attention because of its accident reducing and time saving competence at the level crossing. To signify the entire automatic railway gate control system, one of the best approaches for RGCS modeling is Deterministic Finite Automata (DFA). This paper presents UML and formal model of RGCS using DFA. The behavior of the proposed model is explained using UML activity and sequence diagrams and then to prove its verification and correctness formal specification is described. Vienna Development Method Specification Language (VDM-SL), a formal specification language, is a mathematical based approach to implement the systems in a correct way and to verify the properties of software systems. For analysis purpose of the model, various functionalities of VDM-SL toolbox are used. The verification and validation of model is provided using VDM-SL toolbox.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
