Un modèle pour la séparation et la traçabilité des préoccupations

National audienceL'évolutivité des systèmes d'information en entreprise constitue à la fois un enjeu crucial et une propriété logicielle difficile à mettre en oeuvre. Des solutions existent pour intégrer cette faculté logicielle mais elles restent propres à une étape du cycle de vie d'un logiciel et ne fournissent finalement que des réponses partielles. Nous proposons de faire le lien entre ces solutions par la définition d'un modèle qui regroupe, structure et trace les éléments de définition d'une application. A l'heure actuelle, notre modèle EUCLIDE relève les éléments logiciels issus de la définition itérative et incrémentale d'une fonctionnalité et établit l'évolution d'une telle définition avec la notion de traçabilité fonctionnelle

Génération terrestre

Ce document présente ma création nommée Génération terrestre qui a pour but d'immerger le spectateur dans un monde inconnu : graphique et sonore évoluant indéfiniment via un assemblage d'algorithmes informatiques. Dans cet écrit, je souhaite présenter à mon lecteur les systèmes génératifs ainsi que l'intelligence artificielle, à travers les différents principes d'auto-développement. J'expliquerai grâce aux théories sur l'évolution comment simuler un écosystème artificiel. D'un point de vue esthétique, j'aborderai aussi les techniques graphiques et sonores qui amènent le spectateur à plonger dans cette simulation. Je mettrai en avant les différentes variations possibles d'une œuvre générative en fonction du temps. Ma problématique est donc orientée vers l'auto-conception infinie d'une œuvre d'art numérique. La création finale est présentée sur un écran relié à un matériel audio.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : intelligence, artificielle, génératif, infini, écosystèm

Comment intégrer des logiciels issus de la recherche en EIAH ?

Cet article aborde le problème de la ré-utilisation, dans un but de recherche, de logiciels EIAH sous forme de prototypes ou d'environnements développés dans d'autres équipes de recherche. En nous appuyant sur des travaux traitant des problèmes d'interopérabilité et d'intégration, nous tentons d'illustrer cette problématique étudiée collectivement au sein de l'AS " Plates-formes technologiques pour la recherche en EIAH ". Après avoir analysé les besoins d'intégrer des logiciels EIAH pour construire une activité d'apprentissage, nous argumentons autour d'une proposition d'architecture d'intégration. Notre analyse des besoins débouche sur une présentation des différentes dimensions d'intégration possible. Au regard de ces dimensions d'intégration, nous présentons cinq études de cas issus de la communauté française. Nous concluons en proposant un guide des bonnes pratiques pour l'intégration

Une approche formelle de l'interopérabilité pour une famille de langages dédiés

In this thesis, we introduce a rigorous formally founded method to address the interoperability of a family of domain specific languages (DSLs). Our approach targets DSLs from the same business domain and consists in constructing a unifying language. The unification is obtained by using a categorical approach. For this, we use the category of algebraic specifications of each language in the family. On this category, we apply the colimit on algebraic specifications of each DSL to generate their unifying. This approach allows us to obtain a set of translators from each family member to the unifying language. Moreover, properties established in the context of a language of the family are transferred to the unifier. The approach experimented in the context of the Specware software for categorical computations and of the Isabelle proof assistant.Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle

Copilote plan de développement d'un système informatisé d'auto-évaluation formative /

Titre de l'écran-titre (visionné le 12 janv. 2009).Également disponible en format papier.Bibliogr

Copilote plan de développement d'un système informatisé d'auto-évaluation formative /

Titre de l'écran-titre (visionné le 12 janv. 2009).Également disponible en format papier.Bibliogr

Identité, évolution et discernabilité des objets dans les systèmes d'information et les bases de données

