Run-time övervakning är en lätt verifieringsmetod där korrektheten i ett programs utförande verifieras vid körning med hjälp av körbara specifikationer. I detta dokument beskrivs verifieringen av felskyddsmotorn för flygprogramvaran Deep-Impact för rymdfarkoster med hjälp av ett tidsbaserat verktyg för övervakning av körtid.
Slutligen, körtid övervakning, en lätt version av verifiering, har tillämpats på felskyddsmotorn av Deep-Impact rymdfarkoster flight programvara REF.
Applying run-time monitoring to the Deep-Impact fault protection engine
{'venue': '28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.', 'journal': '28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.', 'mag_field_of_study': ['Computer Science']}