CAJ | 학술논문

提出了仿真故障注入系统的七元组描述的统一理论模型,指导用于软错误敏感性评估的仿真故障注入系统的设计与实现.结合七元组模型给出了仿真故障注入系统中关键部分的设计方法,包括实现自动化故障注入的一般方法、基于LL(k)语法分析技术的故障集生成方法、基于检查点恢复和分层抽样的仿真故障注入加速策略等.同时,以电路级软错误敏感性评估平台HSECT-SPI(HIT soft error characterization toolkit-spice based)为例讨论了七元组模型的可行性和有效性.
제출료방진고장주입계통적칠원조묘술적통일이론모형,지도용우연착오민감성평고적방진고장주입계통적설계여실현.결합칠원조모형급출료방진고장주입계통중관건부분적설계방법,포괄실현자동화고장주입적일반방법、기우LL(k)어법분석기술적고장집생성방법、기우검사점회복화분층추양적방진고장주입가속책략등.동시,이전로급연착오민감성평고평태HSECT-SPI(HIT soft error characterization toolkit-spice based)위례토론료칠원조모형적가행성화유효성.
A unified 7-tuple model is developed to model the simulated fault injection system, which can be used to direct the design and implementation of the simulated fault injection system for sott error sensitivity evaluation. Based on the 7-tuple model, the design strategies of the key components in the simulated fault injection platform, including the unified automated fault injection method, the LL (k) syntax analysis based fault set generation method, the speeding-up techniques based on the checkpoint recovery and stratified sam-piing are developed to direct the design and implementation of the practical fault injection platform. Additionally, a circuit level soft error sensitivity characterization platform HSECT-SPI (HIT soft error characterization toolkit-spice based) is developed to validate the practicability and effectiveness of the 7-tuple model.