MEMS safety switch for controlling critical software operations

This work is intended to help improve the safety of software-controlled safety-critical systems, while also helping to improve the mathematical characterization of such systems. Software processing is an essential part of many safety-critical operations. However, safety and reliability vulnerabilities are inherent in typical software logic and in hardware implementations representing the software logic, because it is impossible to assure perfect software, and it is difficult to make microelectronics invulnerable to many environments. Also, the safety of systems depending on software control is very difficult to assure probabilistically.