La désignation sous le terme d'Internet des Objets regroupe un ensemble vaste de systèmes connectés différents.Un nombre significatif de ces objets ne disposent pas d'une alimentation continue et sont alimentés grâce à des batteries. Par ailleurs, il existe de nombreux cas d'utilisation où le rechargement de cette dernière se trouve être difficile voire impossible (e.g. objet enfoui dans le béton pour la surveillance de structures). De ce fait, l'aspect énergétique représente une contrainte primordiale à prendre en compte par les développeurs lors de la conception de l'application embarquée sur l'objet. La problématique de nos travaux consiste à placer l'énergie comme ressource de premier ordre lors du développement en fournissant une aide et une assistance aux développeurs face à la complexité de gestion de cette ressource. Nous proposons comme solution une méthodologie et des outils pour soutenir les activités du développeur embarqué dans un environnement contraint en énergie. En outre, nous affirmons que la capacité de mesurer et de suivre finement la consommation énergétique des objets connectés, puis de la corréler au logiciel sous-jacent permet d'améliorer l'efficacité énergétique globale en mettant en œuvre des bonnes pratiques liées à l'utilisation des différents composants matériels.Pour arriver à cela, nous basons nos travaux sur une méthode de mesure énergétique matérielle capable de fournir des chiffres de consommation précis. Nous construisons ainsi un framework de profilage et de cartographie énergétique d'un logiciel embarqué permettant d'aider le développeur dans la compréhension du comportement énergétique de son application. / The designation under the term Internet of Things brings together a vast array of different connected systems.A significant number of these objects do not have a continuous power supply and are therefore supplied with batteries. In addition, we can list multiple use cases where the recharging of the battery is difficult or impossible (e.g. a buried object for structures monitoring). As a result, the energetic aspect represents a primary constraint to be taken into account by the developers when designing the embedded application on the object. The work issue consists in placing energy as a hard resource during the development phase by providing assistance and help to the developers in the management of this complex resource. We propose as a solution a methodology and tools to support the activities of the embedded developer in a constrained energy environment. We assert that the ability to accurately measure and track the energy consumption of a connected object and then correlate it to the underlying software can improve overall energy efficiency by implementing best practices related to use of the different hardware components. To achieve this goal, we base our work on a hardware energy measurement method able of providing accurate consumption figures. We than build an energy profiling and cartography framework of embedded software to help the developer understand the energy behavior of his application.

Cette recherche exploratoire s'intéresse aux logiciels libres au Québec, plus particulièrement aux acteurs qui participent activement à leur développement. Elle a pour but de comprendre les motivations de dix d'entre eux, en mettant en perspective leurs situations actuelle[s], personnelle[s] et professionnelle[s].Cette problématique est fortement inspirée des travaux de recherche en économie qui suggèrent que le contexte social et culturel d'une région donnée influence les motivations des acteurs de cette région. Plusieurs études se sont attardées à des projets de logiciels libres spécifiques, mais aucune ne s'est intéressée aux logiciels libres en territoire québécois. C'est ce qui nous amène à vouloir définir la perception et la motivation d'acteurscontributeurs au Québec. Afin de bien mettre en contexte notre étude, nous nous appuyons sur les théories diffusionnistes de Rogers, Flichy et Von Hippel, ainsi que sur celle de la construction sociale de Pinch et Bijker. Nous nous sommes également inspirés des travaux de Weber sur le logiciel libre, de ceux de Ryan et Deci sur les motivations, et de ceux de Greier sur les chemins de vie. Une série d'entrevues a été réalisée avec des experts du domaine. Pour ce faire, un sondage a été mené auprès de plus de 200 acteurs québécois du logiciel libre. De ce sondage est ressorti l'identité des dix acteurs les plus reconnus au Québec. Nous les avons invités pour une entrevue en profondeur sur leurs motivations à travailler sur les logiciels libres. Grâce à l'analyse de ces entretiens, nous sommes en mesure de dire que le discours de chacun des acteurs présente des particularités communes, notamment quant à la définition du logiciel libre, à la licence utilisée dans les projets et à la langue de l'interface présentée aux utilisateurs finaux. Aussi, les motivations des acteurs évoluent dans le temps, passant de motivations à caractère personnel à motivations en lien avec leur cheminement professionnel. De plus, nous constatons qu'il existe un réseau de professionnels et d'amateurs québécois qui prennent part à des projets d'envergure internationale. Ces interactions participent à une construction sociale de l'objet qui forge les méthodes de développement, les valeurs et les idéaux véhiculés sur Internet.

No description available.

