Abstract | ||
---|---|---|
Railway control systems are safety-critical, so we have to ensure that they are designed and implemented correctly. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. The interlocking is a layer of railway control systems that guarantees safety. It allows to execute commands given by a user only if they are safe; unsafe commands am rejected.Railway interlockings are central to efficient and safe traffic management for railway infrastructure managers and operators. European integration requires new standards for specification and testing interlockings. Hem we propose an approach to testing interlockings with TTCN-3 and give an example for its application.The code of interlockings is simulated during test execution. For assessing the quality of the tests, we propose an approach inspired by the Classification Tree Method. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/CCECE.2006.277762 | 2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5 |
Keywords | Field | DocType |
railway interlocking, TTCN-3, test coverage | Code coverage,Interlocking,Railway engineering,Classification Tree Method,System testing,Computer science,Formal specification,Software,TTCN-3,Reliability engineering | Conference |
ISSN | Citations | PageRank |
0840-7789 | 1 | 0.48 |
References | Authors | |
4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jens R. Calamé | 1 | 23 | 2.98 |
Nicolae Goga | 2 | 140 | 15.80 |
Natalia Ioustinova | 3 | 62 | 6.99 |
Jaco Van De Pol | 4 | 1022 | 78.19 |