Increasing Testing Robustness of GPU Software in Embedded Critical Systems

被引：0

作者：

Barrera, Javier ^{[1
,2
]}

Kosmidis, Leonidas ^{[1
]}

Mezzetti, Enrico ^{[1
]}

Abella, Jaume ^{[1
]}

Cazorla, Francisco J. ^{[1
]}

机构：

[1] Barcelona Supercomp Ctr BSC, Barcelona, Spain

[2] Univ Politecn Cataluna, Barcelona, Spain

来源：

39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024 | 2024年

关键词：

Embedded Software; GPU; Critical Systems;

D O I：

10.1145/3605098.3636107

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Critical autonomous systems build on massively parallel software (e.g., AI software) requiring accelerators like GPUs. However, code coverage requirements imposed by safety standards intended for sequential code are challenged by parallel GPU execution. This paper illustrates how parallel execution challenges test coverage and proposes an approach to explicitly address the new dimensions of the test space so that coverage results on GPUs have comparable meaning to those of conventional tools on sequential devices.

引用

页码：452 / 453

页数：2

共 50 条

[31] Real-time lens distortion algorithm on embedded GPU systems [J].

Kim, Young-Woo ;

Kim, Duksu .

PROCEEDINGS OF SIGGRAPH 2022 POSTERS, SIGGRAPH 2022, 2022,

[32] The Software Testing Method Application and Research of Embedded Electronic System [J].

Wei Yan-ping .

PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, COMPUTER AND SOCIETY, 2016, 37 :851-853

[33] Licensing reliable embedded software for safety-critical applications [J].

Saglietti, F .

REAL-TIME SYSTEMS, 2004, 28 (2-3) :217-236

[34] Embedded Software Simulation Testing Virtual Machine: Design and Application [J].

Yin, Yongfeng ;

Liu, Bin ;

Li, Guoqi ;

Wang, Zhi .

ADVANCED MECHANICAL ENGINEERING, PTS 1 AND 2, 2010, 26-28 :405-+

[35] Towards Mutation Testing of Embedded Software: A Framework and Case Study [J].

Jiang, Wei ;

Dong, Sijin ;

Zhang, Jiaming ;

Tang, Jin ;

Zhang, Zichao ;

Sun, Chang-Ai ;

Zhang, Xiaoyi .

2024 IEEE 35TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2024, :143-150

[36] Testing System for CAN Bus-oriented Embedded Software [J].

Yang Shunkun ;

Tang Dongxiao ;

Shi Xiaohua .

2014 IEEE/ACIS 13TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2014, :369-373

[37] Licensing Reliable Embedded Software for Safety-Critical Applications [J].

Francesca Saglietti .

Real-Time Systems, 2004, 28 :217-236

[38] A Comparative Study of Software Architectures for Embedded Mission Critical Applications [J].

Ponnapalli, Madhavi ;

Rao, P. V. R. R. Bhogendra .

2016 IEEE 6TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING (IACC), 2016, :741-746

[39] A Study in Specification and Hardware Runtime Verification of Critical Embedded Software [J].

Solet, Dimitry ;

Bechennec, Jean-Luc ;

Briday, Mikael ;

Faucou, Sebastien ;

Pillement, Sebastien .

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2025, 22 (03) :2258-2269

[40] Extensible Software Synthesis for Embedded Ubiquitous Learning Systems [J].

Fan, Yang-Hsin .

ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2015, 15 (03) :133-140

← 1 2 3 4 5 →