Provided are a method, system, and program for monitoring a system including a plurality of subcomponents. An implementation of a plurality of subcomponent finite state machines for subcomponents of the system is provided, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent. An implementation of a system finite state machine having output values for combinations of the output values from the subcomponent finite state machines is provided. For each subcomponent finite state machine, a determination is made of the output value by determining the input state values of the subcomponent, processing the subcomponent finite state machine with the determined input state values to determine the subcomponent output value, and processing the system finite state machine with the determined subcomponent output values to determine the system output value.

 
Web www.patentalert.com

< Method and apparatus for using a rest mode indicator to automatically adjust control parameters of an implantable cardiac stimulation device

< Implantable cardiac stimulation device including a system for and method of automatically inducing a tachyarrhythmia

> Method and apparatus for identifying processing units to a network using network addresses obtained from removable data carriers

> Use of EEPROM for storage of security objects in secure systems
~ 00222