Quantification du taux d'invalidité d'applications temps réel à contraintes strictes

International audienceThis work is about an operational conception toolkit for real time applications. Temporal validation is usually based on tools with binary validation results. In this paper, we show how to build some quality indicators able to quantify invalidity numerically. First, we present an automata-based model and then its geometrical adaptation, which permits to compute a measure of invalidit

Quantification du taux d'invalidité d'applications temps réel à contraintes strictes

Ce travail s'intègre dans un projet de conception d'outils d'aide à la spécification d'applications temps réel à contraintes strictes : il s'agit, lorsqu'une application est invalide, d'identifier les causes de l'invalidité et de proposer des solutions. Dans cette thèse, nous étudions la définition de mesures d'invalidité, à partir de deux modèles. Le premier, basé sur les langages rationnels, possède une grande puissance d'expression (et nous permet d'obtenir un certain nombre de résultats théoriques) il permet d' évaluer le niveau de sécurité d'une application lorsqu'elle est valide. Une analyse structurelle de ce modèle a permis d'en définir un second, géométrique, dans lequel une mesure dans le cas d'applications invalides est définie sur la base d'une distance géométrique. Les systèmes que nous traitons utilisent des ressources critiques et fonctionnent sur des architectures multiprocesseurs. Les tâches sont périodiques, non réentrantes, à départs différés.This work is part of an assistance tool conception project for hard real time application specification: when an application is not feasible, we identify the issues, we propose solutions. This process stands on unfeasability measures, based on real time application models. The first model, based on regular languages, has a great expression capacity (and allows us to reach some theoretical results) it is useful for evaluate the security level of softwares when they are feasible. A structural analysis of this model lead us to upgrade it into a geometrical model, useful to define an feasability measure which can evaluate the degrees of both feasability (when the application is valid) and unfeasability (when it is not). The systems we deal with use resources and run on multiprocessor architectures. Tasks are periodic, can not be parallelised and have different start times.POITIERS-BU Sciences (861942102) / SudocSudocFranceF

Les capacités de changement du développement de l'administration électronique : les enseignements d'une recherche menée dans deux organismes publics canadiens

La question des changements face à l'évolution technologique est, depuis quelque temps déjà, une préoccupation importante pour le secteur privé. C'est plus récemment que le secteur public s'est trouvé confronté à ce type de pression qui l'amène notamment à développer ses affaires électroniques. La recherche théorique sur le changement par les affaires électroniques dans les organisations publiques a connu une grande diffusion cette dernière décennie. Les affaires électroniques dans le secteur public ont été présentées et traitées sous différentes terminologies (« e-gouvernement », « e-administration », « e-démocratie ») et de différentes manières, ce qui accroît la confusion et la complexité. Toutefois, ces recherches s'accordent à dire que le développement des affaires électroniques implique une importante transformation des organisations publiques. Cette transformation est caractérisée par des changements à différents niveaux, rapides et continus. Les organisations publiques se trouvent alors contraintes d'évoluer de manière soutenue et donc, de développer leurs capacités de changement. Ces constats nous amènent à nous intéresser à la problématique qui consiste à mieux comprendre la façon dont les organisations publiques vont s'adapter à la dynamique de l'environnement actuel, et à la manière avec laquelle elles vont développer et soutenir les affaires électroniques. Plus précisément, nous nous sommes posé les questions suivantes : comment le développement de l'administration électronique engage-t-il les organisations publiques dans le changement continu? Quelles sont les capacités de changement qui vont permettre de relever le défi du changement continu? En effet, le développement des affaires électroniques et plus particulièrement de l'administration électronique s'est largement généralisé dans les organisations publiques, amenant celles-ci à réfléchir de plus en plus à leur façon de réaliser leurs missions. C'est pourquoi la question du développement de l'administration électronique ne peut être dissociée de la question du changement continu. Par ailleurs, il semble important de considérer des perspectives théoriques alternatives pour une conception et une opérationnalisation des capacités de changement qui mettent davantage l'accent sur la continuité du changement et sur les interactions internes et externes à l'organisation. Nous avons d'abord mobilisé et combiné l'appareillage conceptuel des approches « Resource Based View », de l'approche en conduite du changement et des approches tirées des théories évolutionnistes pour définir et conceptualiser la capacité de changement comme étant l'aptitude de l'organisation à mettre en place un changement soutenu. Nous avons par la suite développé un cadre conceptuel préliminaire à partir du modèle de coévolution de l'organisation avec son environnement. Ce dernier permet d'étudier le développement de l'administration électronique en interaction avec le contexte organisationnel (microévolution), le contexte sectoriel (mésoévolution) et le contexte sociétal (macroévolution), et il permet d'identifier les capacités de changement nécessaires. Deux études de cas exploratoires ont été réalisées auprès des organismes publics du « GOP » et du « MINR ». Le cadre méthodologique combine l'approche de cas structurée de Carroll et Swatman (2003) et l'analyse basée sur la théorie ancrée. Ce cadre a permis de construire la théorie de manière progressive et de réviser le cadre conceptuel de développement de l'Administration électronique. Aussi, une analyse comparative de ces deux organismes a été réalisée, de laquelle il résulte des stratégies différentes de développement de l'Administration électronique. Le MINR a abordé le développement de l'Administration électronique comme un projet de développement de système d'information indépendant du fonctionnement de l'organisation avec un échéancier précis. La stratégie de développement de l'Administration électronique au GOP s'avère être plus progressive et de nature émergente, s'approchant d'une perspective de changement continu telle qu'elle a été décrite par Brown et Eisenhardt (1997) ou encore par Ford (2008). Par conséquent, nous avons choisi de réaliser une étude en profondeur du développement de l'Administration électronique au GOP. Les résultats de cette étude ont tout d'abord permis de définir trois périodes de développement de l'Administration électronique entre 1998 et 2008. Ils ont également permis de décrire la coévolution de l'Administration électronique avec son environnement interne et externe (mésoenvironnement et macroenvironnement), de définir certaines capacités organisationnelles nécessaires au développement de l'Administration électronique, et d'identifier des facteurs facilitateurs et de blocages du développement durant ces trois périodes. Ensuite, en nous basant sur la théorie de la complexité, nous définissons le développement de l'Administration électronique comme un système complexe pour faire face aux défis de dynamique des environnements qui changent rapidement. On souligne alors que le changement continu constitue un facteur critique du développement de l'Administration électronique, ce qui est fondamental dans la coévolution des systèmes complexes. Un cadre conceptuel du développement de l'Administration électronique révisé est alors proposé. Ce cadre démontre que le développement de l'Administration électronique est basé sur les capacités de changement qui constituent l'énergie nécessaire pour la coévolution de l'Administration électronique avec son environnement, la mobilisation et la création des capacités organisationnelles nécessaires, ainsi que le renouvellement stratégique du développement à chaque période. In fine, nous précisons des propositions générales de recherche, nous proposons une typologie des capacités organisationnelles de développement de l'Administration électronique et nous définissons les composantes des capacités de changement sont définies et décrivons leurs dimensions. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Administration électronique, changement continu, capacités organisationnelles, capacité de changement, approche de la coévolution et systèmes complexes