White-Box Error Effect Simulation for Assisted Safety Analysis

被引:2
|
作者
Reiter, Sebastian [1 ]
Viehl, Alexander [1 ]
Bringmann, Oliver [2 ]
Rosenstiel, Wolfgang [2 ]
机构
[1] FZI Forschungszentrum Informat, Haid & Neu Str 10-14, D-76131 Karlsruhe, Germany
[2] Univ Tubingen, D-72076 Tubingen, Germany
关键词
D O I
10.1109/DSD.2015.83
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents an approach on extending virtual prototyping, commonly used for system verification and design space exploration, for safety analysis. Virtual prototyping will enhance safety analysis, overcoming the challenges resulting from the ever-increasing number of safety-related, complex, interconnected electronic systems. The presented integral fault injection framework enables safety analysis in combination with established system verification methods. It consists of a fault behavior specification methodology and the corresponding, reusable injection tool, with focus on seamless applicability in between functional models in early concept phases and low-level structural models in late design phases. Our approach works with third party compilers and simulators while providing a minimal intrusive approach using existing models. Selected use cases at gate, register-transfer and functional level demonstrate the usage of the approach.
引用
收藏
页码:534 / 538
页数:5
相关论文
共 50 条
  • [1] Safety Assessment: From Black-Box to White-Box
    Kurzidem, Iwo
    Misik, Adam
    Schleiss, Philipp
    Burton, Simon
    [J]. 2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 295 - 300
  • [2] White-box Implementation and Analysis of SIMON
    Luo, Yi-Nuo
    Chen, Jie
    Wang, Chao
    [J]. Ruan Jian Xue Bao/Journal of Software, 2024, 35 (11): : 5263 - 5278
  • [3] White-box benchmarking
    Hernández, E
    Hey, T
    [J]. EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 220 - 223
  • [4] White-box testing
    Cole, O
    [J]. DR DOBBS JOURNAL, 2000, 25 (03): : 23 - +
  • [5] A White-Box Implementation of IDEA
    Pang, Siyu
    Lin, Tingting
    Lai, Xuejia
    Gong, Zheng
    [J]. SYMMETRY-BASEL, 2021, 13 (06):
  • [6] White-Box Program Tuning
    Lee, Wen-Chuan
    Liu, Yingqi
    Liu, Peng
    Ma, Shiqing
    Choi, Hongjun
    Zhang, Xiangyu
    Gupta, Rajiv
    [J]. PROCEEDINGS OF THE 2019 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO '19), 2019, : 122 - 135
  • [7] Opportunities in White-Box Cryptography
    Michiels, Wil
    [J]. IEEE SECURITY & PRIVACY, 2010, 8 (01) : 64 - 67
  • [8] White-Box Atomic Multicast
    Gotsman, Alexey
    Lefort, Anatole
    Chockler, Gregory
    [J]. 2019 49TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2019), 2019, : 176 - 187
  • [9] White-Box and Black-Box Test Quality Metrics for Configurable Simulation Models
    Markiegi, Urtzi
    Arrieta, Aitor
    Etxeberria, Leire
    Sagardui, Goiuria
    [J]. 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE(SPLC 2019), VOL B, 2019, : 211 - 214
  • [10] Boundary Value Analysis in Automatic White-box Test Generation
    Zhang, Zhiqiang
    Wu, Tianyong
    Zhang, Jian
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 239 - 249