Large-Scale Application of Fault Injection into PyTorch Models - an Extension to PyTorchFI for Validation Efficiency

被引:0
|
作者
Graefe, Ralf [1 ]
Sha, Qutub Syed [1 ,2 ]
Geissler, Florian [1 ]
Paulitsch, Michael [1 ]
机构
[1] Intel Labs, Neubiberg, Germany
[2] Tech Univ Munich, Munich, Germany
来源
2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S | 2023年
关键词
Machine Learning; Neural Networks; fault injection; PyTorch; PyTorchfi; silent data error;
D O I
10.1109/DSN-S58398.2023.00025
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Transient or permanent faults in hardware can render the output of Neural Networks (NN) incorrect without user-specific traces of the error, i.e. silent data errors (SDE). On the other hand, modern NNs also possess an inherent redundancy that can tolerate specific faults. To establish a safety case, it is necessary to distinguish and quantify both types of corruptions. To study the effects of hardware (HW) faults on software (SW) in general and NN models in particular, several fault injection (FI) methods have been established in recent years. Current FI methods focus on the methodology of injecting faults but often fall short of accounting for large-scale FI tests, where many fault locations based on a particular fault model need to be analyzed in a short time. Results need to be concise, repeatable, and comparable. To address these requirements and enable fault injection as the default component in a machine learning development cycle, we introduce a novel fault injection framework called PyTorchALFI (Application Level Fault Injection for PyTorch) based on PyTorchFI. PyTorchALFI provides an efficient way to define randomly generated and reusable sets of faults to inject into PyTorch models, defines complex test scenarios, enhances data sets, and generates test KPIs while tightly coupling fault-free, faulty, and modified NN. In this paper, we provide details about the definition of test scenarios, software architecture, and several examples of how to use the new framework to apply iterative changes in fault location and number, compare different model modifications, and analyze test results.
引用
收藏
页码:56 / 62
页数:7
相关论文
共 50 条
  • [21] Large-scale physical facility and experimental dataset for the validation of urban drainage models
    Sanudo, E.
    Cea, L.
    Puertas, J.
    Naves, J.
    Anta, J.
    HYDROLOGICAL PROCESSES, 2024, 38 (01)
  • [22] Large-scale neural models and dynamic causal modelling: A cross validation.
    Lee, L
    Friston, KJ
    Horwitz, B
    JOURNAL OF COGNITIVE NEUROSCIENCE, 2005, : 32 - 32
  • [23] Practice of the application of lean coal to coal injection in large-scale blast furnaces
    YAO Hongying Products & Technique Management Department
    BaosteelTechnicalResearch, 2009, 3 (04) : 33 - 35
  • [24] LARGE-SCALE MODELS AND LARGE-SCALE THINKING - THE CASE OF THE HEALTH-SERVICES
    SMITH, P
    OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, 1995, 23 (02): : 145 - 157
  • [25] Large-scale hydrological modeling of a semiarid environment:: Model development, validation and application
    Güntner, A
    Bronstert, A
    GLOBAL CHANGE AND REGIONAL IMPACTS: WATER AVAILABILITY AND VULNERABILITY OF ECOSYSTEMS AND SOCIETY IN THE SEMIARID NORTHEAST OF BRAZIL, 2003, : 217 - 228
  • [26] Fault tolerance in large-scale scientific computing
    Hough, Patricia D.
    Howle, Victoria E.
    PARALLEL PROCESSING FOR SCIENTIFIC COMPUTING, 2006, : 203 - 220
  • [27] Fault Diagnosis for Large-scale Wind Turbines
    Sun, Ziqiang
    Chen, Changzheng
    Liang, Shumin
    ADVANCES IN MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 220-223 : 740 - 743
  • [28] MATHEMATICAL MODELS FOR LARGE-SCALE MILLS
    LOVEDAY, BK
    TOLMAY, AL
    BRITISH CHEMICAL ENGINEERING, 1971, 16 (2-3): : 229 - &
  • [29] Large-Scale Immune Models and Visualization
    Perrin, Dimitri
    Burns, John
    ERCIM NEWS, 2008, (74): : 35 - 36
  • [30] CONDENSED FORMS OF LARGE-SCALE MODELS
    FONTELA, E
    ROSSIER, E
    LARGE SCALE SYSTEMS IN INFORMATION AND DECISION TECHNOLOGIES, 1980, 1 (04): : 281 - 288