Calcul de bornes de performances déterministes dans les systèmes embarqués. Cas de politique de service à priorités fixes
Abstract
L'enjeu de ce stage est de déterminer des bornes de performances déterministes telles que le délai ou la charge d'un réseau dans le cas de politique de service à priorités fixes. Nous présentons des méthodes basées sur l'application directe du Network Calculus effectuant déjà ce genre de calculs (tel que SFA). Nous tentons également une autre approche pour fournir des résultats plus fins. Pour cela, nous nous intéressons à la programmation linéaire. Alors, nous avons forgé un ensemble de contraintes linéaires qui permettent de décrire le comportement d'un tel réseau. Nous avons trouvé des résultats toujours inférieurs à la politique arbitraire. Mais, plus intéressant encore, encore, nous avons montré que la méthode SFA génère des délais pessimistes.
Loading...