Using AUTOSAR High Level Specifications for the Synthesis of Security Components in Automotive Systems
The increasing complexity and autonomy of modern automotive systems, together with the safety sensitive nature of many vehicle information flows require a careful analysis of the security requirements and adequate mechanisms for ensuring integrity and confidentiality of data. This is especially true for semi autonomous vehicle systems, in which user intervention is limited or absent, and information must be trusted. This paper provides a proposal for the representation of high level security properties in the specification of application components according to the AUTOSAR standard AUTomotive Open System ARchitecture. An automatic generation of security components from security annotated AUTOSAR specifications is also proposed. It provides for the automatic selection of the adequate security mechanisms based on a high level specification, thus avoiding complex and error prone manual encodings by the designer. These concepts and tools are applied to a paradigmatic example in order to show their simplicity and efficacy.
MESAS