12 July 2018 Talk Wei-Tsun Sun, IRT, Toulouse, France
On 12th July 2018, PhD Wei-Tsun Sun, Institute de Recherche en Informatique de Toulouse, France, had his talk “Interference analysis with models for multi-core platform, AURIX TC27x – the case study” as part of the InvasIC Seminar.
Abstract: Interferences between cores have to be taken into account when performing timing analysis for multi-copre platforms. This talk presents an approach to carry out interference analysis from available data-sheet(s) of a given platform. A description model is firstly captured from the data-sheet, and then is translated to AADL model. The AADL model is then transform to Prolog predicates. STRANGE, a tool written in Prolog is used to extract structural information from the predicates, and is also able to detect all potential interferences. We use AURIX TC27x as the show-case in this document to demonstrate how the proposed methodology can be applied, which enables the possibilities of being adapted for the other architectures.