logo EDITE Thomas CARLE
Identité
Thomas CARLE
État académique
Thèse soutenue le 2014-10-31
Sujet: Real-time implementation of embedded control applications with conditional control onto time-triggered architectures
Direction de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
oai:hal.archives-ouvertes.fr:hal-00919411
Off-line mapping of real-time applications onto massively parallel processor arrays
On-chip networks (NoCs) used in chip-multiprocessors (CMPs) pose significant challenges to both on-line and off-line real-time scheduling approaches. They have large numbers of potential contention points, have limited internal buffering capabilities, and network control operates at the scale of small data packets. Therefore, precise schedulability analysis requires scalable algorithms working on hardware models with a level of detail that is unprecedented in real-time scheduling. We consider here an off-line scheduling approach, and we target massively parallel processor arrays (MPPAs), which are CMPs with large numbers (hundreds) of processing cores. We first identify and compare the hardware mechanisms supporting precise timing analysis and efficient resource allocation in existing MPPA platforms. We determine that the NoC should ideally provide the means of enforcing a global communications schedule that is computed off-line and which is synchronized with the scheduling of computations on processors. On the software side, we propose a novel allocation and scheduling method capable of synthesizing such global computation and communication schedules covering all the execution, communication, and memory resources in an MPPA. To allow an efficient use of the hardware resources, our method takes into account the specificities of MPPA hardware and implements advanced scheduling techniques such as pre-computed preemption of data transmissions and pipelined scheduling. We evaluate our technique by mapping two signal processing applications, for which we obtain good latency, throughput, and resource use figures.
research report 2013-12-16
Soutenance
Thèse: compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non fonctionnelles complexes
Soutenance: 2014-10-31
Rapporteurs: Isabelle PUAUT    François IRIGOIN