Timing Failure Detection with a Timely Computing Base

摘要: In a recent report we proposed an architectural construct to address the problem of dealing with timeliness specifications in generic way. We called it Timely Computing Base, TCB. The TCB defines set services available applications, including timely execution, duration measurement and timing failure detection. showed how these could be used build dependable applications. this paper further extend description TCB, namely by presenting protocol for its Timing Failure Detection (TFD) service. discuss essential aspects providing such service under framework make some considerations relative interface.