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

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.