Publication | Closed Access
A generalized theory of fail-safe systems
43
Citations
13
References
2003
Year
Unknown Venue
EngineeringVerificationFail-safe SystemsHardware SystemsFormal VerificationControl SystemsSafety-critical SystemReliability EngineeringSmart SystemsHardware DesignSystems EngineeringFailure DetectionGeneralized TheoryNetworked Computer SystemsComputer EngineeringSelf-checking SystemsComputer ScienceSelf-checking CircuitSafety EngineeringCyber Physical SystemsFormal MethodsSafety System
The authors generalize the concept of fail-safe systems and introduce the concept of strongly fail-safe systems. As an application, they present an interface that can be implemented in MOS technologies. It transforms the outputs of self-checking systems into signals adequate to drive electromechanical actuators and such that the whole system (self-checking circuit and interface) is strongly fail-safe.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1