Title :
An approach for testing safety-critical software
Author :
Li, Weiwei ; Xu, Zhongwei ; Jin, Yan
Author_Institution :
Dept. of Telecommun. Eng., Shanghai Tie Dao Univ., China
Abstract :
A novel approach for testing the effectiveness, efficiency, safety and relative appropriateness of Computer Interlocking Software (CIS)-a kind of safety-critical software is presented with a software platform developed to support this approach. A brief description of the proposed approach is also included
Keywords :
program testing; program verification; safety-critical software; software fault tolerance; computer interlocking software; safety-critical software; software platform; software testing; Communication system signaling; Computational Intelligence Society; Control systems; Frequency; Postal services; Rail transportation; Railway safety; Software safety; Software testing; System testing;
Conference_Titel :
VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on
Conference_Location :
Ypsilanti, MI
Print_ISBN :
0-7695-0104-4
DOI :
10.1109/GLSV.1999.757405
