Watchdog Processors and Structural Integrity Checking
Watchdog Processors and Structural Integrity Checking
复制标题
看门狗处理器和结构完整性检查
DOI：
10.1109/tc.1982.1676066
复制
发表时间：
1982
影响因子：
3.7
通讯作者：
David J. Lu
中科院分区：
文献类型：
--
作者：
David J. Lu
描述了在实施结构完整性检查（SIC）中使用看门狗处理器。理想的SIC模型是根据形式语言和自动机给出的。提出了用于实施SIC的技术。总结了Pascal编译器为SIC Pascal预处理器的修改。
The use of watchdog processors in the implementation of Structural Integrity Checking (SIC) is described. A model for ideal SIC is given in terms of formal languages and automata. Techniques for use in implementing SIC are presented. The modification of a Pascal compiler into an SIC Pascal preprocessor is summarized.