The feature content of new cars is increasing dramatically, which involves more demanding requirements. AUTOSAR (AUTomotive Open System ARchi- tecture) - an open and standardized automotive soft- ware architecture jointly developed by vehicle makers, suppliers and tool developers - enables to benefit from new hardware technology by considering multicore architectures. Despite their undeniable advantages in terms of performance, multicore architectures bring a set of problems that may jeopardize the dependability of embedded applications (ISO 26262 is the dependability standard for automotive). For example, multicore scheduling requires to cope with task dependencies constraints, and data consistency must be ensured for inter core communication. First, to meet the task dependencies, safety requirements on data flows are used to generate monitors. The tool Enforcer has been built in order to do that. A service based on runtime verification uses these monitors (injected in the kernel of the operating system) checks if the system behaves as expected. Finally, we propose an alternative locking mechanism for inter core data sharing. The wait-free protocol STM- HRT (Software Transactional Memory for Hard Real- Time systems), based on transactional memory, aims at increasing the robustness of multicore applications.
