{"title":"故障安全系统的广义理论","authors":"M. Nicolaidis, S. Noraz, B. Courtois","doi":"10.1109/FTCS.1989.105602","DOIUrl":null,"url":null,"abstract":"The authors generalize the concept of fail-safe systems and introduce the concept of strongly fail-safe systems. As an application, they present an interface that can be implemented in MOS technologies. It transforms the outputs of self-checking systems into signals adequate to drive electromechanical actuators and such that the whole system (self-checking circuit and interface) is strongly fail-safe.<<ETX>>","PeriodicalId":230363,"journal":{"name":"[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers","volume":"95 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"55","resultStr":"{\"title\":\"A generalized theory of fail-safe systems\",\"authors\":\"M. Nicolaidis, S. Noraz, B. Courtois\",\"doi\":\"10.1109/FTCS.1989.105602\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors generalize the concept of fail-safe systems and introduce the concept of strongly fail-safe systems. As an application, they present an interface that can be implemented in MOS technologies. It transforms the outputs of self-checking systems into signals adequate to drive electromechanical actuators and such that the whole system (self-checking circuit and interface) is strongly fail-safe.<<ETX>>\",\"PeriodicalId\":230363,\"journal\":{\"name\":\"[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers\",\"volume\":\"95 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-06-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"55\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTCS.1989.105602\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTCS.1989.105602","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The authors generalize the concept of fail-safe systems and introduce the concept of strongly fail-safe systems. As an application, they present an interface that can be implemented in MOS technologies. It transforms the outputs of self-checking systems into signals adequate to drive electromechanical actuators and such that the whole system (self-checking circuit and interface) is strongly fail-safe.<>