Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine

Greenbelt, Maryland December 03-December 04

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270735

28th Annual NASA Goddard Software Eng ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Doron Drusinsky Articles by Garth Watney

	ASCII Text	x
	Doron Drusinsky, Garth Watney, "Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 127, 28th Annual NASA Goddard Software Engineering Workshop (SEW'03), 2003.

	BibTex	x
	@article{ 10.1109/SEW.2003.1270735, author = {Doron Drusinsky and Garth Watney}, title = {Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine}, journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard}, volume = {0}, year = {2003}, isbn = {0-7695-2064-2}, pages = {127}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270735}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering Workshop, Annual IEEE/NASA Goddard TI - Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine SN - 0-7695-2064-2 SP EP A1 - Doron Drusinsky, A1 - Garth Watney, PY - 2003 KW - null VL - 0 JA - Software Engineering Workshop, Annual IEEE/NASA Goddard ER -

Doron Drusinsky, Time Rover, Inc., Cupertino, CA

Garth Watney, NASA JPL, Pasadena, CA

Run-time monitoring is a lightweight verification method whereby the correctness of a programs' execution is verified at run-time using executable specifications. This paper describes the verification of the fault protection engine of the Deep-Impact spacecraft flight software using a temporal logic based run-time monitoring tool.

Citation:

Doron Drusinsky, Garth Watney, "Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine," sew, pp.127, 28th Annual NASA Goddard Software Engineering Workshop (SEW'03), 2003

Peer Review Notice | Give Us Feedback

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