Abstract: A method for a data processing circuit and for executing applications, which include at least one safety-relevant application and at least one non-safety relevant application using the same OS and memory, includes obtaining first memory information on a predefined memory space allocated to the safety-relevant application and obtaining second memory information on a memory space for the non-safety-relevant application. A monitoring operation is applied for checking, based on the first and second memory information, if the non-safety-relevant application uses memory space allocated to the safety-relevant application to verify spatial Freedom-From-Interference. The monitoring may be executed in a Trusted Execution Environment.

Abstract: A method, a computer program containing instructions, and an apparatus for qualifying a device driver for a device. After a test environment is initiated, a test on the device driver is performed. This involves a device emulator emulating a behavior of the device under stipulated conditions. During the test, the device emulator performs an error injection or a test on at least one rarely occurring case.

Abstract: A method, a computer program containing instructions, and an apparatus for qualifying a device driver for a device. After a test environment is initiated, a test on the device driver is performed. This involves a device emulator emulating a behavior of the device under stipulated conditions. During the test, the device emulator performs an error injection or a test on at least one rarely occurring case.