Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime

Survivability or detecting and predicting failures for humans or animals is a matter of instinct. Unlike for robots, machines, or anything that bases its rationality in software, that assumption is not applicable, yet. In this paper we apply model checking techniques to avoid future complete malfunctioning. Scenarios where non existing states are evaluated in order to find solution to possible future problems. A model checker is used for online evaluation of all the states, including possible non-existing transitions and states.