L'informatique multi-nuages s'est imposée comme un paradigme de choix pour créer des applications distribuées à large échelle s'exécutant à des emplacements géographiques ré- partis. L'informatique multi-nuages consiste en l'utilisation de multiples environnements de nuages indépendants qui ne nécessitent pas d'accord a priori entre les fournisseurs de nuage ou un tiers. Toutefois, ces applications conçues pour un environnement multi-nuages doivent faire face à de véritables défis en terme d'architecture, de modèle et de technologies. L'utilisation de l'informatique multi-nuages se heurte à l'hétérogénéité et à la complexité des offres de nuage. Ainsi, l'informatique multi-nuages doit faire face aux défis de la portabilité, de l'approvisionnement, de l'élasticité et de la haute disponibilité que nous identifions dans cette thèse. Dans ce travail de thèse, nous proposons un modèle d'applications nommé soCloud qui adresse ces quatre défis. C'est un modèle basé sur le standard SCA du consortium OASIS pour concevoir de manière simple et cohérente des applications distribuées à large échelle pour un environnement multi-nuages. Un nouveau langage dédié d'élasticité a été proposé pour exprimer efficacement l'élasticité d'applications multi-nuages par l'abstraction. Nous proposons aussi une plateforme multi-nuages soCloud conçue pour déployer, exécuter et gérer des applications réparties à travers plusieurs nuages. Le modèle d'applications soCloud a été utilisé pour la mise en œuvre de trois applications distribuées déployées dans un environnement multi-nuages. Quant à la plateforme soCloud, elle a été implantée, déployée et expérimentée sur dix nuages : Windows Azure, DELL KACE, Amazon EC2, CloudBees, OpenShift, dotCloud, Jelastic, Heroku, Appfog et Eucalyptus. Ces expériences sont utilisées pour valider la nouveauté des solutions approtées. Grâce à notre contribution, nous visons à offrir un moyen simple et efficace pour concevoir, déployer, exécuter et gérer des applications distribuées pour des environnements multi- nuages en proposant un modèle et une plateforme.

Cette thèse se situe dans le domaine de l'informatique orientée service. Elle propose un ESB (Enterprise Service Bus) autonomique, c'est-à-dire capable de s'autogérer sur un ensemble d'aspects. Cet ESB, nommé Cilia autonomique, permet de construire des applications de médiation sensibles au contexte. Précisément, la version autonomique de Cilia, que nous proposons, permet l'optimisation de l'utilisation des ressources de la plate-forme d'exécution et l'adaptation dynamique des chaînes de médiation au niveau de la configuration et de la topologie. Notre framework permet également de présenter à tout moment un modèle simplifié des phénomènes liés à l'exécution des chaînes et, ainsi, de faciliter le raisonnement et la prise de décisions d'adaptation. Les travaux de cette thèse ont été validés dans le cadre de l'informatique pervasive. En particulier, Cilia autonomique a été utilisé et instrumenté pour la mise en œuvre d'applications de maintien à domicile et de suivi de la santé des usagers. Les résultats sont disponibles en open source.

Ce mémoire présente un patron d’architecture permettant, dans un contexte orientéobjet, l’exploitation d’objets appartenant simultanément à plusieurs hiérarchies fonctionnelles. Ce patron utilise un reasoner basé sur les logiques de description (web sémantique) pour procéder à la classification des objets dans les hiérarchies. La création des objets est simplifiée par l’utilisation d’un ORM (Object Relational Mapper). Ce patron permet l’utilisation effective du raisonnement automatique dans un contexte d’applications d’entreprise. Les concepts requis pour la compréhension du patron et des outils sont présentés. Les conditions d’utilisation du patron sont discutées ainsi que certaines pistes de recherche pour les élargir. Un prototype appliquant le patron dans un cas simple est présenté. Une méthodologie accompagne le patron. Finalement, d’autres utilisations potentielles des logiques de description dans le même contexte sont discutées. / This master thesis presents a software architectural pattern for use in an object oriented environment to simultaneously access objects in multiple functional hierarchies. A Description Logics (Semantic Web) reasoner is used to classify the objects in the hierarchies. Object creation is simplifed by the use of an ORM - Object Relational Mapper. The pattern effectively allows automatic reasoning procedures to be used in an enterprise application context. All concepts required to understand the architectural pattern and the tools are presented. Usage conditions for the pattern are discussed and research projects are presented to widen the pattern’s applicability. A prototype applying the pattern on a simple problem is presented. A methodology is also presented. Finally, other potential uses of Description Logics based automatic reasoning procedures are discussed.