Dans de nombreux domaines tels que l’avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu’à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d’applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d’une nouvelle application digne de confiance.Cette thèse propose ainsi de s’appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d’outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d’une application, du support est généré pour guider les phases d’implémentation et de vérification. En effet, la génération d’un framework de programmation dédié permet de guider l’implémentation tandis que la génération d’un modèle formel permet de guider la vérification statique de l’application et qu’un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d’études réalisés dans les domaines de l’avionique et de l’informatique ubiquitaire. / In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their environment. In order to trust these applications, their development is contrained by dependability requirements. Indeed, it is necessary to demonstrate that these high-level requirements are taken into account throughout the development cycle and concrete solutions are implemented to achieve compliance. Such constraints make the development of dependable applications particularly complex and difficult. Easing this process calls for the research of new development approaches that integrate dependability concepts and guide the developers during each step of the development of trustworthy applications.This thesis proposes to leverage a design-driven approach to guide the development of dependable applications. This approachis materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. Inparticular, a design language is used to describe both functional and non-functional applications. This language is based on adedicated paradigm and integrates dependability concepts such as error handling. From the description of an application, development support is generated to guide the implementation and verification stages. Indeed, the generation of a dedicated programming framework allows to guide the implementation while the generation of a formal model allows to guide the static verification and simulation support eases the testing. This approach is evaluated through case studies conducted in the domains of avionics and pervasive computing.

Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d'une nouvelle application digne de confiance.Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.

Ce mémoire concerne la sécurité informatique appliquée dans le domaine du logiciel informatique. En fait, il s'agit de l'intégration des concepts de la gestion des risques de sécurité pour les systèmes d'information dans un contexte du cycle de développement du logiciel. Après la présentation générale de ces sujets, la recherche aborde la problématique de la présence des vulnérabilités de sécurité dans les logiciels mis en opération. La solution proposée pour restreindre leur présence est fondée sur l'hypothèse qu'il est possible d'intégrer des activités reliées à la gestion des risques de sécurité aux étapes du cycle de développement du logiciel afin que ses bénéfices permettent de diminuer la présence de vulnérabilités de sécurité dans les logiciels produits. La recherche présentée dans ce mémoire prend ses appuis sur des concepts éprouvés dans les différents domaines étudiés. Le Processus Unifié est utilisé à titre de référence pour le cycle de développement du logiciel, tandis que les méthodes EBIOS, MEHARI et OCTAVE ont été employées pour la gestion des risques de sécurité. La démarche analytique entreprise dans cette recherche commence d'abord par l'étude des méthodes de gestion des risques pour en extraire une liste généralisée d'activités de sécurité. Elle présente ensuite des détails sur les activités effectuées dans chacune des étapes du Processus Unifié. En dernier lieu, elle intègre une à une les activités générales de la gestion des risques dans les étapes du cycle de développement logiciel. Les résultats ont démontré qu'un petit nombre d'activités générales de la gestion des risques avait un lien direct avec le cycle de développement du logiciel, alors que les autres pouvaient être intégrées et réalisées en fonction de leurs interdépendances avec les activités concernées. En démontrant que certaines activités avaient un ancrage réel avec une activité de projet réalisée lors d'une étape du cycle de développement logiciel, et qu'il existe de fortes interdépendances entre les activités de gestion des risques, il est alors possible de croire que les activités de gestion des risques peuvent être réalisées conjointement aux activités de projet dans un cycle de développement du logiciel. Puisque la gestion des risques de sécurité vise à diminuer les vulnérabilités de sécurité et qu'elle se retrouve ainsi intégrée au développement logiciel, l'hypothèse fut confirmée. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Méthode de gestion des risques de sécurité, Sécurité des systèmes d'information, Cycle de développement du logiciel, Sécurité informatique, Vulnérabilités de sécurité dans les logiciels, EBIOS, MEHARI, OCTAVE, Processus Unifié.

Ce projet de recherche présente de nouvelles données empiriques qui évaluent l'impact des pratiques de gestion de projet dans un environnement de travail créatif. L'étude se concentre sur la gestion de projet de type Agile avec Scrum en raison de sa méthodologie légère et flexible qui se prête bien au développement de nouveaux produits et de gestion de projet en technologie de l'information. Avant cette étude, il y avait un manque de données empiriques permettant de confirmer ou infirmer des proclamations supportant les performances des pratiques de gestion de projet Scrum. Tous, professionnels comme académiciens pouvaient donc se questionner sur les mérites des pratiques de gestion Scrum. Ce projet de recherche atténue ce vide au travers d'une étude exploratoire réalisée au sein d'une entreprise internationale de développement de jeux vidéo. Dans ce projet de recherche, nous avons développé un nouveau modèle de mesure pour les pratiques de gestion de projet Scrum – le premier dans cette catégorie. Nous avons utilisé le modèle ‘KEYS to creativity’ (Amabile, 1996) pour mesurer la créativité dans un environnement de travail. Les résultats démontrent comment les pratiques Scrum contribuent à un environnement de travail créatif. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : project management, agile, scrum, creativity, keys framework

Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètes sont mises en oeuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches de développement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapes nécessaires à la production d'une nouvelle application digne de confiance. Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.

