Check out the new USENIX Web site. next up previous
Next: Testing of safety properties Up: The architecture of the Previous: The Human-Machine Monitor

Timers

Timers are set and cleared through the Timers Triveni process, which also sends events to the other Triveni processes when a timer has expired.



1998-03-16