Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

If a Micro Processor Unit (MPU) receives an external electri c signal as noise, the system function will freeze or malfunction easily. A new resilience strateg y is implemented in order to reset the MPU automatically and stop the MPU from freezing or malfunct ioning. The technique is useful for embedded systems which work in non-human environments. However… CONTINUE READING