Implantation de systèmes synchrones temps réel sur des

Implantation de systèmes synchrones temps réel sur des
architectures multiprocesseurs
Mikel Cordovilla
ONERA
Encadrants: F. BONIOL (ONERA), E. NOULARD (ONERA) and C. PAGETTI
(ONERA)
27 janvier 2010

Introduction Problématique Notre solution
Introduction
Objectif
Programmation temps réel sûr des systèmes embarqués
critiques.
40ms 20ms 10ms
Acq. position
accélération
Filtre asser.
asservissement
filtre pilotage
loi Pilotage
filtre guidage
loi guidage
accélération (acc)
position (pos)
angle
ordre (o)
Angle
commandé
(angle_c)
accélération
commandée
(acc_c)
position
commandé
(pos_c)
acc_i
pos_i
Angle
Observé
(angle_o)
Acceleration
Observée
(acc_o)
Position
Observée
(pos_o)
LG
FG
LP
FP
LA
FA
AP
fby,∗^2 fby,∗^2
fby, /^2
fby, /^2
2 / 11
Implantation de systèmes synchrones temps réel sur des architectures multiprocesseurs

Introduction Problématique Notre solution
Monoprocesseur vs. Multiprocesseur
Nœud 1 Nœud 2 ... Nœud n
Spécification en Prelude
Compilation
τ1
R1D1
WCET=C1
R1+1T1
T1
τi(Ri,Ti,Ci,Di)
τ3...
τn
τ1τ2
Cœur 1
Cœur 2
Cœur 3
Cœur 4
Monocœur
3 / 11
Implantation de systèmes synchrones temps réel sur des architectures multiprocesseurs

Introduction Problématique Notre solution
Monoprocesseur vs. Multiprocesseur
Nœud 1 Nœud 2 ... Nœud n
Spécification en Prelude
Compilation
τ1
R1D1
WCET=C1
R1+1T1
T1
τi(Ri,Ti,Ci,Di)
τ3...
τn
τ1τ2
Cœur 1
Cœur 2
Cœur 3
Cœur 4
Monocœur
3 / 11
Implantation de systèmes synchrones temps réel sur des architectures multiprocesseurs

Introduction Problématique Notre solution
Monoprocesseur vs. Multiprocesseur
Nœud 1 Nœud 2 ... Nœud n
Spécification en Prelude
Compilation
τ1
R1D1
WCET=C1
R1+1T1
T1
τi(Ri,Ti,Ci,Di)
τ3...
τn
τ1τ2
Cœur 1
Cœur 2
Cœur 3
Cœur 4
Monocœur
3 / 11
Implantation de systèmes synchrones temps réel sur des architectures multiprocesseurs