La conception concourante de produits matériels centrée sur l’homme est basée sur une collaboration entre le concepteur mécanicien, l’ergonome et le designer industriel. Cette collaboration souvent difficile peut être facilitée par l’utilisation d’objets intermédiaires de conception, tels que la Réalité Virtuelle (RV). Néanmoins, bien que largement utilisée dans l’industrie, la RV souffre d’un déficit d’acceptation de la part des concepteurs de produits. Dans le cadre de ces travaux, nous proposons d’utiliser la RV sous la forme d’outils immersifs d’assistance à la convergence multidisciplinaire développés selon une démarche anthropocentrée en fonction des besoins spécifiques à chaque projet de conception de produits. Afin d’optimiser les délais de développement, nous proposons une méthodologie de conception d’applications immersive dédiée : la méthodologie ASAP(As Soon As Possible). Une première série expérimentale a été conduite dans le cadre de contrats industriels d’études et de recherche afin de valider la faisabilité de la méthodologie et l’efficacité des outils développés.Une deuxième série expérimentale a été effectuée sur plus de 50 sujets dans le cadre de projets, cette fois, pédagogiques qui ont nécessité le développement de 12 applications. Elle a permis de valider quantitativement l’influence des outils immersifs sur l’efficacité perçue des phases de convergence interdisciplinaires ainsi que l’influence de l’approche proposée sur l’acceptation de la RV par les concepteurs de produits. Ces travaux de thèse présentent une première approche qui, selon nous, permettra à terme, de faire évoluer l’usage de la RV vers une intégration plus forte au sein des processus de conception de produits avec, par exemple, une plus large utilisation des applications immersives de modélisation 3D, réelles sources d’innovation. / Human centered and concurring product design is based on the collaboration between mechanical engineers, human factor experts and industrial designers. This collaboration is often difficult and can be eased through the use of intermediary objects such as Virtual Reality (VR). Nevertheless, even though VR is widely used in the industry, it suffers from a lack of acceptance by product designers. In the context of this research work, we suggest to use VR in the form of immersive multidisciplinary convergence support tools. These tools are developed in accordance with an anthropocentered approach, as a function of each specific product design project’s needs. In order to optimize development times, we propose a dedicated immersive software design methodology : the ASAP methodology (As Soon As Possible). A first experiment, aiming to demonstrate the feasibility of the ASAP methodology and the effectiveness of the implemented immersive tools, has been conducted in the context of industrial product design projects. A second experiment, involving more than 50 participants, has been conducted in the context of educational product design projects and led to the development of 12 immersivetools. It demonstrated quantitatively the contribution of immersive tools to the perceived effectiveness of interdisciplinary convergence phases and the contribution of the ASAP methodology on the acceptation of VR by product designers. This research work describes a first approach that could, according to us, allow abetter integration of VR within product design processes.

Un composant est une entité autonome qui interagit avec son environnement par des interfaces correctement spécifiées. Fractive est une implantation du modèle de composants Fractal qui propose des primitives de haut niveau et une sémantique pour la programmation à base de composants Java distribués, asynchrones et hiérarchiques. Fractive propose également une séparation entre aspects fonctionnels et non-fonctionnels, ces derniers permettant un contrôle de l´exécution d´un composant et de son évolution dynamique. Dans cette thèse, nous proposons un outillage formel pour la vérification d´applications construites avec Fractive. Cela permet de vérifier que chaque composant remplit correctement le rôle qui lui a été assigné au sein du système, et que la mise à jour ou le remplacement d´un composant n´engendre pas d´interblocage ou de panne du système. Nous avons défini un nouveau format intermédiaire qui étend les réseaux d´automates communicants, en paramétrisant leurs événements de communication et de traitement. Nous avons ensuite utilisé ce format intermédiaire pour définir les spécifications comportementales d´applications Fractive. Nous considérons que les modèles des composants primitifs sont connus (donnés par l´utilisateur ou par analyse statique). En utilisant la description des composants, nous construisons un contrôleur décrivant le comportement non fonctionnel du composant. La sémantique d´un composant est ensuite générée comme le produit de synchronisation des LTSs de ses sous-composants et du contrôleur. Le système résultant peut être vérifié par rapport aux besoins exprimés dans un ensemble de formules de logique temporelle, comme illustré dans le manuscrit.