33 research outputs found

    Modélisation et validation formelle des rÚgles d'exploitation ferroviaires

    No full text
    Le systĂšme europĂ©en de surveillance du trafic ferroviaire (en anglais, European Rail Traffic Management System, ERTMS) est un systĂšme complexe de contrĂŽle/commande et de signalisation ferroviaire mettant en Âœuvre des rĂšgles europĂ©ennes d'exploitation ferroviaires. Cet article propose une Ă©tude de cas basĂ©e sur deux scĂ©narios extraits de ces rĂšgles, un scĂ©nario nominal d'autorisation de mouvement et un scĂ©nario exceptionnel de franchissement d'un arrĂȘt. En effet, on trouve dans ces scĂ©narios des aspects fonctionnels et de sĂ©curitĂ©. Ces aspects nĂ©cessitent, d'une part, une modĂ©lisation fonctionnelle enrichie par des modĂšles dĂ©crivant la politique de sĂ©curitĂ© et les autorisations donnĂ©es aux agents agissant sur le systĂšme, et d'autre part, une validation formelle. Pour ce faire, nous avons utilisĂ© la plate-forme B4MSecure, fondĂ©e sur l'approche IDM (IngĂ©nierie DirigĂ©e par les ModĂšles), produisant Ă  partir des modĂšles UML des spĂ©cifications formelles B. L'objectif de ces spĂ©cifications rĂ©sultantes est de valider ces scĂ©narios Ă  l'aide d'outils d'animation et de preuve de spĂ©cifications B afin de garantir une analyse rigoureuse de la fonctionnalitĂ© et de la politique de sĂ©curitĂ©

    Un cadriciel pour la vérification en ligne, générique, flexible et évolutive de configurations de systÚmes communicants complexes

    Get PDF
    Les systĂšmes communicants complexes constituent une base fondamentale de la vie d'aujourd'hui. Ils supportent de plus en plus de services et d'usages critiques, essentiels tant aux entreprises et administrations qu'Ă  la sociĂ©tĂ© en gĂ©nĂ©ral. L'exemple-type est celui d'Internet avec l'ensemble de ses services et usages variĂ©s, architectures et mĂ©dia allant de petits Ă©quipements mobiles comme les smartphones aux systĂšmes critiques Ă  grande Ă©chelle comme les clusters de serveurs et le cloud. Il devient dĂšs lors indispensable d'en garantir le fonctionnement effectif et continu. Pour ce faire, une vision consiste en la mise en Ɠuvre de systĂšmes de gestion autonomes et adaptifs, capables de reconfigurer dynamiquement et en permanence ces systĂšmes afin de maintenir un Ă©tat de fonctionnement dĂ©sirĂ© face Ă  des conditions opĂ©rationnelles, instables et de moins en moins prĂ©visibles. Un frein Ă  l'exploitation effective des solutions de reconfiguration dynamique rĂ©side dans le manque de mĂ©thodes et de moyens garantissant l'effectivitĂ© et la sĂ»retĂ© de ces changements dynamiques de configurations. La contribution gĂ©nĂ©rale des travaux de cette thĂšse fournit des concepts, des mĂ©thodes et des outils qui favorisent la mise en Ɠuvre d'une vĂ©rification en ligne de configurations. Notre dĂ©marche pour construire ce cadriciel a consistĂ© dans un premier temps Ă  dĂ©finir un langage de haut niveau dĂ©diĂ© Ă  la spĂ©cification et la vĂ©rification de configurations. Nous avons architecturĂ© dans un deuxiĂšme temps, un service de vĂ©rification gĂ©nĂ©rique, flexible et Ă©volutive at runtime capable de manipuler les concepts dĂ©finis dans ce langage. Enfin, nous avons dĂ©fini une architecture de composants intermĂ©diaires d'intĂ©gration de l'existant. Ce cadriciel permet de supporter un processus de vĂ©rification opĂ©rationnelle de configurations qui commence, en phase de conception par une spĂ©cification rigoureuse de modĂšles de configurations, puis se poursuit en phase d'exĂ©cution du systĂšme de gestion Ă  travers une vĂ©rification automatique de configurations basĂ©e sur ces modĂšles. Le cadriciel a fait l'objet d'un prototype que nous avons expĂ©rimentĂ© sur une sĂ©rie de cas issus de deux contextes applicatifs diffĂ©rents : la vĂ©rification de configurations d'un middleware orientĂ© messages dans un environnement JMX et la vĂ©rification de configurations de machines virtuelles dans un environnement CIM/WBEM (standards du DMTF). Les rĂ©sultats ont montrĂ© la faisabilitĂ© de l'approche ainsi que la capacitĂ© du cadriciel Ă  soutenir une vĂ©rification en ligne, flexible et Ă©volutive de configurations favorisant l'intĂ©gration de l'existant.Complex networked systems are a fundamental basis of today's life. They increasingly sup- port critical services and usages, essential both to businesses and the society at large. The evident example is the Internet with all its services and usages in a variety of forms, architectures and media ranging from small mobile devices such as smartphones to large-scale critical systems such as clusters of servers and cloud infrastructures. It is therefore crucial to ensure their effective and continuous operation. A vision to do this consists in the development of autonomous and adaptive management solutions, capable of dynamically and continuously reconfiguring these systems in order to maintain a desired state of operation in the face of unstable and unpredictable operational conditions. A main obstacle to the effective deployment of dynamic reconfiguration solutions is the lack of methods and means to ensure the effectiveness and safety of these dynamic con- figuration changes. The overall contribution of this thesis is to provide concepts, methods and tools to enable an online configuration verification. Our approach to build this framework was first to define a high-level language dedicated to the specification and verification of configurations. Second, we designed a generic flexible and adaptable runtime verification service, able to manipulate the concepts defined in this language. Finally, we defined an architecture of adapters for integrating existing systems and platforms. This allows our framework to support a runtime configuration verification process that starts at design time with a rigorous specification of configuration models and continues at runtime through automatic checking of configurations based on these models. The framework has been implemented in a prototype that has been experienced on a series of experiments from two different application domains: the verification of a messaging middle- ware's configurations in a JMX environment and the verification of virtual machines' configurations in a CIM/WBEM (DMTF standards) environment. The results showed the feasibility of our approach and the framework's ability to support a flexible and adaptable online verification of configurations that can be integrated with existing management solutions

    Actes des 2Ăšmes journĂ©es sur l’IngĂ©nierie DirigĂ©e

    Get PDF
    National audienceL’ingĂ©nierie dirigĂ©e par les modĂšles (IDM), appelĂ©e en anglais MDE (Model-Driven Engineering) ou aussi MDD (Model-Driven Development) place le modĂšle au centre du processus de conception et permet Ă  cette notion de modĂšle de passer d’un rĂŽle contemplatif Ă  un rĂŽle unificateur vis-Ă -vis des autres activitĂ©s du cycle de dĂ©veloppement du logiciel. L’IDM doit alors ĂȘtre vu non pas comme une rĂ©volution, mais comme un moyen d’intĂ©grationde diffĂ©rents espaces techniques pour aller vers une production automatisĂ©e des logiciels.L’ingĂ©nierie dirigĂ©e par les modĂšles apporte alors des solutions Ă  la construction de ces nouveaux logiciels en proposant des approches de modĂ©lisation, de mĂ©tamodĂ©lisation, de dĂ©termination du domaine, de transformation et de prise en compte des plates-formes. Ces approches sont accompagnĂ©es de dĂ©marches de conception et de moyens de gĂ©nĂ©ration de code, mais Ă©galement de validation et de vĂ©rification de la conformitĂ© des modĂšles produits vis-Ă -vis des mĂ©tamodĂšles. Elles sont proches des idĂ©es actuelles comme la programmation gĂ©nĂ©rative, les langages spĂ©cifiques de domaine (DSL), le MIC (Model Integrating Computing) ou encore les usines Ă  logiciels (Software factories). AprĂšs le succĂšs des journĂ©es IDM Ă  Paris en 2005, la seconde Ă©dition de ces journĂ©es se dĂ©roule Ă  Lille et a pour objectif de rassembler les chercheurs francophones intĂ©ressĂ©s par ce domaine et souhaitant participer Ă  la structuration de cette communautĂ© scientifique Ă©mergente

    Auto-organisation de fragments pour la conception de processus de développement

    Get PDF
    Dans le domaine de l'ingĂ©nierie du logiciel, plusieurs mĂ©thodes ont Ă©tĂ© conçues, chacune avec ses avantages et ses inconvĂ©nients. MĂȘme s'il en existe Ă  ce jour de nombreuses, l'expĂ©rience a montrĂ© que ces mĂ©thodes ne sont pas universelles et ne peuvent prĂ©voir toutes les situations possibles. L'Ă©volution actuelle des systĂšmes impose des modifications de plus en plus rapides et frĂ©quentes de leurs mĂ©thodes. Certaines tentatives ont essayĂ© d'unifier des processus de dĂ©veloppement et leurs mĂ©ta-modĂšles mais se sont rĂ©vĂ©lĂ©es infaisables jusqu'Ă  prĂ©sent. Une autre voie explorĂ©e a Ă©tĂ© de profiter de ces nombreuses mĂ©thodes en essayant de combiner leurs caractĂ©ristiques particuliĂšres. Les travaux sur l'ingĂ©nierie des mĂ©thodes situationnelles ont cherchĂ© plus prĂ©cisĂ©ment Ă  permettre la rĂ©utilisation de fragments de dĂ©marches existantes pour en construire de nouvelles mieux adaptĂ©es aux spĂ©cificitĂ©s d'une situation. Cette famille d'approches a l'avantage de prĂ©server les acquis et d'apporter Ă©galement une certaine flexibilitĂ© en fournissant les moyens d'adapter une mĂ©thode aux besoins spĂ©cifiques d'une situation particuliĂšre. C'est dans ce contexte que s'est inscrit mon travail de thĂšse. Ma contribution dans ce domaine vise Ă  apporter des Ă©lĂ©ments de rĂ©ponses pour la conception automatique de processus composĂ© de fragments dont les verrous sont les suivants : (i) comment sĂ©lectionner les fragments ; (ii) comment les composer pour obtenir un processus de mĂ©thode ; (iii) comment Ă©valuer le rĂ©sultat de la composition. Une premiĂšre contribution essentielle de cette thĂšse est axĂ©e sur l'analyse des contraintes et besoins nĂ©cessaires Ă  la composition automatique de fragments Ă  savoir la standardisation de fragments, leur sĂ©lection et assemblage ainsi que rĂŽle de l'utilisateur avant et pendant la composition. Ces travaux m'ont permis de proposer le systĂšme SCoRe (\textit{Self-Combining method fRagments}) qui auto-compose des fragments de mĂ©thodes Ă  l'aide d'un systĂšme multi-agents adaptatif afin de dĂ©terminer un processus adaptĂ© et adaptable Ă  des situations spĂ©cifiques. Son objectif est, d'une part, d'assister au maximum l'Ă©quipe de dĂ©veloppement dans la rĂ©alisation de son projet, et, d'autre part, de s'adapter aux potentielles Ă©volutions pendant l'exĂ©cution du processus composĂ©. Une deuxiĂšme contribution rĂ©side dans la dĂ©finition de critĂšres et mĂ©thodes pour l'Ă©valuation de processus existants ou rĂ©sultants de la production du systĂšme multi-agent adaptatif SCoRe. L'objectif de ses Ă©valuations est de mesurer les caractĂ©ristiques structurelles et les performances des mĂ©thodes Ă©valuĂ©es.Software systems are becoming more and more complex. A common dilemma faced by software engineers in building complex systems is the lack of method adaptability. In the Software Engineering field, several methods have been created with advantages and drawbacks but the experience shows that existing methods are not universal and cannot answer all situations. The system evolution requires method modifications more rapid and frequent. Some researchers tried to unify metamodel. Another way explored was to take advantage of the different methods by combining their characteristics. The situational method engineering (SME) approaches focus on the in-house construction of methods for systems development which are tuned to specific situations of development projects. My work of thesis is included in this context. My main contribution aims at bringing first answers to the automatic process composition. The issues of the creation of tailored processes are the following: (i) selecting appropriate method components from a repository of reusable method components; (ii) tailoring these method components as appropriate; (iii) integrating these tailored method components to form the new situation-specific method. A first main contribution of this thesis aims at studying the ability to design process and adjust the proposed process according to the characteristics of application domain and users profile. I propose an original system called SCoRe (Self-Combined method fRagments) to automatically build a self-adaptive design process where each fragment is encapsulated in an autonomous agent. On one hand, the goal of SCoRe is to assist the designer in the choice of fragment and therefore in the definition of a process most suitable to the current situation. On the other, its goal is to react dynamically to potential modifications. A second contribution resides in the definition of criteria and methods for evaluating existing processes or processes assembled by SCoRe. The aim of these evaluations is to measure structural characteristics and performance of evaluated methods

    Actes du Colloque Scénariser l'enseignement et l'apprentissage une nouvelle compétence pour le praticien? /

    Get PDF
    "Colloque organisé dans le cadre de la 8e biennale de l'éducation"Titre de l'écran-titre (visionné le 30 avril 2010

    IngĂ©nierie et Architecture d’Entreprise et des SystĂšmes d’Information - Concepts, Fondements et MĂ©thodes

    Get PDF
    L'ingĂ©nierie des systĂšmes d'information s'est longtemps cantonnĂ©e Ă  la modĂ©lisation du produit (objet) qu'est le systĂšme d’information sans se prĂ©occuper des processus d'usage de ce systĂšme. Dans un environnement de plus en plus Ă©volutif, la modĂ©lisation du fonctionnement du systĂšme d’information au sein de l'entreprise me semble primordiale. Pendant les deux derniĂšres dĂ©cennies, les pratiques de management, d’ingĂ©nierie et d’opĂ©ration ont subi des mutations profondes et multiformes. Nous devons tenir compte de ces mutations dans les recherches en ingĂ©nierie des systĂšmes d’information afin de produire des formalismes et des dĂ©marches mĂ©thodologiques qui sauront anticiper et satisfaire les nouveaux besoins, regroupĂ©s dans ce document sous quatre thĂšmes:1) Le systĂšme d’information est le lieu mĂȘme oĂč s’élabore la coordination des actes et des informations sans laquelle une entreprise (et toute organisation), dans la diversitĂ© des mĂ©tiers et des compĂ©tences qu’elle met en Ɠuvre, ne peut exister que dans la mĂ©diocritĂ©. La comprĂ©hension des exigences de coopĂ©ration dans toutes ses dimensions (communication, coordination, collaboration) et le support que l’informatique peut et doit y apporter deviennent donc un sujet digne d’intĂ©rĂȘt pour les recherches en systĂšme d’information.2) Le paradigme de management des processus d’entreprise (BPM) est en forte opposition avec le dĂ©veloppement traditionnel des systĂšmes d’information qui, pendant plusieurs dĂ©cennies, a cristallisĂ© la division verticale des activitĂ©s des organisations et favorisĂ© ainsi la construction d’ülots d’information et d’applications. Cependant, les approches traditionnelles de modĂ©lisation de processus ne sont pas Ă  la hauteur des besoins d’ingĂ©nierie des processus dans ce contexte en constant changement, que ce dernier soit de nature contextuelle ou permanente. Nous avons donc besoin de formalismes (i) qui permettent non seulement de reprĂ©senter les processus d’entreprise et leurs liens avec les composants logiciels du systĂšme existant ou Ă  venir mais (ii) qui ont aussi l’aptitude Ă  reprĂ©senter la nature variable et/ou Ă©volutive (donc parfois Ă©minemment dĂ©cisionnelle) de ces processus.3) Les systĂšmes d’information continuent aujourd’hui de supporter les besoins classiques tels que l’automatisation et la coordination de la chaĂźne de production, l’amĂ©lioration de la qualitĂ© des produits et/ou services offerts. Cependant un nouveau rĂŽle leur est attribuĂ©. Il s’agit du potentiel offert par les systĂšmes d’information pour adopter un rĂŽle de support au service de la stratĂ©gie de l’entreprise. Les technologies de l’information, de la communication et de la connaissance se sont ainsi positionnĂ©es comme une ressource stratĂ©gique, support de la transformation organisationnelle voire comme levier du changement. Les modĂšles d’entreprise peuvent reprĂ©senter l’état actuel de l’organisation afin de comprendre, de disposer d’une reprĂ©sentation partagĂ©e, de mesurer les performances, et Ă©ventuellement d’identifier les dysfonctionnements. Ils permettent aussi de reprĂ©senter un Ă©tat futur souhaitĂ© afin de dĂ©finir une cible vers laquelle avancer par la mise en Ɠuvre des projets. L’entreprise Ă©tant en mouvement perpĂ©tuel, son Ă©volution fait partie de ses multiples dimensions. Nous avons donc besoin de reprĂ©senter, a minima, un Ă©tat futur et le chemin de transformation Ă  construire pour avancer vers cette cible. Cependant planifier/imaginer/se projeter vers une cible unique et, en supposant que l’on y arrive, croire qu’il puisse exister un seul chemin pour l’atteindre semble irrĂ©aliste. Nous devons donc proposer des formalismes qui permettront de spĂ©cifier des scenarii Ă  la fois pour des cibles Ă  atteindre et pour des chemins Ă  parcourir. Nous devons aussi dĂ©velopper des dĂ©marches mĂ©thodologiques pour guider de maniĂšre systĂ©matique la construction de ces modĂšles d’entreprise et la rationalitĂ© sous-jacente.4) En moins de cinquante ans, le propos du systĂšme d’information a Ă©voluĂ© et s’est complexifiĂ©. Aujourd’hui, le systĂšme d’information doit supporter non seulement les fonctions de support de maniĂšre isolĂ©e et en silos (1970-1990), et les activitĂ©s appartenant Ă  la chaĂźne de valeur [Porter, 1985] de l’entreprise (1980-2000) mais aussi les activitĂ©s de contrĂŽle, de pilotage, de planification stratĂ©gique ainsi que la cohĂ©rence et l’harmonie de l’ensemble des processus liĂ©s aux activitĂ©s mĂ©tier (2000-201x), en un mot les activitĂ©s de management stratĂ©gique et de gouvernance d’entreprise. La gouvernance d'entreprise est l'ensemble des processus, rĂ©glementations, lois et institutions influant la maniĂšre dont l'entreprise est dirigĂ©e, administrĂ©e et contrĂŽlĂ©e. Ces processus qui produisent des ‘dĂ©cisions’ en guise de ‘produit’ ont autant besoin d’ĂȘtre instrumentalisĂ©s par les systĂšmes d’information que les processus de nature plus opĂ©rationnels de l’entreprise. De mĂȘme, ces processus stratĂ©giques (dits aussi ‘de dĂ©veloppement’) nĂ©cessitent d’avoir recours Ă  des formalismes de reprĂ©sentation qui sont trĂšs loin, en pouvoir d’expression, des notations largement adoptĂ©es ces derniĂšres annĂ©es pour la reprĂ©sentation des processus d’entreprise.Ainsi, il semble peu judicieux de vouloir (ou penser pouvoir) isoler, pendant sa construction, l’objet “systĂšme d’information” de son environnement d’exĂ©cution. Si le sens donnĂ© Ă  l’information dĂ©pend de la personne qui la reçoit, ce sens ne peut ĂȘtre entiĂšrement capturĂ© dans le systĂšme technique. Il sera plutĂŽt apprĂ©hendĂ© comme une composante essentielle d’un systĂšme socio-technique incluant les usagers du systĂšme d’information technologisĂ©, autrement dit, les acteurs agissant de l’entreprise. De mon point de vue, ce systĂšme socio-technique qui mĂ©rite l’intĂ©rĂȘt scientifique de notre discipline est l’entreprise. Les recherches que j’ai rĂ©alisĂ©es, animĂ©es ou supervisĂ©es , et qui sont structurĂ©es en quatre thĂšmes dans ce document, visent Ă  rĂ©soudre les problĂšmes liĂ©s aux contextes de l'usage (l'entreprise et son environnement) des systĂšmes d’information. Le point discriminant de ma recherche est l'intĂ©rĂȘt que je porte Ă  la capacitĂ© de reprĂ©sentation :(i) de l'Ă©volutivitĂ© et de la flexibilitĂ© des processus d'entreprise en particulier de ceux supportĂ©s par un systĂšme logiciel, d’un point de vue microscopique (modĂšle d’un processus) et macroscopique (reprĂ©sentation et configuration d’un rĂ©seau de processus) : thĂšme 2(ii) du systĂšme d’entreprise dans toutes ses dimensions (stratĂ©gie, organisation des processus, systĂšme d’information et changement) : thĂšme 3Pour composer avec ces motivations, il fallait :(iii) s’intĂ©resser Ă  la nature mĂȘme du travail coopĂ©ratif et Ă  l’intentionnalitĂ© des acteurs agissant afin d’identifier et/ou proposer des formalismes appropriĂ©s pour les dĂ©crire et les comprendre : thĂšme 1(iv) se questionner aussi sur les processus de management dont le rĂŽle est de surveiller, mesurer, piloter l’entreprise afin de leur apporter le soutien qu’ils mĂ©ritent du systĂšme d’information : thĂšme

    Conception et déploiement des SystÚmes de Production Reconfigurables et Agiles (SPRA)

    Get PDF
    Industry is, today as it has always been, a cornerstone of the economy for any developed country. Having a strong manufacturing base is very important because it impels and stimulates all the other sectors of the economy. It provides a wide variety of job, which bring higher standards of living to many sectors of society, and builds a strong middle class. Increasing global competition, rapid changes in the marketplace and the need to create stable companies with profitable plants require the implementation of a global approach, taking into account technical, economic, logistic and societal aspects in the design of an innovative manufacturing system. The aim of this dissertation is to contribute to the development of an innovative concept of Reconfigurable and Agile Manufacturing Systems (RAMS) to adapt quickly and effectively to the requirements imposed by markets, customers, technology processes, the environment and society, to ensure that the enterprise is dynamic, competitive and profitable. In this thesis work, the characterization and proposal of a generic model for this new type of manufacturing system have been described using the language of complex systems modeling (SysML: Systems Modeling Language). We have developed a reconfiguration process that represents the approach to follow in the design and implementation of a new configuration. In addition, the operational control of a RAMS has been introduced. Finally, some works developed in this thesis have been partially deployed on an industrial demonstrator within the AIP-PRIMECA Auvergne organisation.L'industrie est aujourd'hui, comme elle a toujours Ă©tĂ©, une pierre angulaire de l'Ă©conomie pour chaque pays dĂ©veloppĂ©. Avoir une base solide en entreprises industrielles est trĂšs important parce qu’elles poussent et stimulent tous les autres secteurs de l'Ă©conomie, et offrent Ă©galement une grande variĂ©tĂ© d'emplois qui apporte des bonnes conditions de vie dans de nombreux secteurs de la sociĂ©tĂ©. L’augmentation de la concurrence mondiale, l’évolution rapide du marchĂ©, la nĂ©cessitĂ© de crĂ©er des entreprises stables avec des usines rentables obligent la mise en oeuvre d’une dĂ©marche globale prenant en compte Ă  la fois les aspects techniques, Ă©conomiques, logistiques et sociĂ©taux lors de la conception d’un systĂšme de production innovant. L’objectif de cette thĂšse est de contribuer au dĂ©veloppement d’un concept innovant de SystĂšmes de Production Reconfigurables et Agiles (SPRA) permettant de s'adapter rapidement et efficacement aux exigences imposĂ©es du marchĂ©, des clients, de la technologie des procĂ©dĂ©s, de l’environnement et de la sociĂ©tĂ© afin que l’entreprise soit dynamique, compĂ©titive et rentable. Dans ces travaux de thĂšse, la proposition d'un modĂšle gĂ©nĂ©rique et la caractĂ©risation de ce nouveau type de systĂšme de production ont Ă©tĂ© dĂ©crits en utilisant le langage de modĂ©lisation des systĂšmes complexes (SysML : Systems Modeling Language). Ensuite, nous avons dĂ©veloppĂ© un processus de reconfiguration qui reprĂ©sente une dĂ©marche Ă  suivre pour concevoir et implanter une nouvelle configuration. De plus, un pilotage opĂ©rationnel adaptĂ© au SPRA a Ă©tĂ© introduit. Enfin, quelques travaux dĂ©veloppĂ©s au cours de cette thĂšse ont Ă©tĂ© partiellement dĂ©ployĂ©s sur un dĂ©monstrateur industriel au sein de la plate-forme AIP-PRIMECA Auvergne

    E-CARe (une méthode d'ingénierie des systÚmes d'information ubiquitaires)

    Get PDF
    L'apparition des SystĂšmes d'Information ubiquitaires ou pervasifs est issue de l'Ă©mergence de nouvelles technologies fournissant au systĂšme une vision de son environnement, de l'environnement de ses utilisateurs ainsi que de leurs profils. GrĂące Ă  ces donnĂ©es formant le contexte de l'application, il est possible de fournir des services personnalisĂ©s, pertinents et ciblĂ©s. Mais, le problĂšme qui se pose Ă  ce niveau concerne le degrĂ© d'adaptation, de prise de dĂ©cision Ă  la place de l'utilisateur et de l'identification des donnĂ©es contextuelles nĂ©cessaires et suffisantes pour ces services. Ceci est dĂ» Ă  un dĂ©sĂ©quilibre entre les avancĂ©es des technologies et de leurs applications (qui reçoivent un grand intĂ©rĂȘt de la part de la recherche et de l'industrie) et les mĂ©thodes et dĂ©marches de dĂ©veloppement et d'ingĂ©nierie spĂ©cifiques aux systĂšmes ubiquitaires. Notre objectif dans ce travail de thĂšse est de proposer une mĂ©thode d'ingĂ©nierie des SI ubiquitaires en considĂ©rant les diffĂ©rentes exigences reliĂ©es Ă  la nature mobile et grande Ă©chelle de ces systĂšmes. Cette mĂ©thode est basĂ©e sur une dĂ©marche de dĂ©veloppement qui fait usage d'un ensemble de mĂ©tamodĂšles et de langages gĂ©nĂ©riques favorisant la spĂ©cification complĂšte de ces systĂšmes. Cette dĂ©marche sĂ©pare les spĂ©cifications fonctionnelles, techniques et ubiquitaires. Les spĂ©cifications ubiquitaires permettent de dĂ©finir des modĂšles structurels et Ă©vĂ©nementiels du contexte respectant les exigences des utilisateurs et les contraintes de sĂ©curitĂ© et supportant les fonctionnalitĂ©s d'adaptation et de sensibilitĂ© au contexte. Cette approche orientĂ©e Ă©vĂšnements est consolidĂ©e par l'adoption d'une architecture de traitement des Ă©vĂšnements. Notre dĂ©marche E-CARe est une intĂ©gration des spĂ©cifications ubiquitaires dans une dĂ©marche classique de conception des SI pour garantir la couverture des spĂ©cifications fonctionnelles et techniques. Les applications d'assistance reprĂ©sentent un cas d'Ă©tude idĂ©al pour cette dĂ©marche qui s'intĂ©resse au domaine des transports, fortement dĂ©pendant de l'environnement et des Ă©vĂšnements ambiants.Ubiquitous Information Systems appeared as a consequence to emerging and evolving communication and mobile technologies providing the system with information on its environment, the environment of its users and their profiles. These data constitute the application context and are used to provide personalized, targeted and relevant services. However, ubiquitous services face some difficulties and challenges concerning specially needed contextual data, adaptation degree and computerized decision making. This is due to the gap between advanced ubiquitous services and their applications, and methods and processes for developing and engineering ubiquitous systems. Our goal in this thesis is to propose an engineering method for ubiquitous Information Systems considering different requirements resulting from the mobile and high scalable nature of these systems. The proposed method is based on a development process and a set of generic metamodels and languages facilitating a complete system specification and implementation. The proposed process separates functional, technical and ubiquitous specifications. Ubiquitous specifications enable the structural and event based context models definition while considering user requirements and security requirements. Adaptation and context awareness functionalities are supported by structural and dynamic context models. The proposed event oriented approach is enhanced by the adoption of an event processing architecture. Ubiquitous specifications are integrated into a classical information systems engineering process to constitute the E-CARe process including functional and technical specifications. Our propositions are used to design a user assistance application in the transport domain, highly dependent on the ambient environment and events.SAVOIE-SCD - Bib.Ă©lectronique (730659901) / SudocGRENOBLE1/INP-Bib.Ă©lectronique (384210012) / SudocGRENOBLE2/3-Bib.Ă©lectronique (384219901) / SudocSudocFranceF

    ModÚle de données pour la production cartographique sur le Web : mise en oeuvre des représentations multiples en GML

    Get PDF
    La diffusion des informations spatiales sur support cartographique constitue un dĂ©fi lorsque le contexte d'utilisation des cartes est l'Internet et que les services cartographiques sont offerts pour tout type de terminal (fixe ou mobile, de type Desktop, ordinateur portable, PDA ou tĂ©lĂ©phone cellulaire). Une des techniques utilisĂ©es pour attaquer ce dĂ©fi est le stockage des donnĂ©es avec reprĂ©sentations multiples et le filtrage parmi ces reprĂ©sentations lors de la crĂ©ation d'une carte Ă  la volĂ©e. L'Ă©mergence d'un nouveau standard pour la modĂ©lisation, le transport et le stockage de l'information gĂ©ographique, le GML, a ouvert de nouvelles pistes de recherche pour trouver un modĂšle de donnĂ©es mieux adaptĂ© au stockage des reprĂ©sentations multiples des objets gĂ©ographiques et l'utilisation de ces donnĂ©es dans un contexte Web. Le dĂ©veloppement d'un tel modĂšle de donnĂ©es, ainsi que son implantation ont fait l'objet de cette recherche. Ainsi, nous proposons la mise en Ėuvre des reprĂ©sentations multiples dans un modĂšle de donnĂ©es en GML

    Modélisation générique d'un retour d'expérience cognitif. Application à la prévention des risques

    Get PDF
    Nous avons défini dans cette thÚse une architecture logicielle générique permettant de réaliser des applications de retour d'expérience cognitif. Ces derniers intÚgrent une formalisation de l'analyse experte et sont une alternative aux SystÚmes à Bases de Connaissance. Les applications sont opérationnalisées à partir de la définition du modÚle de l'expérience qui est basé sur une structure objet simple couplée avec le modÚle des croyances transférables pour prendre en compte les intertitudes. Nous avons développé des algorithmes génériques de recherche adaptés à la formalisation retenue de l'entité expérience ainsi qu'un alogorithme d'extraction d'un indicateur du risque. Ces algorithmes sont basés sur une proposition de similarité ensembliste particuliÚre. Le modÚle générique est basé sur un modÚle adaptatif (Adaptive Object Model). Nous avons appliqué une partie des résultats de la thÚse dans le cadre d'un projet Européen INTERREG SUP (Sécurité Urgence Pyrénées)
    corecore