Friday, June 4th, 2021. 2pm CET. Webinar.
"Formal models of timed systems: WCET analysis in single-core systems, and some ideas for timing analysis in multi-core systems"
- Emmanuel Grolleau (LIAS, ENSMA, University of Poitiers), "Global scheduling on heterogeneous MPSoCs".
- Eric Jenn (IRT Saint Exupéry), "A long and winding road towards predictability …".
- Angeliki Kritikakou (University of Rennes, INRIA, IRISA, CNRS), "Run-time adaptation of task execution in time-critical systems: Challenges and Solutions".
- Geoffrey Nelissen (Eindhoven University of Technology), "Schedulability analysis based on schedule abstraction graphs: status, limitations and future work".
The design and the implementation of time-critical applications upon multi-core processors are considered. Multi-core processors have the potential to offer high computing power. Unfortunately, their extensive use of shared resources (e.g.,caches, DRAM, buses, etc.) makes the design and the implementation difficult to predict — especially in situations where hard real-time constraints must be satisfied. Recent works show that an important challenge is to design a precise and scalable timing analysis. To address this challenge the research community consider closely both sides of the system: software and hardware. The aim of this co-design approach is therefore to guarantee scalability, precision and low complexity of the solution without compromising flexible efficient use of resources. The solution must be tailored for the target application and platform. In particular by identifying the shared resources (memory, bus, cache) and by reducing the complexity based on interference delay using, for instance, a tailored mapping/scheduling, bandwidth regulator. The solution must be also based on a good use of the hardware architecture (memory banks, cache, communication media) with techniques like physical/temporal partitioning to obtain a precise solution.
The junior presentations will be selected from a 2-pages abstract.
Extended abstracts for the seminar must be written in English, have a maximum of two A4 pages in length (single column), 10pt format, and include relevant references.
Abstract can be submitted electronically (in PDF format) by e-mail to : Organisers (joel.goossens ulb.be,claire.maiza univ-grenoble-alpes.fr, juanmaria.rivas unican.es). Please, add [CAPITAL] in the subject line.
Deadline for submission is April 30th, 2021, 11 pm CET. (An acknowledgment of the submission will be sent.)
Notification of acceptance: May 7th, 2020.
The seminar takes place on June 4th, 2021 Afternoon CET.
- Joël Goossens (ULB, Brussels, Belgium)
- Claire Maiza (Grenoble INP/Ensimag, Verimag, Grenoble, France)
- Juan M Rivas (Universidad de Cantabria, Santander, Spain)