The DART-Europe E-theses Portal
Texte intégral
Outline
Documents relatifs
Les syst` emes d’exploitation distribu´ es (Distributed Operating Systems ) : ces syst` eme sont con¸ cu pour permettre une migration transparente des processus et des donn´ ees de
Si dans le grand syst` eme aucune ´ equation n’est combinaison lin´ eaire des autres, celles du petit syst` eme sont encore moins combinaisons lin´ eaires des autres ´ equations
Si dans le grand syst` eme aucun vecteur n’est combinaison lin´ eaire des autres, ceux du petit syst` eme sont encore moins combinaisons lin´ eaires des autres vecteurs du petit
(iii) L’origine est un point d’´ equilibre stable de x(t) = ˙ Ax(t) si et seulement si toutes les valeurs propres de A sont de partie r´ eelle n´ egative ou nulle et si pour
– Il ne peut y avoir plus d’un processus dans sa section critique en mˆeme temps – Un processus en dehors de sa section critique ne peut bloquer un autre
Jacques Gangloff (ENSPS) Syst `emes temps r ´eel et syst `emes embarqu ´es Ann ´ee scolaire 2007-2008 1 /
Linux n’est pas temps r ´eel Architecture de
Il existe alors des crit`eres (alg´ebriques ou graphiques) permettant de d´eterminer la stabilit´e d’un syst`eme en boucle ferm´ee ` a partir de l’´etude en fr´equence en
