1. This project and the research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7 / 2007-2013] under grant agreement 611085 www.proxima-project.eu Introduction March 2015

2. PROXIMA Consortium 2 30/01/2014 Probabilistic real-time control of mixed-criticality multicore and manycore systems (PROXIMA) Coordinator: Francisco J. Cazorla (BSC) Oct 2013 – Sep 2016 Integrated Project (IP), budget total: 6,793,991 Euro Research PartnersTechnology ProvidersEnd Users Barcelona Supercomputing Center Universita Degli Studi Di Padova University of York INRIA Cobham Rapita Systems Limited Sysgo S.A.S Airbus Defence and Space IKERLAN S.COOP Infineon Technologies UK Ltd Airbus Operations SAS

3. PROXIMA Concept  Timing behaviour of CRTES on multi/manycore can be analysed with probabilistic timing analysis (PTA) techniques  Time randomisation introduced on some HW and SW components  A probabilistic WCET distribution rather than a single WCET estimate is provided  PROXIMA will deliver:  Hardware and OS-level software -Supporting time-randomisation transparently  Probabilistic timning analysis techniques  Integration into commercial development and verification tools  Arguments to sustain certification 3 30/01/2014

4. Intuitive Results  PTA allows cutting the WCET bound tail at the level of probability suited for the system (e.g. 10 -16 per hour of operation)  Prob. Failure per hour = probability of failure of the program x execution rate per hour 4

5. Intuitive Results 5 (a) Time-randomized profile shifts to the right (to increase) (b) STA on deterministic arch. produces a degree of pessimism, WCET. (c) Worst-case bounds with stated confidence levels: –Execution time at which the cumulative probability (P) exceeds the required level of confidence

6. PROXIMA Challenges and Platforms  Challenges  C1. Industrialization of the method and tools that enable the use of high-guarantee PTA in development; -PTA-conformant processor architectures -COTS hardware  C2. Face with probabilistic and statistical techniques, the challenges posed in analysing the timing behaviour of complex applications of mixed-criticality levels, composed of tasks, running on multicore and manycore processors.  Platforms  (C1) FPGA  (C1) COTS AURIX Industrial platforms  (C1) COTS P4080DS  (C2) Manycore Simulator  Research platform 6 30/01/2014

7. Workpackage structure 7 30/01/2014  4 technical WPs organized as follows  WP1 + WP2 : PROXIMA platform  WP3: PROXIMA Probabilistic Timing Analysis techniques  WP4: Case studies

8. PROXIMA in Context Opportunity: Multiple applications onto the same multicore hardware Advantages in performance, reduction of production costs, and increased reliability. Challenge: Interference between cores and applications Software performance becomes unpredictable and unanalysable PROXIMA Solution: Probabilistic Timing Analysis of interferences Time-randomizated hardware and software Composable software platform Tool and platform support 8 30/01/2014

9. PROXIMA Benefits  Benefits:  Increase the guaranteed real-time performance of mixed- criticality systems  Enables a trustworthy use of high performance processors in critical systems -Multicore -Several levels of cache  Enable the use of mixed-criticality levels on multi/manycore platforms  Reduction of time, effort and costs of integration, validation & certification activities  Impact on R&D  A complete shift from traditional thinking about software timing 9 30/01/2014

10. Exploitation Results  Impact  Fast adoption of high performance technology  Reduction in verification cost of critical systems 10 30/01/2014 Tool Support RapiTime Analysis Tool Operating Systems Compiler Safety argument DO-178B/C Other Domains Hardware Support Randomized timing hardware COTS Proof of product Industrial case studies Rail Aerospace Automotive Space From PROARTIS to commercial use

11. Industrial Focus: Industrial Advisory Board  For each of layer, PROXIMA results will be disseminated into at least one IAB or PROXIMA industrial member 11 30/01/2014

12. Timeline for the PROXIMA technology  Two lines: industrialization and development 12 30/01/2014

13. This project and the research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7 / 2007-2013] under grant agreement 611085 www.proxima-project.eu March 2014 Introduction