Using and generating finite state machines to monitor system status
First Claim
1. A method for monitoring a system including a plurality of subcomponents, comprising:
- providing an implementation of a plurality of subcomponent finite state machines for subcomponents of the system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent;
providing an implementation of a system finite state machine having output values for combinations of the output values from the subcomponent finite state machines; and
for each subcomponent finite state machine, determining the output value by;
(i) determining the input state values of the subcomponent; and
(ii) 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.
2 Assignments
0 Petitions
Accused Products
Abstract
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.
-
Citations
48 Claims
-
1. A method for monitoring a system including a plurality of subcomponents, comprising:
-
providing an implementation of a plurality of subcomponent finite state machines for subcomponents of the system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent; providing an implementation of a system finite state machine having output values for combinations of the output values from the subcomponent finite state machines; and for each subcomponent finite state machine, determining the output value by; (i) determining the input state values of the subcomponent; and (ii) 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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A method for implementing an administrative policy for a device having at least one component, comprising:
-
providing an implementation of an administrative policy finite state machine indicating at least one action to perform for combinations of input administrative and operational states of the component in the device; determining the input administrative and operational states for the component; and processing the administrative policy state machine with the determined input administrative and operational states to determine at least one action to perform. - View Dependent Claims (11, 12, 13, 14)
-
-
15. A method, comprising:
-
generating implementations of a plurality of subcomponent finite state machine for subcomponents of a system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent; and generating an implementation of a system finite state machine having output values for combinations of the subcomponent output values from the subcomponent finite state machines, wherein each subcomponent finite state machine is processed with determined input state values for the subcomponent state machine to determine the subcomponent output value, and wherein the system finite state machine is processed with the determined subcomponent output values to determine the system output value. - View Dependent Claims (16, 17, 18)
-
-
19. A system, comprising:
-
(a) a plurality of subcomponents; (b) a computer readable medium including; (i) a representation of a plurality of subcomponent finite state machines for subcomponents of the system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent; and (ii) a representation of a system finite state machine having output values for combinations of the output values from the subcomponent finite state machines; and (c) code capable of being executed in the system to perform; (i) for each subcomponent finite state machine, determining the output value by; (a) determining the input state values of the subcomponent; and (b) processing the subcomponent finite state machine with the determined input state values to determine the subcomponent output value; and (ii) processing the system finite state machine with the determined subcomponent output values to determine the system output value. - View Dependent Claims (20, 21, 22, 23, 24, 25)
-
-
26. A device, comprising:
-
(a) at least one component; (b) a computer readable medium including a representation of an administrative policy finite state machine indicating at least one action to perform for combinations of input administrative and operational states of the component in the device; and (c) code capable of being executed to perform; (i) determining the input administrative and operational states for the component; and (ii) processing the administrative policy state machine with the determined input administrative and operational states to determine at least one action to perform with respect to the component. - View Dependent Claims (27, 28, 29, 30)
-
-
31. An article of manufacture for monitoring a system including a plurality of subcomponents, wherein the article of manufacture causes operations to be performed, the operations comprising:
-
providing an implementation of a plurality of subcomponent finite state machines for subcomponents of the system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent; providing an implementation of a system finite state machine having output values for combinations of the output values from the subcomponent finite state machines; and for each subcomponent finite state machine, determining the output value by; (i) determining the input state values of the subcomponent; and (ii) 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. - View Dependent Claims (32, 33, 34, 35, 36, 37, 38)
-
-
39. An article of manufacture for implementing an administrative policy for a device having at least one component, wherein the article of manufacture causes operations to be performed, the operations comprising:
-
providing an implementation of an administrative policy finite state machine indicating at least one action to perform for combinations of input administrative and operational states of the component in the device; determining the input administrative and operational states for the component; and processing the administrative policy state machine with the determined input administrative and operational states to determine at least one action to perform. - View Dependent Claims (40, 41, 42, 43, 44)
-
-
45. An article of manufacture for causing operations to be performed, the operations comprising:
-
generating implementations of a plurality of subcomponent finite state machine for subcomponents of a system, wherein each subcomponent finite state machine indicates output values for combinations of input state values related to states in the subcomponent; and generating an implementation of a system finite state machine having output values for combinations of the subcomponent output values from the subcomponent finite state machines, wherein each subcomponent finite state machine is processed with determined input state values for the subcomponent state machine to determine the subcomponent output value, and wherein the system finite state machine is processed with the determined subcomponent output values to determine the system output value. - View Dependent Claims (46, 47, 48)
-
Specification