12–23 Oct 2020
GMT timezone

Safe Bound on simulation interval for real-time systems for two-phases task model

12 Oct 2020, 16:28
1m
Mini Oral and Poster Real Time Safety and Security Poster session A-01

Speaker

Dr LAGHA, Joumana (Université de Nantes, École Centrale de Nantes, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.)

Description

Real-time computing refers to applications that compute correct results but, and more importantly, applications that perform on-time. In addition to usual system constraints, real-time systems include timing constraints that need to be satisfied by the system in order to provide a safe computation. Designing such systems requires more attention and strict guarantees to ensure their safety. One of the key problems in the design is the schedulability problem. To test it, simulation-based tests have been defined. These tests require a safe interval bound to run the system under a given scheduling algorithm in order to conclude its schedulability. In this paper, we adopt a multi-phases computation model that differentiates between memory accesses and computations, together with the use of DMA engines allow to hide most memory access latencies behind computation times and enhance the performance of the system. And we propose the first safe bound on the simulation interval for any schedule generated by a deterministic and memoryless scheduler running on a mono-processor platform where tasks are composed of two independent phases: a memory phase where the program is prefetched into the local memory (scratchpad) from main memory or an I/O devices, and a computation phase where the task is executing on the processor without the need to access the main memory or an I/O devices.

Minioral Yes
IEEE Member No
Are you a student? Yes

Author

Dr LAGHA, Joumana (Université de Nantes, École Centrale de Nantes, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.)

Co-authors

Prof. BÉCHENNEC, Jean-Luc (Universit´e de Nantes, ´Ecole Centrale de Nantes, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.) Prof. FAUCOU, Sébastien (Université de Nantes, École Centrale de Nantes, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.) Prof. ROUX, Olivier-H (Université de Nantes, École Centrale de Nantes, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.)

Presentation materials