En C, une stratégie classique pour implémenter les codes de gestion d'erreur est de faire suivre chaque opération qui peut générer une erreur d'une structure conditionnelle qui teste si l'opération a renvoyé une erreur. Ce stratégie basique, cependant, est sujette à erreurs, et il est courant d'oublier des opérations de nettoyage requises, ainsi que d'oublier de mettre à jour des codes de gestion d'erreur existants lorsque la fonction est étendue avec de nouvelles opérations. De plus, une partie importante du code doit souvent être dupliquée. Un style de programmation, <EM> stratégie goto </EM>, qui peut réduire en partie certaines de ces difficultés. Pour améliorer la structure des codes de gestion d'erreur dans les logiciels système, nous définissions un algorithme qui permet de transformer les codes de gestion d'erreur implémentés suivant la stratégie basique en codes de gestion d'erreur qui utilisent la <EM> stratégie goto</EM>. Même lorsque les codes de gestion d'erreurs sont structurés, la gestion et la libération des ressources allouées restent un problème lorsqu'il s'agit d'assurer la robustesse du code système. Dans cette thèse, nous proposons un algorithme <EM> microscopique </EM> de détection d'omission de libération de ressource, basé sur une analyse principalement intra-procédurale, qui prend en compte les flux et les chemins du code et qui cible et exploite les propriétés des codes de gestion d'erreur. Notre algorithme est résistant aux faux positifs dans l'ensemble des acquisitions de ressources et des opérations de libération, ce qui produit un faible taux de faux positifs dans les rapports renvoyés par l'outil tout en passant à l'échelle.

No description available.

No description available.

Cette thèse porte sur l’engagement psychologique optimal (Brault-Labbé et al., 2008, 2009, 2010), des adultes en formation continue au Burkina Faso. Il s’agit d’identifier les contributions des facteurs de motivations de formation (Fenouillet et al., 2015), de motivations de carrière (London, 1983), de soutiens sociaux perçus (Zimet et al.,1988), de soutiens organisationnels perçus (Eisenberger et al, 1986) et de perception d’autonomie (Vallerand et al., 1997), dans l’engagement psychologique en formation.La première étude qualitative est conduite à partir du verbatim de vingt-sept (27) entretiens semi-directif et un traitement automatique de contenu à l’aide du logiciel Alceste. L’hypothèse portant sur l’existence de « mondes lexicaux » différenciés relatifs à l’engagement psychologique et aux variables explicatives de cette recherche est invalidée. L’engagement psychologique optimal est unidimensionnel dans cette recherche, contrairement au modèle original tridimensionnel (Brault-Labbé et al., 2008, 2009, 2010).La deuxième étude quantitative s’appuie sur cinq des sept étapes de la méthodologie d’adaptation transculturelle des échelles préconisées par Vallerand (1989). Une première étape d’analyse exploratoire a permis l’épuration des six outils. La deuxième étape d’analyse confirmatoire s’appuie sur les données de trois-cent-soixante-onze (371) questionnaires. Les résultats confirment l’existence de corrélations positives et significatives entre l’engagement psychologique optimal en formation et les variables explicatives. Ce sont les motivations de carrière, les soutiens sociaux perçus, et la perception d'autonomie qui rendent compte de l’engagement psychologique unidimensionnel. Ce résultat indique, contrairement au modèle original tridimensionnel (Brault-Labbé et al., 2008, 2009, 2010), que l’engagement psychologique optimal est un construit unidimensionnel avec un contenu affectif, cognitif et comportemental.Mots-clés : Burkina-Faso, engagement psychologique, logiciel Alceste, motivations de carrière, perception d'autonomie, soutien social perçu. / This doctoral thesis base on the three-dimensional model of the optimal psychology commitment (Brault-Labbé et al., 2008, 2009, 2010), applied to adults in continuing education in Burkina Faso. It aims to explore the influence of training motivation (Fenouillet et al., 2015), carrer motivation (London, 1983), perceived social supports (Zimet et al.,1988), perceived organizational supports (Eisenberger et al., 1986), and the perception of autonomy (Vallerand et al., 1997).The first qualitative study is based on data from twenty-seven (27) semi-structured interviews whose corpus is subjected to automatic content processing using the Alceste software. The interview focused on the existence of differentiated classes of "lexical universes" relating to the psychological commitment and to the explanatory variables of this research. The hypothesis supporting the existence of differentiated lexical contents is invalidated. In this research, unlike the original three-dimensional model (Brault-Labbé et al., 2008, 2009, 2010), the construct of optimal psychological commitment is one-dimensional.The second quantitative study is conducted, in the final phase, using data from three hundred and seventy-one (371) questionnaires from the six scales of this research. Exploratory and confirmatory analyzes supported by cross-cultural adaptation of the tools were carried out according to five of the seven recommended steps of Vallerand (1989).The question was what training and career motivations motivate adults in their psychological commitment to training on the one hand? and on the other hand, what perceptions do they have of social and organizational supports, as well as their perception of autonomy in this commitment?The results confirm, on the one hand, the hypothesis of the existence of positive and significant correlations between the optimal psychological commitment to training and the explanatory variables. Likewise, it is the career motivations, perceived social supports, and the perception of autonomy that account for one-dimensional psychological commitment.This result shows, contrary to the original three-dimensional model (Brault-Labbé et al., 2008, 2009, 2010), that optimal psychological commitment is a one-dimensional construct with affective, cognitive and behavioural content.Keywords: Burkina Faso, psychological commitment, Alceste software, career motivations, training motivations, perception of autonomy, perceived support.

