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 条

[41] Modeling and Simulation of Software Execution Time in Embedded Systems [J].

Resmerita, Stefan ;

Poelzleitner, Anton ;

Lukesch, Stefan .

2020 10TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2020, :888-894

[42] Enabling Power-Aware Software in Embedded Systems [J].

Bonnett, James ;

Fox, Paul ;

Paolini, Aaron ;

Markey, Adam ;

Kozacik, Stephen ;

Kelmelis, Eric .

MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS XI, 2016, 9848

[43] Characterizing the development and usage of diagrams in embedded software systems [J].

Akdur, Deniz ;

Demirors, Onur ;

Garousi, Vahid .

2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2017, :167-175

[44] Optimized Local Path Planner Implementation for GPU-Accelerated Embedded Systems [J].

Muzzini, Filippo ;

Capodieci, Nicola ;

Ramanzin, Federico ;

Burgio, Paolo .

IEEE EMBEDDED SYSTEMS LETTERS, 2023, 15 (04) :214-217

[45] Automated Unit Testing in Model-based Embedded Software Development [J].

Luckeneder, Christoph ;

Kaindl, Hermann ;

Korinek, Martin .

ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, :427-434

[46] Partnership with customers in product improvement - Testing embedded software products in the field [J].

vanSoligen, R ;

vanUijtregt, S .

RELIABILITY, QUALITY AND SAFETY OF SOFTWARE-INTENSIVE SYSTEMS, 1997, :201-214

[47] Beidou Receiver Based On DSP Embedded Software Reliability Testing Scheme [J].

Sun, Minghui ;

Zhou, Ming .

2013 INTERNATIONAL WORKSHOP ON MICROWAVE AND MILLIMETER WAVE CIRCUITS AND SYSTEM TECHNOLOGY (MMWCST), 2013, :415-418

[48] Analysis of Errors in Safety Critical Embedded System Software in Aerial Vehicle [J].

Lakshmi, K. V. N. S. ;

Kumar, Sanjeev .

INFORMATION, COMMUNICATION AND COMPUTING TECHNOLOGY, 2017, 750 :246-257

[49] GMAI: Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems [J].

Calderon, Alejandro J. ;

Kosmidis, Leonidas ;

Nicolas, Carlos F. ;

Cazorla, Francisco J. ;

Onaindia, Peio .

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (05)

[50] Introducing Software Ecosystems for Mass-Produced Embedded Systems [J].

Eklund, Ulrik ;

Bosch, Jan .

SOFTWARE BUSINESS, ICSOB 2012, 2012, 114 :248-254

← 1 2 3 4 5 →