A Tool for Computing the Output Code Spaces and Verifying the Self-Checking Properties in Complex Self-checking Systems
Summary :
In complex self-checking systems several blocks (i.e. functional blocks and checkers) are embedded. In order to check the self-checking properties of such blocks we need to know the set of vectors they receive from the blocks feeding their inputs (i.e. the code word output spaces of the source blocks). In a complex system the computation of the output spaces by means of exhaustive simulation of the system is intractable. In this paper we present a tool which performs this computation with low CPU time. Some other tools allowing to verify the self-checking properties of embedded blocks (like the strongly fault secure property of embedded PLAs and the self-testing property of embedded checkers), have also been developed and experimented.
- Publication
- IEICE TRANSACTIONS on Information Vol.E75-D No.6 pp.824-834
- Publication Date
- 1992/11/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Makhtar BOUDJIT, Michael NICOLAIDIS, "A Tool for Computing the Output Code Spaces and Verifying the Self-Checking Properties in Complex Self-checking Systems" in IEICE TRANSACTIONS on Information,
vol. E75-D, no. 6, pp. 824-834, November 1992, doi: .
Abstract: In complex self-checking systems several blocks (i.e. functional blocks and checkers) are embedded. In order to check the self-checking properties of such blocks we need to know the set of vectors they receive from the blocks feeding their inputs (i.e. the code word output spaces of the source blocks). In a complex system the computation of the output spaces by means of exhaustive simulation of the system is intractable. In this paper we present a tool which performs this computation with low CPU time. Some other tools allowing to verify the self-checking properties of embedded blocks (like the strongly fault secure property of embedded PLAs and the self-testing property of embedded checkers), have also been developed and experimented.
URL: https://global.ieice.org/en_transactions/information/10.1587/e75-d_6_824/_p
Copy
@ARTICLE{e75-d_6_824,
author={Makhtar BOUDJIT, Michael NICOLAIDIS, },
journal={IEICE TRANSACTIONS on Information},
title={A Tool for Computing the Output Code Spaces and Verifying the Self-Checking Properties in Complex Self-checking Systems},
year={1992},
volume={E75-D},
number={6},
pages={824-834},
abstract={In complex self-checking systems several blocks (i.e. functional blocks and checkers) are embedded. In order to check the self-checking properties of such blocks we need to know the set of vectors they receive from the blocks feeding their inputs (i.e. the code word output spaces of the source blocks). In a complex system the computation of the output spaces by means of exhaustive simulation of the system is intractable. In this paper we present a tool which performs this computation with low CPU time. Some other tools allowing to verify the self-checking properties of embedded blocks (like the strongly fault secure property of embedded PLAs and the self-testing property of embedded checkers), have also been developed and experimented.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - A Tool for Computing the Output Code Spaces and Verifying the Self-Checking Properties in Complex Self-checking Systems
T2 - IEICE TRANSACTIONS on Information
SP - 824
EP - 834
AU - Makhtar BOUDJIT
AU - Michael NICOLAIDIS
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E75-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - November 1992
AB - In complex self-checking systems several blocks (i.e. functional blocks and checkers) are embedded. In order to check the self-checking properties of such blocks we need to know the set of vectors they receive from the blocks feeding their inputs (i.e. the code word output spaces of the source blocks). In a complex system the computation of the output spaces by means of exhaustive simulation of the system is intractable. In this paper we present a tool which performs this computation with low CPU time. Some other tools allowing to verify the self-checking properties of embedded blocks (like the strongly fault secure property of embedded PLAs and the self-testing property of embedded checkers), have also been developed and experimented.
ER -
English