The principles and procedures for managing technical data changes specifically addressed by Product Lifecycle Management systems are examined in the context of fast changing and serially produced technical objects. Attempts to combine functionalities provided by PLM systems lead to choices that are irreconcilable with fully automated management. The expected outcomes should thus be put into perspective. The theoretical issues relate to the foundations of identity and discernibility, oneness and multiplicity, changes and invariances explored in this paper. Along the lines of E.F. Codd's algebra, a formal approach to object naming is proposed in order to communicate strategies for managing relationships. The interchangeability of objects and relations, compositions and use contexts is relatively and conditionally redefined. The strategies for managing configuration changes are optimized using two generic principles that aim to preserve invariances or design new constructible ones. Those principles come into play depending on how industrial settings combine redesign (innovation) and production (serial production) rates. These investigations drew upon multiannual research conducted in manufacturing (in particular, aeronautics) as well as health care, and led to experimental corporate applications. The major PLM solutions in the market were examined.Les principes et les modalités de gestion des évolutions des données techniques proposées notamment par les Product Lifecycle Management (P.L.M) sont étudiés dans les contextes de forte évolutivité des objets techniques et de reproduction en série. Les tentatives de conjugaison des fonctionnalités offertes par les P.L.M. conduisent à des choix inconciliables avec un traitement entièrement automatisé, et les résultats escomptés doivent donc être relativisés. Les questionnements théoriques renvoient aux fondements de l'identité et de la discernabilité, de l'unique et du multiple, des évolutions et des invariances, qui sont explorés. Une approche formelle de la dénomination des objets est proposée, dans la continuité de l'algèbre d'E.F. Codd, pour relayer les stratégies de gestion des relations. L'interchangeabilité des objets et des relations, des compositions et des contextes d'emplois, est redéfinie de manière relative et conditionnelle. Les stratégies de gestion des évolutions de configurations sont optimisées selon deux principes génériques visant à préserver les invariances ou à en concevoir de nouvelles sur des bases constructibles. Ces principes entrent en action selon la manière dont les situations industrielles conjuguent les régimes de reconception (innovation) et de reproduction (sériation). Les propositions ont été nourries par des travaux pluriannuels conduits en milieu industriel (aéronautique notamment) ainsi que dans la santé, et ont eu des implications pilotes en entreprise. Les principales solutions P.L.M. du marché ont été examinées

Le prototypage basé sur des méta données phase 1 du cycle de développement

Le processus de conception des systèmes d'information (SI) est un processus long et complexe qui résulte en de nombreux échecs. Le prototypage informatique et la conception guidée par modèles ont été proposés comme une solution en améliorant la qualité des spécifications au début du cycle de vie d'un SI. L'objectif de notre recherche est de mieux orienter l'action de spécification des exigences dans la phase initiale de conception "Communication Client - Concepteur" et dans le début de la phase de développement "Communication Concepteur - Développeur" en utilisant des artefacts de prototypage. Notre travail ouvre concrètement une voie dans laquelle il devient possible d'envisager que toute modification au cours de la vie d'un SI puisse être effectuée à partir du modèle du domaine qui est l'intrant du "prototypeur", qui devient alors le SI lui-même. Mots clés: système d'information; méthodologie de conception; modèle conceptuel de données; spécification déclarative; spécification exécutable; prototype; méta-donnée; architecture applicativeDesigning information systems is a lengthy and complex process that leads to numerous failures. Prototyping has been proposed as a solution to improve the specifications' quality in the beginning of an information system's life cycle. Every information system (IS) is based upon the information architecture ; it is, before all, a content about the perceived reality. A "domain" is a formalization of the perceived reality in which the IS users identify the representations of facts (the data) by means of semantic keys. IS designers have to transform this model using their knowledge about the abstract functioning of computers. The objective of our research is to guide the action of requirements specification in the initial design phase of "Communication Customer - Designer" and in the beginning of the development phase "Communication Designer - Developer" using prototyping artifacts. Our work actually opens the way where it becomes possible to envisage that every modification during the information system's life cycle could be done from within the domain model, which is an input for the "prototyper" and becomes then itself an information system. Keywords : information system ; design method ; conceptual data model ; déclarative specification; executables pecification; prototype ; méta-data ; application architectur

Internet des Objets: Défis sociétaux et domaines de recherche scientifique pour l'Internet des Objets (IoT)

