Rafael Zalman

A Secure but still Safe and Low Cost Automotive Communication Technique

In this paper, we firstly give an overview of the security perimeter in modern automotive systems and propose then a cost effective solution for authentication of communication data. The proposed solution provides end to end protection, it covers the aspects data content and generation time (freshness) and it can be implemented for different standard communication busses without a bus protocol change. Its low overhead makes it in particular suited for short data messages of real time systems, like messages on bandwidth restricted automotive buses.

Model-Based Analysis for Safety Critical Software

Safety-relevant software developed within the automotive domain is subject to the safety standard ISO 26262. In particular, a supplier must show that implemented safety mechanisms sufficiently address relevant failure modes. This involves complex and costly testing procedures. We introduce an early analysis approach for safety mechanisms implemented in safety-relevant software by combining model checking and model-based testing. Model checking is applied to verify the correctness of an abstract amodel of the system under test. The verified model is then used to automatically generate tests for the verification of the implemented Safety Elements. The approach has been evaluated in an industrial case study, addressing Analogue Digital Converters as part of the motor control within a hybrid electric vehicle. The results suggest that our approach allows to create high quality test suites. In addition, the test model helps to reduce misunderstandings due to imprecise specification of safety mechanisms.

Towards runtime testing in automotive embedded systems

Runtime testing is a common way to detect faults during normal system operation. To achieve a specific diagnostic coverage runtime testing is also used in safety critical, automotive embedded systems. In this paper we propose a test architecture to consolidate the hardware resource consumption and timing needs of runtime tests and of application and system tasks in a hard real-time embedded system as applied to the automotive domain. Special emphasis is put to timing requirements of embedded systems with respect to hard real-time and concurrent hardware resource accesses of runtime tests and tasks running on the target system.

AUTOSAR appropriates functional safety and multi-core exploitation

The main subject of this presentation is the connection between AUTOSAR as software standardization initiative and the automotive functional safety domain. The History of AUTOSAR and the functional safety evolution for road vehicles will be presented together with a short overview of the typical implementation of these techniques (E-Gas, X by Wire, etc.). New emerging multi-core architectures are influencing the automotive related software implementations and have relevance in both software standardization and in the implementation of specific functional safety techniques. The actual status will be presented together with the potential future techniques. It is discussed how much support AUTOSAR can already provide for practical implementations of functional safety and multi core today followed by an outlook on ongoing research and further standardization needs.