{"title":"大型多处理机系统的比较诊断","authors":"C. Fuhrman, H. Nussbaumer","doi":"10.1109/ATS.1996.555166","DOIUrl":null,"url":null,"abstract":"We present the bounded symmetric comparison (BSC) model for comparison-based system-level diagnosis. It is based on the symmetric comparison model of Chwa and Hakimi but includes a limit on the number of PEs that can produce identical, faulty results that are used in the syndrome of the diagnosis. We contribute a theorem with necessary and sufficient conditions for one-step diagnosability of a system under the BSC model. We show that previous characterizations for one-step diagnosability under the symmetric (Chwa/Hakimi) and asymmetric (Malek) comparison models are in fact special-case characterizations for the BSC model.","PeriodicalId":215252,"journal":{"name":"Proceedings of the Fifth Asian Test Symposium (ATS'96)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Comparison diagnosis in large multiprocessor systems\",\"authors\":\"C. Fuhrman, H. Nussbaumer\",\"doi\":\"10.1109/ATS.1996.555166\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present the bounded symmetric comparison (BSC) model for comparison-based system-level diagnosis. It is based on the symmetric comparison model of Chwa and Hakimi but includes a limit on the number of PEs that can produce identical, faulty results that are used in the syndrome of the diagnosis. We contribute a theorem with necessary and sufficient conditions for one-step diagnosability of a system under the BSC model. We show that previous characterizations for one-step diagnosability under the symmetric (Chwa/Hakimi) and asymmetric (Malek) comparison models are in fact special-case characterizations for the BSC model.\",\"PeriodicalId\":215252,\"journal\":{\"name\":\"Proceedings of the Fifth Asian Test Symposium (ATS'96)\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-11-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Fifth Asian Test Symposium (ATS'96)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ATS.1996.555166\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Fifth Asian Test Symposium (ATS'96)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ATS.1996.555166","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Comparison diagnosis in large multiprocessor systems
We present the bounded symmetric comparison (BSC) model for comparison-based system-level diagnosis. It is based on the symmetric comparison model of Chwa and Hakimi but includes a limit on the number of PEs that can produce identical, faulty results that are used in the syndrome of the diagnosis. We contribute a theorem with necessary and sufficient conditions for one-step diagnosability of a system under the BSC model. We show that previous characterizations for one-step diagnosability under the symmetric (Chwa/Hakimi) and asymmetric (Malek) comparison models are in fact special-case characterizations for the BSC model.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
