DocumentCode
2703814
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
fYear
1999
fDate
4-6 Mar 1999
Firstpage
180
Lastpage
183
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;
fLanguage
English
Publisher
ieee
Conference_Titel
VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on
Conference_Location
Ypsilanti, MI
ISSN
1066-1395
Print_ISBN
0-7695-0104-4
Type
conf
DOI
10.1109/GLSV.1999.757405
Filename
757405
Link To Document