A tool for detecting memory interference between AUTOSAR software components of different ASIL(Conference Paper)
- University of Novi Sad, Faculty of Technical Sciences, Departmant of Computing and Control Engineering, Novi Sad, Serbia
Abstract
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 AU-TOSAR 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. © 2024 IEEE.
Indexed keywords
| Engineering controlled terms: | Accident preventionCriticality (nuclear fission)Memory architecture |
|---|---|
| Engineering uncontrolled terms | ASILAutoSARFreedom from interferenceFunctional SafetyISO 26262Memory interferencesMemory PartitioningMPUSafety mechanismsSoftware-component |
| Engineering main heading: | Automotive industry |
Funding details
| Funding sponsor | Funding number | Acronym |
|---|---|---|
| 451-03-65/2024-03/200156 | ||
| 01-3394/1 |
-
1
This research has been supported by the Ministry of Science, Technological Development and Innovation (Contract No. 451-03-65/2024-03/200156) and the Faculty of Technical Sciences, University of Novi Sad through project \"Scientific and Artistic Research Work of Researchers in Teaching and Associate Positions at the Faculty of Technical Sciences, University of Novi Sad\" (No. 01-3394/1).
- ISBN: 979-835034915-3
- Source Type: Conference Proceeding
- Original language: English
- DOI: 10.1109/ZINC61849.2024.10579334
- Document Type: Conference Paper
- Publisher: Institute of Electrical and Electronics Engineers Inc.
Obradov, A.; University of Novi Sad, Faculty of Technical Sciences, Departmant of Computing and Control Engineering, Novi Sad, Serbia
© Copyright 2024 Elsevier B.V., All rights reserved.