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

S
SEW
2003
28th Annual NASA Goddard Software Engineering Workshop (SEW'03)
Abstract - Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine

	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 Doron Drusinsky Articles by Garth Watney

28th Annual NASA Goddard Software Engineering Workshop (SEW'03)

Greenbelt, Maryland

December 03-December 04

ISBN: 0-7695-2064-2

	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

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

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.