Abstract
A selfchecking computer module suitable for use in a variety of safety critical applications is described. The module is able to detect any errors generated in normal processing, and also to test itself comprehensively for latent faults. The basis of the module is an enhanced version of the Viper microprocessor, a formally proven device designed specifically for use in safety critical applications. To minimize component count, methods of incorporating the error detection and handling mechanisms into the Viper chips themselves are given. Also described are techniques for implementing the module as a multicard system. By defining a standard backplane and designing a general-purpose set of cards, selfchecking computers of various sizes can be configured without additional hardware design. The paper concludes by showing how two or more selfchecking modules can be connected in various fault tolerant configurations.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
