25documents trouvés
A best-response algorithm for periodic scheduling
A.AL SHEIKH, O.BRUN, P.E.HLADIK, B.PRABHU
MRS, OLC
Rapport LAAS N°11107, Mars 2011, 16p.
Diffusable
124137Ordonnacement de tâches sous contrainte de périodicité stricte
A.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 decision support system for mapping on IMA architecture
A.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
124005Partition scheduling on an IMA platform with strict periodicity and communication delays
A.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
Abstract
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.
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling
K.REFAAT, P.E.HLADIK
OLC
Manifestation avec acte : Euromicro Conference on Real-Time Systems (ECRTS10), Bruxelles (Belgique), 6-9 Juillet 2010, 7p. , N° 09724
Diffusable
121978Analyse d'un modèle AADL à l'aide de Pola
P.E.HLADIK, F.PERES, X.SHI
OLC
Manifestation avec acte : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2010), Poitiers (France), 9-11 Juin 2010, pp.239-243 , N° 10266
Lien : http://hal.archives-ouvertes.fr/hal-00493726/fr/
Diffusable
121817Decision Support for Task Mapping on IMA Architecture
A.AL SHEIKH, O.BRUN, P.E.HLADIK
MRS, OLC
Manifestation avec acte : Junior Researcher Workshop on Real-Time Computing (JRWRTC2009), Paris (France), Octobre 2009, pp.31-34 , N° 09656
Diffusable
119618Simulation and mapping for IMA architecture
A.AL SHEIKH, O.BRUN, P.E.HLADIK, T.PLANCHE
MRS, OLC, AIRBUS
Rapport de Contrat : Projet ANR SATRIMMAP. ANR-07-TLOG-017, 6 Octobre 2009, 19p. , N° 09725
Non diffusable
119776Specification and verification of real-time systems using the POLA tool
F.PERES, P.E.HLADIK, F.VERNADAT
OLC
Manifestation avec acte : 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2009), Rabat (Maroc), 2-3 Juillet 2009, 12p. , N° 09388
Diffusable
Plus d'informations
Mots-Clés / Keywords
D.S.L.; Model checking; Real Time Systems;
Response times analysis of AUTOSAR OS multitask software
P.E.HLADIK, S.FAUCOU, A.M.DEPLANCHE, Y.TRINQUET
OLC, IRCCYN
Rapport LAAS N°09059, Mars 2009, 8p.
Diffusable
116740