De nombreux domaines comme le jeu vidéo, l’architecture, l’ingénierie ou l’archéologie font désormais appel à la modélisation géométrique. Les objets à représenter sont de natures diverses, et leurs opérations de manipulation sont spécifiques. Ainsi, les modeleurs sont nombreux car tous spécialisés à leur domaine d’application. Or ils sont à la fois chers à développer, souvent peu robustes, et difficilement extensibles. Nous avons proposé dans la thèse l’approche alternative suivante :– fournir un langage dédié à la modélisation qui permet de définir les opérations quelque soit le domaine d’application ; dans ce langage, les objets sont représentés avec le modèle topologique des cartes généralisées, dont nous avons étendu la définition aux plongements ; les opérations sont elles définies par des règles de transformation de graphes, issues de la théorie des catégorie ;– garantir les opérations définies dans le langage à l’aide de conditions de cohérence ; une opération dont la définition vérifie ces conditions ne produit pas d’anomalie ;– développer un noyau de modeleur générique qui interprète ce langage ; les opérations définies sont directement appliquées dans le modeleur, sans implantation dans un langage de programmation ; l’outil assure également la vérification automatique des conditions du langage pour prévenir un utilisateur lorsqu’il propose une opération incohérente.Le langage et le modeleur développés se sont révélés performants à la fois en termes de temps de développement et en termes de temps machine. L’implantation d’une nouvelle opération par une règle ne prend que quelques minutes à l’aide des conditions du langage, au contraire de l’approche classi / Geometric modeling is now involved in many fields such as: video games, architecture, engineering and archaeology. The represented objects are very different from one field to another, and so are their modeling operations. Furthermore, many specific types of modeling software are designed for high programing costs, but with a relatively low rate of effectiveness.The following is an alternative approach:– we have conceived a dedicated language for geometric modeling that will allow us to define any operation of any field; objects in this language are defined with the topological model of generalized maps, this definition has been extended to the embedding informations; here the operations are defined as graph transformation rules which originate from the category theory;– we have ensured operation definitions with consistency conditions; these operations that satisfy those conditions do not generate anomalies; – we have designed generic modeling software to serve as an interpreter of this language; the operation definitions are directly applied without the need for more programing; the software also automatically checks the language conditions and warns the user if he designs a non-consistent operation.The provided language and software prove to be efficient, and all for a low programing cost. Designing a new operation takes only minutes thanks to the language conditions, as opposed to hours of programming and debugging with the past approach.

