A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

Kadakolmath, Lokanna; Ramu, Umesh D.

doi:10.18280/ijsse.110607

Cited by 5 publications

(3 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, these three layers form a tree structure. figure 2 shows the basic structure of a simple tree neural network [13]. In figure 2, the root node of the tree structure represents either the output layer or the fully connected layer from the previous layer, the branch nodes represent hidden layers while the leaf nodes represent input layers.…”

Section: Fault Diagnosis Algorithm Of Interlocking Systemmentioning

confidence: 99%

Fault diagnosis of a computer interlocking system for railway signal control

Zhou,

2023

Eng. Res. Express

View full text Add to dashboard Cite

The signal control of the railway transportation system is crucial for operational safety. This paper briefly introduces the computer interlocking system for railway signal control, describes the tree-structured neural network used for fault diagnosis of the interlocking system, and introduces the particle swarm optimization (PSO) algorithm for improvement. Finally, a simulation experiment was conducted on a railway station to compare the traditional back-propagation neural network (BPNN), the support vector machine, the traditional tree-structured neural network, and the improved tree-structured neural network for fault diagnosis. It was found that the topological structure of the device distribution in the railway station could be transformed into a tree structure, and with the introduction of hidden nodes, it could become a binary tree structure where each leaf node represents a device; the improved tree-structured neural network had the highest recognition performance for both two-class tasks (determining system failure or not) and multi-class tasks (identifying fault type).

show abstract

Section: Fault Diagnosis Algorithm Of Interlocking Systemmentioning

confidence: 99%

Fault diagnosis of a computer interlocking system for railway signal control

Zhou,

2023

Eng. Res. Express

View full text Add to dashboard Cite

show abstract

“…L. Kadakolmath and Umesh D. R [15] a thorough assessment of semi-formal and formal methodologies in the framework of a smart mass transit system was given. They also reviewed the most significant problems that are encountered while implementing computer-based IXL systems.…”

Section: B Related Workmentioning

confidence: 99%

Goal-Oriented Modeling of an Urban Subway Control System Using KAOS

Kadakolmath¹,

Ramu²

2023

ijcs

View full text Add to dashboard Cite

The extent to which a safety-critical system, such as an urban subway control system, accomplishes its goals is a fundamental metric of its success. Identifying and assessing these goals should thus be one of the primary tasks in safety-critical system development. The breakdown of these systems may result in the loss of human lives and assets. The failure of these systems is caused by insufficient, incomplete, ambiguous, or conflicting requirements. Non-functional requirements are also separated from requirement specifications. Goal-oriented requirements engineering methodologies, such as KAOS, are used to tackle these challenges by providing adequate, complete, unambiguous, and consistent requirements in terms of goals. As a result, the KAOS approach is utilized in this article to construct a goal-oriented model of an urban subway control system. Variability and obstacle concerns are also addressed in this study.

show abstract

“…Recently, the short-range wireless communication has gained popularity among the underground communications community as an integral component of a strategy to increase labor productivity and safety. Leaky coaxial cables (LCXs), which employ multipath propagations, have recently emerged as a key tool for improving wireless local area network (WLANs) capacity in communication-based train control (CBTC) systems, high-speed trains, automatic highways, and underground conveyance applications [1,2]. The amount of user traffic on mobile networks is dramatically rising as a result of the growing use of smartphones, laptops, tablets, and countless other application services.…”

Section: Introductionmentioning

confidence: 99%

A Critical Review on Channel Modeling: Implementations, Challenges and Applications

Saleem

Zhang

et al. 2023

Electronics

View full text Add to dashboard Cite

In recent years, the use of massive multiple-input multiple-output (MIMO) systems and higher frequency bands for next-generation urban rail transportation systems has emerged as an intriguing research topic due to its potential to significantly increase network capacity by utilizing available narrowband and broadband spectrums. In metro and mining applications, the high-reliability wireless sensor network (WSN) plays a vital role in providing personal safety, channel optimization, and improving operational performance. Through the duration of 1921–2023, this paper provides the survey on the progress of fifth-generation (5G) and beyond-fifth-generation (B5G) wireless communication systems in underground environments such as tunnels and mines, the evolution of the earliest technologies, development in channel modeling for vehicle-to-vehicle (V2V) communications, and realization of different wireless propagation channels in high-speed train (HST) environments. In addition, the most recent advanced channel modeling methods are examined, including the development of new algorithms and their use in intelligent transportation systems (ITS); mathematical, analytical, and experimental techniques for propagation design; and the significance of the radiation characteristics, antenna placing, and physical environment effect on wireless communications. Leaky coaxial cable (LCX) and distributed antenna system (DAS) designs are introduced in the demonstrated systems for improving the channel capacity of narrowband and wideband channels as well as the spatial characteristics of various MIMO systems. The review article concludes by figuring out open research directions for future technologies.

show abstract

A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

Cited by 5 publications

References 46 publications

Fault diagnosis of a computer interlocking system for railway signal control

Fault diagnosis of a computer interlocking system for railway signal control

Goal-Oriented Modeling of an Urban Subway Control System Using KAOS

A Critical Review on Channel Modeling: Implementations, Challenges and Applications

Contact Info

Product

Resources

About