Abstract The assurance of required safety integrity level in the field of railway signalling is essential. The most commonly used verification, validation and testing methods are not exhaustive and can miss errors. This paper describes an alternative verification technique based on the TTCN-3 (Testing and Test Control Notation). The TTCN-3 is an internationally standardized testing language for formal defining of test scenarios and their implementation.
Application of TTCN-3 for Testing of Railway Interlocking Systems
2010-01-01
8 pages
Article/Chapter (Book)
Electronic Resource
English
Application of TTCN-3 for Testing of Railway Interlocking Systems
British Library Conference Proceedings | 2010
|Modelling Railway Interlocking Systems
British Library Conference Proceedings | 2001
|Micro TTCN - an approach to continuous signals in TTCN-3
Tema Archive | 2007
|Automatic instantiation for railway interlocking systems
Tema Archive | 2007
|