LRDE, salle des séminaires : comment y aller
Abstract: The method of stochastic state classes supports steady state and transient analysis of models that encompass multiple timers with general distribution and possibly bounded support. When the model underlies a Markov Regenerative Process (MRP) that always reaches a regeneration point within a finite number of steps, transient analysis can be limited to the first regeneration epoch and repeated from every regenerative point. This supports efficient derivation of the local and global kernels that characterize the MRP behavior and enables transient evaluation through the numerical integration of generalized Markov renewal equations. Applications of the approach through the Oris Tool are illustrated referring to the evaluation of availability measures for maintenance procedures. Future research directions are discussed in the area of probabilistic schedulability analysis of real-time systems.
Abstract: De nombreuses solutions d'intégration d'applications à base d'ESB on été proposées. Cependant, ces solutions d'intégration ne supportent pas le traitement parallèle. et ne tirent donc pas profit des technologies multicoeurs.
Nous proposons une solution de type "bus" permettant le traitement parallèle. Pour cela, nous avons conçu et mis en oeuvre : un mécanisme de multiplexage/démultiplexage en mesure de contrôler la circulation du flux de données, un allocateur dynamique de mémoires partagées répondant à certaines limitations du standard des mémoires IPC et un nouveau connecteur permettant à l'ensemble des threads d'une même application mère de fonctionner simultanément sur des zones mémoires complètement disjointes.