Towards Linux based safety systems-A statistical approach for software execution path coverage

被引：8

作者：

Allende, Imanol ^{[1
]}

Mc Guire, Nicholas ^{[2
]}

Perez, Jon ^{[1
]}

Monsalve, Lisandro G. ^{[1
]}

Obermaisser, Roman ^{[3
]}

机构：

[1] Basque Res & Technol Alliance BRTA, Ikerlan Technol Res Ctr, Arrasate Mondragon, Spain

[2] OpenTech EDV Res GmbH, Bullendorf, Austria

[3] Univ Siegen, Siegen, Germany

来源：

JOURNAL OF SYSTEMS ARCHITECTURE | 2021年 / 116卷

关键词：

Linux; Safety; Complex-systems; Path coverage; Uncertainty;

D O I：

10.1016/j.sysarc.2021.102047

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Several industrial domains are currently developing innovative safety-related autonomous systems characterized by increasing software complexity and high-performance requirements. Due to these features, different research initiatives aim to pave the way towards the usage of Linux for the development of such complex safety-related systems. However, the high execution path variability of the Linux kernel challenges test coverage-based verification, Highly Recommended (HR) technique by safety standards. This research describes a novel statistical analysis method for Linux kernel execution path coverage quantification, which includes the uncertainty estimation of the software execution. The method is applied to a simple, but reproducible case study, and the results of which are analyzed and explained.

引用

页数：10

共 34 条

[1]

Agirre Irune, 2015, 2015 IEEE International Conferences on Computer and Information Technology

[2]

Ubiquitous Computing and Communications

[3]

Dependable, Autonomic and Secure Computing

[4] A safety concept for a railway mixed-criticality embedded system based on multicore partitioning [J].

Agirre, Irune ;

Azkarate-Askasua, Mikel ;

Larrucea, Asier ;

Perez, Jon ;

Vardanega, Tullio ;

Cazorla, Francisco J. .

CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, :1781-1788

[5]

Ahmadian Hamidreza, 2018, Distributed Real-Time Architecture for Mixed-Criticality Systems

[6] Towards Linux for the development of mixed-criticality embedded systems based on multi-core devices [J].

Allende, Imanol ;

Mc Guire, Nicholas ;

Perez, Jon ;

Monsalve, Lisandro Gabriel ;

Uriarte, Nerea ;

Obermaisser, Roman .

2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019), 2019, :47-54

[7]

[Anonymous], 2020, ENABLING LINUX SAFET

[8]

[Anonymous], 2017, FTRACE

[9] Basic concepts and taxonomy of dependable and secure computing [J].

Avizienis, A ;

Laprie, JC ;

Randell, B ;

Landwehr, C .

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) :11-33

[10] Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey [J].

Cazorla, Francisco J. ;

Kosmidis, Leonidas ;

Mezzetti, Enrico ;

Hernandez, Carles ;

Abella, Jaume ;

Vardanega, Tullio .

ACM COMPUTING SURVEYS, 2019, 52 (01)

← 1 2 3 4 →