An Approach for Testing Safety-Critical Software

G
GLSVLSI
1999
Ninth Great Lakes Symposium on VLSI
Abstract - An Approach for Testing Safety-Critical Software

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Weiwei Li Articles by Zhongwei Xu Articles by Yan Jin

Ninth Great Lakes Symposium on VLSI

Ann Arbor, Michigan

March 04-March 06

ISBN: 0-7695-0104-4

	ASCII Text	x
	Weiwei Li, Zhongwei Xu, Yan Jin, "An Approach for Testing Safety-Critical Software," Great Lakes Symposium on VLSI, pp. 180, Ninth Great Lakes Symposium on VLSI, 1999.

	BibTex	x
	@article{ 10.1109/GLSV.1999.757405, author = {Weiwei Li and Zhongwei Xu and Yan Jin}, title = {An Approach for Testing Safety-Critical Software}, journal ={Great Lakes Symposium on VLSI}, volume = {0}, year = {1999}, issn = {1066-1395}, pages = {180}, doi = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757405}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Great Lakes Symposium on VLSI TI - An Approach for Testing Safety-Critical Software SN - 1066-1395 SP EP A1 - Weiwei Li, A1 - Zhongwei Xu, A1 - Yan Jin, PY - 1999 KW - Safety-Critical Software KW - Failure Severity Level KW - Failure Frequency KW - Software Safety KW - Integrity Level KW - Software Validation VL - 0 JA - Great Lakes Symposium on VLSI ER -

Weiwei Li, Shanghai Tie Dao University

Zhongwei Xu, Shanghai Tie Dao University

Yan Jin, Shanghai Tie Dao University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757405

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.

Index Terms:

Safety-Critical Software, Failure Severity Level, Failure Frequency, Software Safety, Integrity Level, Software Validation

Citation:

Weiwei Li, Zhongwei Xu, Yan Jin, "An Approach for Testing Safety-Critical Software," glsvlsi, pp.180, Ninth Great Lakes Symposium on VLSI, 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.