Self Checking Design
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Definition and design of strongly language disjoint checkers
This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with which a functional system may achieve the TSC goal. Self-checking sequential systems are first addressed, then formal definitions of SLD che
Publicado em: 2011
-
2. Design of self-checking fully differential circuits and boards
A design methodology for on-line testing analog linear fully differential (FD) circuits is presented in this work. The test strategy is based on concurrently monitoring via an analog checker the common mode (CM) at the inputs of all amplifiers. The totally self-checking (TSC) goal is achieved for linear FD implementations provided that the checker CM thresho
Publicado em: 2011
-
3. RECOVERY ORIENTED SOFTWARE / SOFTWARE ORIENTADO À RECUPERAÇÃO
Software orientado à recuperação é construído com a perspective que falhas de hardware e software bem como erros de operação são fatos com os quais se deve conviver, pois são problemas que não podem ser resolvidos no desenvolvimento de aplicações reais e complexas. Consequentemente, qualquer software sempre terá uma chance diferente de zero de f
Publicado em: 2009
-
4. UM MICROCOMPUTADOR AUTO-DIAGNOSTICÁVEL / A SELF-CHECKING MICROCOMPUTER
The design and realization of a microcomputer for high security level applications is described. Erroneous data transmission may be prevented by: -self - checking circuits -blocking the computer upon detection of a failure. The microcomputer is built around the Intel 8080 microprocessor and has the followinf characteristics: - All the working circuits are te
Publicado em: 1975