International audienceDe la même manière qu’Internet a profondément bouleversé notre société,l’Internet des Objets (Internet of Things, ou “IoT” en anglais) impactera tous lessecteurs de l’activité humaine : notre habitat, nos véhicules, notre environnementde travail, nos usines, nos villes, notre agriculture, nos systèmes de santé… Demême, tous les niveaux de la société (individus, entreprises, États) sont d’oreset déjà concernés, de l’urbain au rural, ainsi que la nature au-delà. Dès lors,comprendre les fondements et les enjeux de l’IoT apparaît crucial.Ce document a en premier lieu pour but de (i) définir les contours de l’IoT, sa genèse, son actualité et ses perspectives, et (ii) identifier les principaux défis sociétaux, techniques et scientifiques relatifs à l’IoT.Une forte accentuation, jusqu’à l’omniprésence de l’IoT, paraît inéluctable.L’IoT a en effet vocation à s’insérer dans les moindres aspects de la vie de toutun chacun, connectant tout (des milliards de nouvelles machines hétérogènescommunicantes) et mesurant tout de nos agissements collectifs à l’échelleplanétaire et au-delà, à nos plus infimes signaux physiologiques individuels,en temps réel. Cette vocation est à double tranchant : elle défie l’imaginationpour le meilleur (automatisations, optimisations, fonctionnalités innovantes…)comme pour le pire (surveillances, dépendances, cyberattaques…). L’IoT étant enperpétuelle évolution, de nouveaux défis sociétaux concernant la protection dela vie privée, la transparence, la sûreté et de nouvelles responsabilités civiles ouindustrielles, commencent à apparaître.L’IoT s’appuie sur un ensemble de plus en plus complexe de concepts et detechnologies imbriqués et enfouis. Pour un acteur industriel, cette complexitégrandissante rend plus difficile (voire illusoire) d’envisager seul une maîtrisefine, de bout en bout, des éléments constitutifs de l’IoT. Néanmoins, la culturegénérale de demain devra permettre d’en appréhender les fondements techno-logiques. Un défi pour l’enseignement est donc d’augmenter progressivement lasensibilisation à l’IoT, à la fois pour préserver la souveraineté et le libre arbitredes individus, et pour mieux amorcer les formations de nos scientifiques et nostechniciens. Un institut public de recherche tel qu’Inria peut contribuer à lafois à maîtriser et à expliquer les fondements technologiques de l’IoT, ainsi qu’àpréserver la s ­ ouveraineté en Europe.L’IoT augmentera inévitablement la dépendance à certaines technologiese ­ nfouies. Ceci implique d’identifier les nouveaux risques, et d’élaborer de nouvellesstratégies pour tirer tous les bénéfices de l’IoT, tout en minimisant ces risques.Comme dans d’autres domaines où il faut chercher à préserver continuellementl’éthique sans pour autant entraver l’innovation, l’encadrement de l’IoT par la Loiest un effort à la fois nécessaire et ardu. Il semble toutefois clair que le niveaueuropéen soit le niveau adéquat (comme le montre le RGPD par exemple) pourpeser face aux géants industriels ou aux superpuissances. Par ailleurs, les normestechnologiques ayant une influence grandissante sur notre société, il paraîtindispensable de participer activement aux processus de normalisation de cestechnologies. Les normes ouvertes notamment, ainsi que l’open source conçucomme « bien commun public », seront des moteurs de premier plan pour l’IoTtout comme ils l’ont été pour Internet.Enfin, le défi environnemental auquel nous faisons face pourra être mieuxcapturé, et on l’espère, atténué, grâce à une utilisation massive de l’IoT. Il nes’agit pas seulement de réduire le coût en ressources naturelles consomméespar l’IoT (pour sa production, son déploiement, son entretien, et le recyclage).Il s’agit aussi d’être en mesure de pouvoir évaluer plus précisément, à l’échelleplanétaire, le bénéfice net global de l’IoT sur l’environnement, en défalquant soncoût environnemental des bénéfices attestés qu’il apporte, ce qui relève de lagageure actuellement.L’impact grandissant de l’IoT souligne la nécessité de se maintenir à la pointedes développements technologiques et de la recherche qui le sous-tendent.Ce document a donc en second lieu pour but de :(i) mettre en lumière la diversité des domaines de recherche sur lesquels s’appuiefondamentalement l’IoT, et(ii) passer en revue les problématiques de recherches actuelles et futures danschacun de ces domaines.Au gré du document, un certain nombre de liens sont établis avec les contri-butions d’Inria. Ces dernières sont de natures diverses (recherche fondamentaleet appliquée, logiciel libre, incubation de startups…) et concernent la plupart desdomaines de recherche sur lesquels s’appuie l’IoT