Optimisation of Performance Metrics of Embedded Hard Real-Time Systems using Software/Hardware Parallelism. Nowadays, embedded systems are part of our daily lives.Some of these systems are called safetycritical and have strong requirements in terms of safety and reliability.Additionally, these systems must have a long autonomy, good performance and minimal costs.Finally, these systems must exhibit predictable behaviour and provide their results within firm deadlines.When these different constraints are combined in the requirement specifications of a modern product, classic design techniques making use of single core platforms are not sufficient.Academic research in the field of real-time embedded systems has produced numerous techniques to exploit the capabilities of modern hardware platforms.These techniques are often based on using parallelism inherently present in modern hardware to improve the system performance while reducing the platform power dissipation.However, very few systems existing on the market are using these state-of-the-art techniques.Moreover, few of these techniques have been validated in the context of practical experiments.In this thesis, we realise the study of operating system level techniques allowing to exploit hardware parallelism through the implementation of parallel software in order to boost the performance of target applications and to reduce the overall system energy consumption while satisfying strict application timing requirements.We detail the theoretical foundations of the ideas applied in the dissertation and validate these ideas through experimental work.To this aim, we use a new Real-Time Operating System kernel written in the context of the creation of a spin-off of the Université libre de Bruxelles.Our experiments are based on the execution of applications on the operating system which run on a real-world platform for embedded systems.Our results show that, compared to traditional design techniques, using parallel and power-aware scheduling techniques in order to exploit hardware and software parallelism allows to execute embedded applications with substantial savings in terms of energy consumption.We present future and ongoing research work that exploit the capabilities of recent embedded platforms.These platforms combine multi-core processors and reconfigurable hardware logic, allowing further improvements in performance and energy consumption. / Optimisation de Métriques de Performances de Systèmes Embarqués Temps Réel Durs par utilisation du Parallélisme Logiciel et Matériel. De nos jours, les systèmes embarqués font partie intégrante de notre quotidien.Certains de ces systèmes, appelés systèmes critiques, sont soumis à de fortes contraintes de fiabilité et de robustesse.De plus, des contraintes de coûts, d’autonomie et de performances s’additionnent à la fiabilité.Enfin, ces systèmes doivent très souvent respecter des délais très stricts de façon prédictible.Lorsque ces différentes contraintes sont combinées dans le cahier de charge d’un produit, les techniques classiques de conception consistant à utiliser un seul cœur d’un processeur ne suffisent plus.La recherche académique dans le domaine des systèmes embarqués temps réel a produit de nombreuses techniques pour exploiter les plate-formes modernes.Ces techniques sont souvent basées sur l’exploitation du parallélisme inhérent au matériel pour améliorer les performances du système et la puissance dissipée par la plate-forme.Cependant, peu de systèmes existant sur le marché exploitent ces techniques de la littérature et peu de ces techniques ont été validées dans le cadre d’expériences pratiques.Dans cette thèse, nous réalisons l’étude des techniques, au niveau du système d’exploitation, permettant l’exploitation du parallélisme matériel par l’implémentation de logiciels parallèles afin de maximiser les performances et réduire l’impact sur l’énergie consommée tout en satisfaisant les contraintes temporelles strictes du cahier de charge applicatif. Nous détaillons les fondements théoriques des idées qui sont appliquées dans la dissertation et nous les validons par des travaux expérimentaux.A ces fins, nous utilisons le nouveau noyau d’un système d’exploitation écrit dans le cadre de la création d’une spin-off de l’Université libre de Bruxelles.Nos expériences, basées sur l’exécution d’applications sur le système d’exploitation qui s’exécute lui-même sur une plate-forme embarquée réelle, montre que l’utilisation de techniques d’ordonnancement exploitant le parallélisme matériel et logiciel permet de larges économies d’énergie consommée lors de l’exécution d’applications embarquées.De futurs travaux en cours de réalisation sont présentés.Ceux-ci exploitent des plate-formes innovantes qui combinent processeurs multi-cœurs et matériel reconfigurable, permettant d’aller encore plus loin dans l’amélioration des performances et les gains énergétiques. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La mesure de la performance est l’une des nombreuses activités de la gestion de projet, elle contribue à assurer le succès du projet. Pour atteindre ce but, les entreprises ont besoin de déterminer un système de mesures de la performance. Ces mesures fournissent au chef de projet l’état de santé du projet et l’aide à évaluer s’il a atteint ou va atteindre ses objectifs. Néanmoins, avec la complexité croissante des projets et la nécessité économique absolue d’atteindre les objectifs, les chefs de projets ne peuvent plus se contenter de superviser les coûts et le planning pour évaluer la performance du projet. Ils ont besoin de considérer par exemple d’autres indicateurs comme la satisfaction des exigences du client, la maturité de la technologie, etc. De plus, ils ont besoin d’avoir une évaluation précise des valeurs de ces indicateurs tout au long du projet et pas uniquement à la fin, pour monitorer au mieux le projet afin qu’il atteigne ses objectifs. Pour satisfaire ces nouveaux besoins, les objectifs de cette thèse sont d’étendre le nombre d’indicateurs génériques et de diversifier le type des indicateurs, ainsi que de proposer une méthode pour concevoir des indicateurs spécifiques à un projet. Pour cela, nous procédons par l’intégration de bonnes pratiques pour la mesure de performance issues de plusieurs domaines de l’ingénierie, et illustrons nos propositions sur des cas pratiques. Ce rapport introduit la notion de performance et caractérise les systèmes de mesure de performance, en mettant notamment en évidence un emploi non cohérent de la terminologie selon les sources. Il identifie plusieurs limitations des systèmes de mesure de performance actuels et souligne notamment le besoin d’étendre le nombre et le type des indicateurs, et de construire des indicateurs de performance spécifiques et pertinents pour chaque projet. Une étude bibliographique sur la mesure de la performance dans les domaines de l’ingénierie, notamment en ingénierie système, montre que la mesure de performance est particulièrement bien développée dans cette dernière discipline, avec une offre de 18 indicateurs génériques avancés permettant une grande proactivité. La thèse propose de ce fait d’adapter ces indicateurs au management de projets, résultant en la définition d’un ensemble d’indicateurs étendu et diversifié pour la mesure de performance. Par ailleurs, l’étude des normes et guides en ingénierie système et logicielle (Practical Software and System Measurement, ISO/IEC 15939) nous amène à identifier d’autres besoins, comme la création dynamique d’indicateurs ad hoc qu’il est nécessaire de définir en cours de projet afin évaluer certains risques spécifiques, et soulève de nouvelles difficultés, comme la collecte et la manipulation des données pour la construction des indicateurs. Pour y répondre, ce rapport propose donc également une méthode guidant la construction dynamique d’indicateurs spécifiques. Celle-ci, illustrée dans le mémoire sur un cas concret de projet, a été validée par un panel d’experts. / Performance measurement is essential to ensure the success of a project. To this goal, companies need to determine a system of performance measures, classically including cost and schedule measures, which provide the project manager with the project health status and help her or him to evaluate the project successes and failures. However, with the increasing complexity of projects and the absolute necessity to reach the project objectives, project managers cannot only rely on such information about cost and schedule to evaluate the project performance; they need to consider, for instance, other indicators such as the satisfaction of customer requirements, the technology maturity, etc. Moreover, they need to have a precise evaluation of these indicators values while the project is in progress, in order to monitor it at best so that it reaches its goals, and not only after the project ends, to only conclude on the project success or failure without any mean to react. Considering these two issues, the objectives of the thesis thus are to extend the number, scope and type of current project performance indicators with a proposal of complementary indicators, and to propose a method for designing project-specific indicators, in order to improve project performance measurement. To define supplementary indicators and elaborate such a method, we proceed by integrating good measurement practices from different engineering disciplines and illustrate our proposal on use cases. The thesis first introduces the notion of performance and characterizes performance measurement systems (PMSs); such systems offer a wide panel of models for organizational performance measurement. Focusing on PMSs, we provide some insights for project performance measurement. More precisely, we identify several issues highlighted in literature, relative to the limitations of current project performance measurement such as the need to balance lagging indicators (to control) with leading indicators (to monitor), and the need to construct performance indicators that are relevant to project-specific information needs. We then focus on project performance measurement and reviews literature in this domain. It highlights the issue of the unbalanced use of leading and lagging indicators. To bring a solution to the issue, we review literature of performance measurement in engineering disciplines, with a focus on systems engineering practices, especially a panel of 18 generic leading indicators that are currently engineered in guidance. A method has been proposed to adapt the set of systems engineering leading indicators to project management, thus resulting in developing the set of indicators to measure project performance. Moreover, focusing on standards and guides on measurement in systems and software engineering led us to identify other issues in project performance measurement, such as the difficulties to define indicators dynamically for a project, and how to collect and combine data in order to construct these indicators. We finally consider the methodological difficulties about designing relevant performance indicators. More precisely, we identify 3 issues: different opinions among researchers about the sources from where the indicators will be derived; the problem in relation to the transformation from data to indicators; and the association of data collection, analysis and report with project management processes. To solve these issues, we analyze good practices from the Practical Software and Systems Measurement, the ISO/IEC 15939 norm and the Project Management Body of Knowledge that proved to be able to address the identified issues respectively. This work results in a method integrating these practices to address the 3 identified issues in project performance measurement. The method is illustrated on a real project context. Evaluation of the method has been conducted in workshop of project managers, which confirmed the interest for the proposal.