A tool for detecting memory interference between AUTOSAR software components of different ASIL

被引：0

作者：

Obradov, Anja ^{[1
]}

Pavkovic, Bogdan ^{[1
]}

机构：

[1] Univ Novi Sad, Fac Tech Sci, Dept Comp & Control Engn, Novi Sad, Serbia

来源：

2024 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE, ZINC 2024 | 2024年

关键词：

Functional safety; Freedom from Interference (FFI); AUTOSAR; ISO; 26262; ASIL; MPU;

D O I：

10.1109/ZINC61849.2024.10579334

中图分类号：

F [经济];

学科分类号：

02 ;

摘要：

Functional safety is an important aspect in the development of safety-critical software for the automotive industry, which can be challenging to achieve due to integration of software components of different criticality on one platform. The AUTOSAR architecture supports the development of safety-critical systems by providing safety measures and mechanisms, including mechanisms in the memory domain. This paper proposes a tool for ensuring Freedom from Interference between software components of different ASIL while verifying AUTOSAR safety mechanisms in memory domain. Tool proposed in this paper is used to analyze and verify the correct implementation of memory partitioning in a system consisting of mixed-criticality software components. By verifying the correct implementation of the memory partitioning and memory mapping mechanisms, we contribute to the correct functionality of memory partitioning mechanism and memory protection unit.

引用

页码：25 / 30

页数：6

共 12 条

[1]

AUTOSAR, Specification of memory mapping

[2]

AUTOSAR, Overview of Functional Safety Measures in AUTOSAR

[3]

Baumgarten G, 2014, IEEE INTL CONF IND I, P170, DOI 10.1109/INDIN.2014.6945503

[4] Formalization and Verification of AUTOSAR OS Standard's Memory Protection [J].

Le Khanh Trinh ;

Chiba, Yuki ;

Aoki, Toshiaki .

PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), 2018, :68-75

[5]

Li G., 2013, I/o sharing in a multi-core kernel for mixed-criticality applications, V403, P331

[6] Multisource Software on Multicore Automotive ECUs-Combining Runnable Sequencing With Task Scheduling [J].

Monot, Aurelien ;

Navet, Nicolas ;

Bavoux, Bernard ;

Simonot-Lion, Francoise .

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2012, 59 (10) :3934-3942

[7]

Navet N, 2010, PROC IEEE INT SYMP, P3734, DOI 10.1109/ISIE.2010.5637677

[8] Mixed-Criticality Embedded Systems - A Balance Ensuring Partitioning and Performance [J].

Paulitsch, Michael ;

Duarte, Oscar Medina ;

Karray, Hassen ;

Mueller, Kevin ;

Muench, Daniel ;

Nowotsch, Jan .

2015 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2015, :453-461

[9] A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning [J].

Perez, Jon ;

Gonzalez, David ;

Fernando Nicolas, Carlos ;

Trapman, Ton ;

Miguel Garate, Jose .

2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, :394-400

[10]

Perez-Cerrolaza J., 2014, A safety concept for a wind power mixed-criticality embedded system based on multicore partitioning

← 1 2 →