TESTING OF A COMPUTER BASED INTERLOCKING SOFTWARE: METHODOLOGY AND ENVIRONMENT.

Abstract

Ansaldo Trasporti Computer Based Interlocking System “ACC” is based on multiprocessor architecture and software developed with safety criteria. It achieves the same levels of safety and availability as relay interlocking. Safety and availability are fundamental attributes of dependability requirements for the ACC system; they are assured by the following fault avoidance and fault tolerance techniques:–development methodology (Structured Analysis and Design),–independent Verification & Validation (V&V) methodology,–fault-detection techniques,–software diversity for the three sections of TMR developed by different teams using different languages,–software voting of results.