Back to Search Start Over

Design methodology of FSMs with intrinsic fault tolerance and recovery capabilities

Authors :
Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG)
CSI, INPG, Grenoble (CSI) ; Institut National Polytechnique de Grenoble (INPG)
SEXTANT Avionique ; sextant
Leveugle, R.
Martinez, L.
Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG)
CSI, INPG, Grenoble (CSI) ; Institut National Polytechnique de Grenoble (INPG)
SEXTANT Avionique ; sextant
Leveugle, R.
Martinez, L.
Source :
Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4.; Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., Dec 1991, Paris, France. IEEE Comput. Soc. Press, Los Alamitos, CA, USA, pp.201-6, <10.1109/EUASIC.1992.228024>

Abstract

ISBN: 0818628456&lt;br /&gt;When ASICs are dedicated to highly dependable applications, concurrent checking and/or fault-tolerance capabilities are necessary on chip. In particular, FSMs must be protected against permanent and transient faults. The authors review the main proposals one can fine on this subject in the literature. Then, an approach is proposed to achieve intrinsic fault tolerance. This approach is based on a specific logic synthesis for FSMs described by their state transition graph.

Details

Database :
OAIster
Journal :
Proceedings.-Euro-ASIC-&#39;92-Cat.-No.92TH0442-4.; Proceedings.-Euro-ASIC-&#39;92-Cat.-No.92TH0442-4., Dec 1991, Paris, France. IEEE Comput. Soc. Press, Los Alamitos, CA, USA, pp.201-6, <10.1109/EUASIC.1992.228024>
Notes :
Paris, France, Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., English
Publication Type :
Electronic Resource
Accession number :
edsoai.ocn892987708
Document Type :
Electronic Resource