Laboratoire d’Analyse et d’Architecture des Systèmes
A.AL SHEIKH, O.BRUN, P.E.HLADIK, B.PRABHU
MRS, OLC
Manifestation avec acte : Euromicro Conference on Real-Time Systems (ECRTS 2011), Porto (Portugal), 5-8 Juillet 2011, pp.228-237 , N° 11055
Diffusable
125071A.AL SHEIKH, O.BRUN, P.E.HLADIK
MRS, OLC
Rapport LAAS N°11167, Avril 2011, 6p.
Diffusable
124409A.AL SHEIKH, O.BRUN, P.E.HLADIK, B.PRABHU
MRS, OLC
Rapport LAAS N°11107, Mars 2011, 16p.
Diffusable
124137A.AL SHEIKH, O.BRUN, P.E.HLADIK
MRS, OLC
Manifestation sans acte : Congrès Annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2011), St Etienne (France), 2-4 Mars 2011, Vol.I, pp.55-56 , N° 10729
Diffusable
124138A.AL SHEIKH, O.BRUN, P.E.HLADIK
OLC, MRS
Rapport de Contrat : Projet ANR SATRIMMAP. ANR-07-TLOG-017, Février 2011, 32p. , N° 11066
Diffusion restreinte
124005A.AL SHEIKH, O.BRUN, P.E.HLADIK
MRS, OLC
Manifestation avec acte : International Conference on Real-Time and Network Systems (RNTS 2010), Toulouse (France), 4-5 Novembre 2010, pp.179-188 , N° 10364
Lien : http://hal.archives-ouvertes.fr/hal-00546945/fr/
Diffusable
Plus d'informations
Integrated Modular Avionics (IMA) architectures employ a high-integrity, partitioned environment that hosts multiple avionics functions of different criticalities on a shared computing platform. IMA provides benefits of flexibility and scalability and allow for weight savings. However the complexity of the integration process is increased due to the sharing of resources. One of the main problem encountered during the integration process is to find a proper scheme for scheduling avionics functions onto offered processing units while ensuring at the same time execution, resource and safety demands. In this paper, we present a MILP formulation for the scheduling of avionics functions on the resources of an IMA architecture. This mixed integer linear programming formulation takes into account resource constraints as well as temporal constraints related to ensuring a feasible schedule for the strictly periodic avionics functions. The objective function is to maximize the evolution margin for the functions, so that spare resources can be allocated to meet the resource demand growth of the hosted functions.
O.BRUN, B.PRABHU
MRS
Manifestation avec acte : Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems, Bordeaux (France), 5 Juillet 2010, 5p. , N° 10425
Diffusable
122060M.BEN HAMOUDA, O.BRUN, J.M.GARCIA
MRS
Manifestation avec acte : Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (ALGOTEL), Belle Dune (France), 31 Mai - 3 Juin 2010, 4p. , N° 10301
Lien : http://hal.archives-ouvertes.fr/inria-00479485/fr/
Diffusable
Plus d'informations
Nous étudions le problème d'optimisation des métriques IP dans les réseaux de télécommunications où la demande est incertaine. Nous présentons une heuristique basée sur les techniques de recherche locale pour résoudre ce problème.
U.AYESTA, O.BRUN, B.PRABHU
MRS
Manifestation avec acte : 29th Annual International Conference on Computer Communications (IEEE INFOCOM 2010), San Diego (USA), 15-19 Mars 2010, 6p. , N° 10052
Diffusable
120993U.AYESTA, O.BRUN, B.PRABHU
MRS
Rapport LAAS N°10067, Février 2010
Diffusable
120440