25documents trouvés
Analyse du contexte et spécification des exigences
P.E.HLADIK, M.CHERAMY
VERTICS
Rapport de Contrat : ANR RESPECTED. ANR-2010-SEGI-002, Décembre 2012, 23p. , N° 12770
Non diffusable
129060Rapport sur l'analyse des algorithmes candidats et les choix effectués
P.E.HLADIK, M.CHERAMY
VERTICS
Rapport de Contrat : ANR RESPECTED. ANR-2010-SEGI-002, Décembre 2012, 31p. , N° 12771
Non diffusable
129062Fourniture du site web du projet
P.E.HLADIK
VERTICS
Rapport de Contrat : ANR RESPECTED. ANR-2010-SEGI-002, Décembre 2012, 9p. , N° 12769
Non diffusable
129058Strictly periodic scheduling in IMA-based architectures
A.AL SHEIKH, O.BRUN, P.E.HLADIK, B.PRABHU
SARA, VERTICS
Revue Scientifique : Real Time Systems, Vol.48, N°4, pp.359-386, Juillet 2012 , N° 12152
Diffusable
127178Ordonnancement temps réel : des politiques monoprocesseurs aux politiques multiprocesseurs
M.CHERAMY, A.M.DEPLANCHE, P.E.HLADIK
VERTICS, IRCCYN
Rapport LAAS N°12164, Avril 2012, 51p.
Lien : http://hal.archives-ouvertes.fr/hal-00662741
Diffusable
Plus d'informations
Résumé
Ce rapport présente une vue d'ensemble des politiques d'ordonnancement en-ligne temps réel et plus particulièrement celles dédiées au multiprocesseur. Les politiques présentées reposent sur le modèle de tâches indépendantes de Liu et Layland et couvrent un grand nombre d'algorithmes aussi bien en partitionné, qu'en global ou encore semi-partitionné.
Optimal design of virtual links in AFDX networks
A.AL SHEIKH, O.BRUN, M.CHERAMY, P.E.HLADIK
SARA, MRS, VERTICS
Rapport LAAS N°12053, DOI : 10.1007/s11241-012-9171-z, Février 2012, 31p.
Lien : http://hal.archives-ouvertes.fr/hal-00665755
Diffusable
Plus d'informations
Abstract
The Avionics Full Duplex Switched Ethernet (AFDX) backbone constitutes one of the major technological breakthroughs in modern avionic architectures. This network is based on routing Ethernet frames through isolated data tunnels referred to as Virtual Links (VL). VLs can be thought of as multicast trees, each serving for data transmission between one and only one end of the network to several others. Multiple VLs are deployed for exchanging data between avionic systems with a reserved amount of bandwith. In this paper, we propose different methods to define VL characteristics and to route VLs in the network while minimizing the maximum the minimal residual capacity of the links. The industrial applicability is shown on experimental results and on a representative benchmark.
Strictly periodic scheduling on an IMA-based avionic platform
A.AL SHEIKH, O.BRUN, P.E.HLADIK, B.PRABHU
MRS, OLC
Manifestation avec acte : Austrian French German Conference on Optimization (AFG 2011), Toulouse (France), 19-23 Septembre 2011, 3p. , N° 11680
Diffusable
126045Specification and verification of real-time systems using the POLA
F.PERES, P.E.HLADIK, F.VERNADAT
IFSTTAR, OLC
Revue Scientifique : International Journal of Critical Computer Based Systems, Vol.2, N°3-4 , pp.332-351, Septembre 2011 , N° 11688
Diffusable
126075A best-response algorithm for multiprocessor periodic scheduling
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
125071Virtual-link routing in an AFDX network
A.AL SHEIKH, O.BRUN, P.E.HLADIK
MRS, OLC
Rapport LAAS N°11167, Avril 2011, 6p.
Diffusable
124409