Patent ID: 8504874

Claim:
A method comprising: monitoring a plurality of devices using a plurality of sensors, wherein the plurality of sensors generate a plurality of signals and events for each device based on the monitoring; determining a state of each of the plurality of devices based on the generated plurality of signals and events by a repair service; performing one or more repair actions on one or more of the plurality of devices according to the determined states by the repair service; recording, for each device, the state of the device, a time the device entered the state, any repair actions performed on the device by the repair service, and the generated plurality of signals and events for the device; determining an effectiveness of the one or more repair actions using the recorded states, the performed repair actions, and the time the devices entered each state; and determining the effectiveness of the one or more sensors using the determined effectiveness of the one or more repair actions and the generated plurality of signals and events of the one or more sensors using a formal language to represent a sequence of the signals and events.