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 条

[1] Model-based robustness testing for avionics-embedded software
Yang Shunkun
Liu Bin
Wang Shihai
Lu Minyan
Chinese Journal of Aeronautics , 2013, (03) : 730 - 740
[2] Model-based robustness testing for avionics-embedded software
Yang Shunkun
Liu Bin
Wang Shihai
Lu Minyan
CHINESE JOURNAL OF AERONAUTICS, 2013, 26 (03) : 730 - 740
[3] A Controlled Experiment in Testing of Safety-Critical Embedded Software
Enoiu, Eduard P.
Causevic, Adnan
Sundmark, Daniel
Pettersson, Paul
2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
[4] Testing medical embedded software
Havlice, Zdenek
Vizi, Juraj
Szaboova, Veronika
2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI), 2014, : 99 - 102
[5] Software BIT Design and Testing for Embedded Software
Wang, Yichen
Zhou, Zhenzhen
PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 703 - 707
[6] Time simulation methods for testing protocol software embedded in communicating systems
Latvakoski, J
Honka, H
TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS, 1999, 21 : 379 - 394
[7] Reserch on Enviroment of Embedded Software Testing
Wang Yi-chen
Lan Xin-sheng
ADVANCED MATERIALS AND INFORMATION TECHNOLOGY PROCESSING, PTS 1-3, 2011, 271-273 : 622 - +
[8] Testing embedded software: A survey of the literature
Garousi, Vahid
Felderer, Michael
Karapicak, Cagri Murat
Yilmaz, Ugur
INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 104 : 14 - 45
[9] MACE camera controller embedded software: Redesign for robustness and maintainability
Srivastava, S.
Jain, A.
Nair, P. M.
Sridharan, P.
ASTRONOMY AND COMPUTING, 2020, 30
[10] GEMBench: A Platform for Collaborative Development of GPU Accelerated Embedded Markov Decision Systems
Sapio, Adrian E.
Tatiefo, Rocky L.
Bhattacharyya, Shuvra S.
Wolf, Marilyn
EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2019, 2019, 11733 : 294 - 308

← 1 2 3 4 5 →