The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Automatic Static Software Testing Technology for Railway Signaling System
Abstract
In accordance with the development of recent computer technology, the railway system is advancing to be flexible, automatic and intelligent. In addition, many functions of railway signaling which are cores to the railway system are being operated by computer software. Recently, the dependency of railway signaling systems on computer software is increasing. The testing to validate the safety of the railway signaling system software is becoming more important, and related international standards for inspections on the static analysis based source code and dynamic test are a highly recommended (HR) level. For this purpose, studies in relation to the development of source code analysis tools were started several years ago in Korea. To verify the applicability of validation tools developed as a part of these studies, the applicability test was performed for the railway signaling system being applied to the Korean domestic railway. This automated testing tool for railway signaling systems can also be utilized at the assessment stage for railway signaling system software, and it is anticipated that it can also be utilized usefully at the software development stage. This chapter drew the result of the application test for this actual source code of the railway signaling system being applied to railway sites and analyzed its result.
Related Content
|
G. Sowmya, R. Sridevi, K. S. Sadasiva Rao, Sri Ganesh Shiramshetty.
© 2025.
36 pages.
|
|
Srinidhi Vasan.
© 2025.
20 pages.
|
|
Arul Kumar Natarajan, Yash Desai, Pravin R. Kshirsagar, Kamal Upreti, Tan Kuan Tak.
© 2025.
26 pages.
|
|
R. Leisha, Katelyn Jade Medows, Michael Moses Thiruthuvanathan, S. Ravindra Babu, Prakash Divakaran, Vandana Mishra Chaturvedi.
© 2025.
40 pages.
|
|
Rituraj Jain, Kumar J. Parmar, Kushal Gaddamwar, Damodharan Palaniappan, T. Premavathi, Yatharth Srivastava.
© 2025.
32 pages.
|
|
Anya Behera, A. Vedashree, M. Rupesh Kumar, Kamal Upreti.
© 2025.
30 pages.
|
|
Neha Bagga, Sheetal Kalra, Parminder Kaur.
© 2025.
30 pages.
|
|
|