Dissertations / Theses on the topic 'Ingénierie des systèmes – Ingénierie dirigée par les modèles'
To see the other types of publications on this topic, follow the link: Ingénierie des systèmes – Ingénierie dirigée par les modèles.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Ingénierie des systèmes – Ingénierie dirigée par les modèles.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Verries, Jean. "Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture : application au systèmes portes passagers." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/805/.
Full textAbstract:
Les travaux de cette thèse se situent à l'intersection des domaines de l'ingénierie système et de l'ingénierie dirigée par les modèles. Un ensemble de processus d'ingénierie des exigences et de conception architecturale système a été proposé. Sur la base du standard MDA, des méthodes de conception et de validation ont été définies et mise en œuvre autour d'un modèle d'information. Celui-ci a été réalisé comme un profil du langage SysML, et permet la vérification formelle de règles et de propriétés systèmes au moyen de contraintes OCL. Afin de compléter la méthodologie sur le plan de la validation système, des modèles en langage VHDL-AMS ont été intégrés à la méthodologie. Cette approche nous a amené à étudier un certains nombre de transformations de modèles, pour lesquelles nous avons choisi de travailler au niveau des métamodèlesThis thesis lies at the crossroads of systems engineering and model-driven engineering. A set of requirements engineering and architectural design processes have been defined. We adapted MDA approach concepts to derive design and validation methods and define an information model. This information model has been implemented as a SysML profile, and allow formal verification of methodological rules and system properties. VHDL-AMS models have been used as a complementary mean for system validation purpose. A metamodel-based transformation between SysML model and VHDL-AMS has been defined and implemented
2
Miralles, André. "Ingénierie des modèles pour les applications environnementales." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2006. http://tel.archives-ouvertes.fr/tel-00279669.
Full textAbstract:
À la conjonction de l'Information Géographique et de l'Informatique, la recherche menée relève du domaine Géomatique. Elle traite de l'apport de l'ingénierie des modèles à la conception et au développement de Systèmes d'Information Géographique (SIG). Le domaine d'application géomatique, une capitalisation des connaissances déficiente au cours du processus de développement et une qualité des connaissances capturées en séance d'analyse insuffisante ont conduit à se fixer comme objectif de réaliser un outil d'aide à la conception de Systèmes d'Information Géographique adapté à un processus de développement permettant le prototypage rapide en séance d'analyse et assurant la capitalisation des connaissances. La dichotomie Information Géographique / Informatique a nécessité de mobiliser des connaissances de ces deux domaines et structure le contenu de la recherche. La première contribution porte sur la modélisation des SIG. Suite à un balayage rapide de la bibliographie sur les méthodes et formalismes de conception de SIG existants, le besoin de comparer les propriétés spatiales et temporelles mise en ½uvre par les méthodes et les formalismes a conduit à entreprendre une étude terminologique s'appuyant sur la théorie des ensembles. Cette étude a donné lieu à une taxinomie générale de la terminologie utilisée. La proximité conceptuelle entre cette taxinomie et les diagrammes de classes UML a permis de définir une méthode de dérivation de cette taxinomie pour obtenir un métamodèle SIG et un Patron de Conception SIG. Ce dernier sera généré automatiquement par les transformations définies en ingénierie des modèles. L'étude terminologique a aussi permis d'identifier les relations entre les concepts thématiques, les propriétés spatiales et temporelles, etc. Ces relations ont contribué à définir les transformations de modèles de la seconde contribution. La seconde contribution relève de l'ingénierie des modèles. L'objectif relatif au processus de développement permettant le prototypage rapide en séance d'analyse a conduit à définir la méthode Continuous Integration Unified Process qui superpose un cycle de prototypage rapide en phase d'analyse de la méthode Unified Process. L'objectif de capitalisation des connaissances a nécessité de concevoir une généralisation de l'approche MDA appelée Software Development Process Approach (SDPA) fondée sur le constat que la capitalisation des connaissances est une problématique qui se pose au cours de tout le processus de développement. Un artefact multimodèle, appelé Software Development Process Model (SDPM), a été conçu pour résoudre ce problème. Il associe un sous-modèle à chacune des phases du cycle de développement. Une transformation de diffusion fondée sur le clonage des concepts permet de transférer, de sous-modèle en sous-modèle, les concepts du sous-modèle d'analyse jusqu'au(x) sous-modèle(s) d'implémentation. Une transformation de rétrodiffusion permet le transfert inverse. La cohérence du SDPM est assurée par une architecture de liens de traçabilité qui relie tout concept à son clone et par des prétraitements et/ou post-traitements aux transformations de diffusion et de rétrodiffusion. Quatre transformations de nature géomatique permettent d'une part, la saisie des propriétés spatiales et/ou temporelles des entités référencées sous forme d'annotations et, d'autre part, la conversion de ces annotations en éléments de modélisation UML exploitables par les générateurs de code de l'atelier de génie logiciel. Enfin, les trois transformations effectuées sur le modèle d'implémentation SQL adaptent le modèle diffusé au générateur de code de l'atelier de génie logiciel utilisé. La méthode Continuous Integration Unified Process et la démarche Software Development Process Approach ont été instrumentées au sein de l'atelier de génie logiciel
3
Le, Tallec Jean-François. "Extraction de modèles pour la conception de systèmes sur puce." Phd thesis, Université de Nice Sophia-Antipolis, 2012. http://tel.archives-ouvertes.fr/tel-00767040.
Full textAbstract:
La conception des systèmes sur puce s'appuie souvent sur SystemC/C++ qui permet des descriptions architecturales et comportementales à différents niveaux d'abstraction. D'autres approches se tournent vers l'automatisation de l'assemblage de plates-formes dites virtuelles (format IP-Xact). L'utilisation des techniques de l'ingénierie des modèles est une voie plus récente avec des profils UML tels que MARTE. Dans cette thèse, nous étudions les possibilités de modélisation de ces différentes approches et les passerelles disponibles entre elles. Motivés par la disponibilité de modèles SystemC et opar les facilités offertes par MARTE, nous traitons de l'export des modèles SystemC. Au-delà de la simple conversion entre formats, nous décrivons la mise en œuvre d'une passerelle entre l'implémentation SystemC d'un design et sa version modèle dans le format IP-Xact. La représentation IP-Xact peut ensuite être de nouveau transformée en modèles MARTE par des outils déjà existants. Nous présentons les travaux connexes avant d'exposer notre vision et sa réalisation au travers de l'outil SCiPX (SystemC to IP-Xact). Dans un second temps, nous présentons plus en détail les possibilités permises par le profil UML-MARTE, son modèle de temps et le langage de spécifications de contraintes temporelles CCSL. Nous abordons les problèmes liés à la modélisation de protocoles à différents niveaux d'abstraction et plus spécialement ceux posés par le raffinement entre les niveaux TLM et RTL. Cette étude met en évidence des insuffisances de CCSL concernant la spécification des priorités. Nous proposons un enrichissement de CCSL pour lui permettre de manipuler ce concept de priorité.
4
Azaiez, Selma. "Approche dirigée par les modèles pour le développement de systèmes multi-agents." Phd thesis, Chambéry, 2007. http://tel.archives-ouvertes.fr/tel-00519195.
Full textAbstract:
Les systèmes multi-agents s'attaquent aux nombreuses problématiques posées actuellement dans le monde informatique telles que la distribution, l'évolution, l'adaptabilité et l'interopérabilité des systèmes. Les solutions proposées par ces systèmes sont prometteuses et permettent d'obtenir des systèmes flexibles et évolutifs. Cependant, leur mise en oeuvre reste difficile. Ceci est dû au manque de techniques d'ingénierie adaptées à ce genre de système et qui permettent un développement fiable et cohérent. Bien qu'il existe plusieurs propositions intéressantes au niveau des méthodologies, des langages de spécification et des plates-formes d'implémentation orientés agent, celles-ci manquent de cohésion et font ressortir plusieurs différences aussi bien au niveau de la sémantique des concepts utilisés mais aussi au niveau des démarches de développement. Notre but durant cette thèse a été de proposer une approche flexible et cohérente supportant le développement des systèmes multiagents. Cette approche que nous baptisons ArchMDE se base sur une combinaison de l'approche centrée architecture et de l'approche dirigée par les modèles. L'approche centrée architecture nous permet de raisonner sur les éléments qui structurent le système multi-agents ainsi que leurs interactions. Elle permet d'identifier les patrons architecturaux nécessaires au développement des systèmes multi-agents en prenant en compte les différentes vues du système (vue organisationnelle, vue environnementale, etc.). L'approche orientée modèles nous permet d'exprimer de façon explicite la manière de combiner ces patrons architecturaux afin d'avoir une représentation globale du système multi-agents. D'autre part, IDM permet de couvrir les différentes phases du cycle de développement en adoptant une démarche basée sur la transformation de modèles. Cette démarche permet de garantir la cohérence du système durant les différentes phases du cycle de vie. Par ailleurs, celle-ci offre l'avantage de préserver le savoir-faire des développeurs en exprimant explicitement les opérations d'intégration (entre les patrons architecturaux) et de mapping (entre les modèles de conception et les modèles d'implémentation). Pour implanter ArchMDE, nous utilisons le cadre de développement ArchWare qui est basé sur le pi-calcul typé, polyadique et d'ordre supérieur, ce qui permet de supporter les aspects communicatifs et évolutifs des systèmes multi-agents. Le choix d'un cadre formel vise à réduire l'ambiguïté liée aux concepts multi-agents mais aussi à garantir une conception sûre. En effet, l'utilisation d'un langage formel donne la possibilité d'exprimer explicitement différentes propriétés structurelles et comportementales. Le cadre de développement ArchWare offre divers langages accompagnés de différents outils qui nous seront utiles pour mettre en oeuvre notre approche.
5
Mekerke, François. "Structuration de modèles orientés métiers pour les systèmes embarqués : composants de modélisation et métamodélisation exécutable comme support des méthodologies de développement des systèmes embarqués." Télécom Bretagne, 2008. http://www.theses.fr/2008TELB0073.
Full textAbstract:
Depuis la fin des années 90, avec l'avènement du langage UML, la modélisation des systèmes à logiciel prépondérant s'est développé de manière conséquente. Les capacités mises en avant par cette mouvance sont en effet très intéressantes, avec une formalisation de la sémantique via les métamodèles et une concision de la syntaxe via une représentation graphique. Par ailleurs, la proximité des concepts objet manipulés dans UML avec ceux implantés dans des langages de programmation comme Java ou C# fait de ce langage un excellent facilitateur syntaxique, et permet la génération automatique de code à partir de la représentation graphique d'une structure de données et des interactions auxquelles elles donnent lieu. Au-delà, les techniques de transformation de modèles permettent la manipulation des modèles, pour les passer d'un formalisme à un autre ou les fusionner. Ceci s'insère dans la démarche MDA de construction de modèles d'implantation par fusion de modèles aux préoccupations différentes, orientés business d'un côté, orientés plateforme technologique de l'autre. A chaque mutation technologique, seuls les modèles orientés plateforme sont à reprendre, tandis que les modèles business restent inchangés. Une transformation peut ensuite opérer le basculement du modèle business d'une technologie vers l'autre. Dans le cadre de l'ingénierie système, nous faisons le constat que la complexité inhérente au développement des grands systèmes induit une problématique autre. Le grand nombre d'intervenants, qui gère chacun des problèmes techniques spécifiques, entraîne l'utilisation de nombreux formalismes, dont il faut ensuite pouvoir maîtriser les interactions. Plus que l'établissement de formalismes adaptés, ou de transformations adaptées, c'est l'organisation des relations entre formalismes qui est ici étudiée. Nous montrons que l'espace de modélisation bénéficie d'être découpé en "composants de modélisation" autour des besoins métier. Certains formalismes, liés aux domaines métier ou aux capacités d'analyse, sont privatisés et donc rendus invisibles, tandis que d'autres sont mis en avant aux interfaces, pour permettre aux composants d'interagir. En combinant ce principe de découpage avec les capacités actuels de modélisation, il nous devient possible de structurer et hiérarchiser les échanges entre acteurs du développement. Dans ce cadre, les métamodèles eux-mêmes se voient adjoindre des capacités d'exécutabilité, afin de supporter les aspects méthodologiques qui leur sont propres, et de devenir ainsi des entités organisationnelles de premier planThe rise of the UML as the de-facto standard language for software-intensive systems has led to interesting evolutions in the whole software industry. Indeed, modeling technologies come with formalized semantics, through metamodels, and associated graphical syntax, allowing for simplified yet rigorous representations. Pragmatically, the concepts manipulated in UML are close to classical object concepts implemented in Java or C# : it is widely used as a syntactical easer for these languages, coupled wit automatic generation tools. Furthermore, model transformation techniques aims at manipulating models, traducing them from a language to an other, or merging them. In the MDA initiative, separate models, corresponding to business on the one side, and implementation platform on the other side, are merged in order to get the global system model. This facilitates the management of implementation technology evolutions, since the business model is clearly identified, and just has to be mapped against the new platform's model. In the system engineering domain, we state that the problematics is different, because the main problem here is not to be able to master a particular technique, but to manage the mass of information exchanged around the system. The vast number of stakeholders, each using its own technique to evaluate its own data, induces a large number of interactions, which have to be managed, i. E. Validated against key characteristics of the system. We show how a structure made of modeling components, allocated to development roles, can help us organize the development. A number of formalisms, those used for specific works, are transferred inside components, and are therefore hidden from the outside, while others are placed on interfaces, in order to specify exchange formats. By combining this organization with present executable metamodeling capabilities, we add process-based services inside components, in order to make first-order, methodology-able entities out of them
6
Lajmi, Amine. "Usine logicielle de composants de simulation de procédés CAPE-OPEN." Paris 6, 2010. http://www.theses.fr/2010PA066062.
Full textAbstract:
L’IFP est depuis une dizaine d'années acteur principal du développement du standard CAPE-OPEN pour l'interopérabilité de composants de simulation de procédés. Ce standard définit les interfaces que doivent implémenter les composants de simulation offerts par des fournisseurs logiciels différents pour pouvoir communiquer entre eux. La plupart des environnements commerciaux de simulation sont compatibles CAPE-OPEN, le plus souvent dans sa déclinaison Microsoft COM, parfois dans sa déclinaison CORBA, et prochainement sous une déclinaison. NET. Toutefois, même si le standard a contribué à la résolution des problèmes d’interopérabilité, l’architecture à base de composants qu’il impose a introduit une complexité supplémentaire, difficile à maîtriser notamment par les experts métier. En effet, le développement de nouveaux composants, et la maintenance de composants existants, nécessitent des connaissances non fonctionnelles liées au standard lui-même, et à sa déclinaison intergicielle. D’une part, ces composants contenant des connaissances d’origines diverses, leur développement est complexe. Ceci se traduit en pratique par la nécessité de faire collaborer plusieurs experts lors du développement et la maintenance des composants. D’autre part, les connaissances étant fortement couplées dans le code, ce dernier est difficile à comprendre, et donc difficile à maintenir. Ainsi, l’objectif de la thèse est donc de disposer d'un système d'ingénierie logicielle capable de faciliter l’adaptation d’un composant vers n'importe quelle implémentation, en particulier COM ou. NET. Plus précisément, l’objectif est d’arriver à minimiser cette complexité, en réalisant l’objectif de l’Ingénierie Dirigée par les Modèles (IDM), à savoir l’indépendance par rapport à la plateforme, dans un contexte particulier, de façon à permettre la génération de composants vers différents intergiciels. Afin d'atteindre cet objectif, nous proposons de nous appuyer sur les techniques de méta modélisation et de transformation de modèles. L’approche proposée consiste à séparer les trois aspects nécessaires au développement de ces composants : l’aspect métier, l’aspect CAPE-OPEN, et l’aspect intergiciel. Ces aspects sont modélisés séparément avec des langages visuels, conçus spécifiquement pour chaque aspect, et sont combinés automatiquement grâce à des mécanismes de transformation de modèles. Dans un premier temps, un état de l’art des principes et des pratiques de l’IDM est effectué. A travers cette étude, nous mettrons l’accent sur trois questions fondamentales, à savoir comment représenter les connaissances, comment transformer les connaissances, et enfin comment réunir les pratiques dans un canevas commun supportant un processus de développement agile. A la suite de cette étude, nous proposons une approche dirigée par les modèles basée sur la modélisation dédiée des aspects, et la transformation de modèles à base de graphes. Cette approche a été implémentée pour générer la structure interne du composant, ainsi qu’une partie de sa sémantique. Enfin, nous validons l’approche par rapport à un ensemble de critères, certains qualitatifs et d’autres formels, ainsi que par rapport à un ensemble de changements anticipés sur les aspects considérés.
7
Verries, Jean. "Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture. Application au système portes passager." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00468915.
Full textAbstract:
Les travaux de cette thèse se situent à l'intersection des domaines de l'ingénierie système et de l'ingénierie dirigée par les modèles. Un ensemble de processus d'ingénierie des exigences et de conception architecturale système a été proposé. Sur la base du standard MDA, des méthodes de conception et de validation ont été définies et mise en Suvre autour d'un modèle d'information. Celui-ci a été réalisé comme un profil du langage SysML, et permet la vérification formelle de règles et de propriétés systèmes au moyen de contraintes OCL. Afin de compléter la méthodologie sur le plan de la validation système, des modèles en langage VHDL-AMS ont été intégrés à la méthodologie. Cette approche nous a amené à étudier un certains nombre de transformations de modèles, pour lesquelles nous avons choisi de travailler au niveau des métamodèles.
8
Yildiz, Onur. "Atelier de conception pour l'évolution des systèmes PLM : une approche d'ingénierie dirigée par les modèles." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAI058/document.
Full textAbstract:
Le déploiement, la maintenance et l'évolution des systèmes d'informations techniques qui accompagnent les processus de création de produits (PLM) constituent des tâches complexes et parfois onéreuses pour des structures de type PME ou micro entreprise innovantes. Si l'appui sur un progiciel développé et maintenu par un éditeur permet aujourd'hui des solutions pérennes, la question de l'évolution conjointe des processus métiers de l'entreprise et du progiciel suite aux évolutions techniques de l'ingénierie numérique pose aux chercheurs la problématique des méthodologies à mettre en œuvre pour faciliter ce double axe d'évolution. Dans le cadre de ses démarches d'innovation, l'éditeur progiciel souhaite rendre accessibles à ses clients PME les capacités fonctionnelles de sa solution PLM en développant un atelier de modélisation pour la création de modèles métier au sein des systèmes PLM et la gestion de leur cohérence au cours du temps. Ce projet, réalisé dans le cadre d'une thèse CIFRE avec la société AUDROS, a pour but de fournir les concepts et les outils qui simplifient la synchronisation des différents outils métiers au sein du système d'information dans le but de gérer l'entreprise de façon la plus étendue et la plus homogène possibleThe specification, the deployment, the maintenance and the evolution of technical information systems which support the processes of products developement (PLM) constitute complex tasks for organisations like SME or innovative companies. If today the support on a software package developed and maintained by an editor allows long-lasting solutions, researchers face the issue of the convergent evolutions of the business processes and the software package. As the technical evolutions embedded in digital engineering, this thesis proposes methodologies to be implemented to facilitate this double axis of evolution. Within his innovation framework, the software editor wishes to provide his customers with PLM systems evolution tools.This project, granted as an industrial thesis with AUDROS company, aims at supplying the concepts and the tools which simplify the synchronization of the various business tools within the information system. The company can thus be dynamically supported in a context of extended enterprise
9
Baïna, Salah. "Interopérabilité dirigée par les modèles : une Approche Orientée Produit pour l'interopérabilité des systèmes d'entreprise." Nancy 1, 2006. https://tel.archives-ouvertes.fr/tel-00123271.
Full textAbstract:
L’intégration des systèmes consiste à assembler les différentes parties d’un système tout en assurant la compatibilité de l’assemblage ainsi que le bon fonctionnement du système complet. Dans ce cadre, l’interopérabilité des systèmes est un moyen pour obtenir l’intégration fondée sur un couplage faible des parties du système, basé sur la capacité des parties à des parties à communiquer entre elles pour accéder et faire appel à leur fonctionnalités. Plus récemment, une nouvelle approche d’ingénierie logicielle a été élaborée «l’ingénierie dirigée par les modèles». Dans cette nouvelle approche les modèles occupent une place de premier plan parmi les artefacts d’ingénierie des systèmes. La thèse s’inscrit dans l’intersection de ces deux domaines de recherche. Dans ce contexte, les travaux de la thèse présentent une approche pour l’interopérabilité entre systèmes d’entreprise dite « l’interopérabilité orientée produit »; basée sur les échanges d’informations relatives au produit bien et service entre les différents modèles et représentation de ce produit dans chacun des systèmes. Nous proposons ainsi un meta-modèle dont les instances jouent le rôle de modèles pivot pour la communication entre différentes applications d'entreprise et ceci dans le but d’assurer l'interopérabilité des parties de systèmes concernant le produit. Pour la formalisation de ce meta-modèle, notre approche s'est inspirée sur l’ontologie BWW (Bunge - Wand - Weber) permettant la construction de représentations génériques et complètes des objets du monde réel tels que les perçoivent les systèmes d’informationSystems integration aims at assembling several systems in order to build a unique system working and reacting as a whole. In this context, systems interoperability can be seen as a means to obtain integration based on a light coupling of sub-parts of the system. Recently, a new approach of systems development based on modelling techniques has been founded. This approach is called “Model driven engineering”, in this approach models play a key role in systems engineering and development. This Phd thesis presents a product oriented approach for interoperability to ensure data and schema consistency between all product representations in a production. The aim of product oriented interoperability is, on one hand, to define mechanisms to maintain consistency between this representation and the reality of the product, and on the other hand to make sure that all applications share the image (representation) of the same product. Our result is a model driven approach based on a generic meta-model that defines all concepts used for representing the product. To enable data exchange between different applications, a formalisation of model driven mappings for semantic interoperability has also been proposed. To achieve our goal we focus on the formalisation of a unified product representation inside enterprise information systems. This unified representation has been inspired from the well know BWW ontology (Bunge - Wand - Weber) that is widely used for real world objects representation for information systems design. In this thesis, a reference meta-model has been defined, to enable structured data exchange between different applications
10
Boulanger, Frédéric. "Modèles, systèmes, hétérogénéité." Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00657869.
Full textAbstract:
Avec la complexité croissante des systèmes à analyser ou à concevoir, les modèles sont passés du statut de simple outil à celui d'objet complexe, considéré lui-même comme un système à analyser, concevoir et valider. Les travaux présentés s'inscrivent dans le cadre de l'ingénierie dirigée par les modèles, et ont pour objectif de décrire précisément le comportement des systèmes, tout en prenant en compte l'hétérogénéité des modèles utilisés. Cette hétérogénéité est due à la diversité des métiers et des méthodes de modélisation qui interviennent dans la conception de systèmes complexes. Une approche est proposée pour utiliser conjointement plusieurs méthodes de modélisation dans un même modèle.
11
Rottenberg, Sam. "Modèles, méthodes et outils pour les systèmes répartis multiéchelles." Thesis, Evry, Institut national des télécommunications, 2015. http://www.theses.fr/2015TELE0003/document.
Full textAbstract:
Les systèmes informatiques sont des systèmes de plus en plus complexes, répartis sur plusieurs niveaux d’infrastructures des Technologies de l’Information et de la Communication (TIC). Ces systèmes sont parfois appelés des systèmes répartis multiéchelles. Le terme « multiéchelle » peut qualifier des systèmes répartis extrêmement variés suivant les points de vue dans lesquels ils sont caractérisés, comme la dispersion géographique des entités, la nature des équipements qui les hébergent, les réseaux sur lesquels elles sont déployées, ou encore l’organisation des utilisateurs. Pour une entité d’un système multiéchelle, les technologies de communication, les propriétés non fonctionnelles (en termes de persistance ou de sécurité), ou les architectures à favoriser, varient suivant la caractérisation multiéchelle pertinente définie ainsi que l’échelle à laquelle est associée l’entité. De plus, des architectures ad hoc de tels systèmes complexes sont coûteuses et peu durables. Dans cette thèse, nous proposons un framework de caractérisation multiéchelle, appelé MuSCa. Ce framework inclut un processus de caractérisation fondé sur les concepts de points de vue, dimensions et échelles, permettant de mettre en avant, pour chaque système complexe étudié, ses caractéristiques multiéchelles. Ces concepts constituent le cœur d’un métamodèle dédié. Le framework que nous proposons permet aux concepteurs de systèmes répartis multiéchelles de partager une taxonomie pour qualifier chaque système. Le résultat d’une caractérisation est un modèle à partir duquel le framework produit des artefacts logiciels qui apportent, à l’exécution, la conscience des échelles aux entités du systèmeComputer systems are becoming more and more complex. Most of them are distributed over several levels of Information and Communication Technology (ICT) infrastructures. These systems are sometimes referred to as multiscale systems. The word “multiscale” may qualify extremely various distributed systems according to the viewpoints in which they are characterized, such as the geographic dispersion of the entities, the nature of the hosting devices, the networks they are deployed on, or the users’ organization. For one entity of a multiscale system, communication technologies, non-functional properties (in terms of persistence or security) or architectures to be favored may vary depending on the relevant multiscale characterization defined for the system and on the scale associated to the entity. Moreover, ad hoc architectures of such complex systems are costly and non-sustainable. In this doctoral thesis, we propose a multiscale characterization framework, called MuSCa. The framework includes a characterization process based on the concepts of viewpoints, dimensions and scales, which enables to put to the fore the multiscale characteristics of each studied system. These concepts constitute the core of a dedicated metamodel. The proposed framework allows multiscale distributed systems designers to share a taxonomy for qualifying each system. The result of a characterization is a model from which the framework produces software artifacts that provide scale-awareness to the system’s entities at runtime
12
Wouters, Laurent. "Multi-domain expert-user modeling infrastructure." Paris 6, 2013. http://www.theses.fr/2013PA066200.
Full textAbstract:
Ce travail a été réalisé dans un contexte industriel dans l’entreprise European Aeronautics Defense and Space Company (EADS). EADS recherche donc constamment de nouveaux moyens d’analyser la sécurité du système homme-machine dans sa globalité, c'est-à-dire l’avion, les pilotes et les procédures, comme un tout. Ces analyses de sécurité sont réalisées tout au long du cycle de conception, depuis la conception préliminaire à la conception détaillée et jusqu'à la phase de certification. EADS essaye de réaliser ces analyses beaucoup plus tôt dans le cycle de conception, lorsque seulement des modèles sont disponibles. Une question en suspend est alors comment assurer la collaboration entre les experts de plusieurs domaines (cockpit, procédures, psychologie cognitive) pour qu’ils puissent construite un artefact commun (un modèle) sur lequel ils pourraient s’appuyer pour réaliser les analyses de la sécurité du système homme-machine dans sa globalité. Cette thèse identifie et adresse trois questions. Premièrement, les langages de modélisation dédiés aux domaines doivent être sémantiquement alignés pour que l’artefact commun puisse être exprimé de manière cohérente. Deuxièmement, des notations visuelles spécifiques aux domaines doivent être produites pour le même artefact commun. Troisièmement, l’activité de modélisation des experts doit être supportée au mieux et pour cela les notations visuelles des langages de modélisation doivent être le plus proche possible des pratiques courantes dans les domaines respectifs. Cette thèse propose l’Infrastructure xOWL comme une solution intégrée à ces trois questionsThis work has been realized in an industrial context at the European Aeronautics Defense and Space Company (EADS). EADS is researching new ways to assess the safety of the overall human-machine system, i. E. , the aircraft, pilots and operating procedures as a whole. These safety assessments are conducted throughout the design cycle of the product, from the preliminary design to the detailed design and up to the certification phase. EADS is trying to perform these thorough safety assessments much earlier in the development cycle, when only models are available, thus, phasing-in a model-driven approach of the problem. An issue is then how to enable the collaboration of experts from multiple domains (cockpit, procedures, and cognitive psychology) for them to build a common model artifact that can be leveraged in the safety assessment of the overallhuman-machine system. This work considers that experts in each domain must be provided a domain-specific modeling environment, giving them access to a common model artifact, but through a domain-specific notation. This thesis identifies and considers three issues in this regard. First, the domain-specific modeling languages need to be semantically aligned so that the common model artifact can be consistently expressed. Second, multiple domain-specific visual notations need to be produced for the same underlying common model artifact. Third, domain experts modeling activities need to be supported at best and thus the provided domain-specific notations need to be as close as possible to the existing practices in the domains. This thesis then proposes the xOWL Infrastructure as an integrated solution to the three issues
13
Nehan, Habas Yves-Roger. "MeTSI : une méthode de transformation de services intentionnels." Paris 1, 2010. http://www.theses.fr/2010PA010017.
Full textAbstract:
La thèse a pour objectif de proposer une méthode de transformation des services intentionnels en applications exécutables construites à base de services logiciels interactifs. Un service intentionnel MIS (Méta-modèle de Services Intentionnels) se définit par rapport au but que les services logiciels correspondants permettront d’atteindre. MIS classe les services intentionnels en deux catégories: agrégat et atomique. Un service de type agrégat est utilisé lorsque le but est affiné par un ou plusieurs sous-buts de services intentionnels. Par opposition, le service intentionnel atomique est associé à un but qui n’est pas affinable en sous-buts mais qui est directement opérationnalisable par l’exécution d’un ou plusieurs éléments opérationnels. La méthode appelée MeTSI applique les principes de l’ingénierie dirigée par les modèles. Elle adopte une démarche transformationnelle, dans le sens où, à chaque étape, les descriptions de services sont des modèles instances de méta-modèles qui sont transformés et affinés. Elle permet d'aboutir à une solution logicielle exécutable sous la forme d'une application à base de services interactifs qui contient toutes les dimensions d'une application, à savoir, l'aspect interface d'interaction de l'utilisateur avec l'application, l'aspect métier réalisé par des services web et leur coopértaion dans une composition orchestrée de services. Elle opère par transformations successives de façon à séparer les sujets d'intérêt pour apporter de la flexibilité et permettre l'adaptation, en particulier, à différentes plates-formes d'implémentation. Elle réutilise des services web déjà réalisés lorsque c'est possible.
14
Mamoghli, Sarra. "Alignement des systèmes d’information à base de progiciel, vers une ingénierie dirigée par les modèles centrée identification des risques." Thesis, Strasbourg, 2013. http://www.theses.fr/2013STRAD003/document.
Full textAbstract:
Dans le contexte actuel de compétition exacerbée, les Systèmes d’Information des Petites et Moyennes Entreprises se basent de plus en plus sur des progiciels tels que les ERP - Enterprise Resource Planning. Compte tenu de l’aspect standard de ceux-ci, il est nécessaire de gérer l’alignement entre les besoins réels de l’entreprise et les fonctionnalités standards de l’ERP. Pour ce faire, nous le considérons sous l’angle des risques en définissant le Risque de Non-Alignement (RNA). Sur la base d’un état de l’art du management des risques dans les projets, nous proposons de le traiter selon deux stratégies complémentaires d’optimisation anticipatives : l’une agissant sur son effet et l’autre, sur son occurrence. Notre état de l’art des méthodes d’ingénierie dirigée par les modèles, moyen pour mettre en oeuvre la première stratégie, montre que les processus d’alignement permettant d’identifier le nonalignement, d’évaluer son effet et d’y pallier restent trop macroscopiques pour traiter réellement le RNA. Notre état de l’art sur le management des facteurs de risque, moyen pour mettre en oeuvre la seconde stratégie, met en avant des lacunes au niveau des outils permettant d’identifier et traiter les facteurs agissant sur le RNA. Pour répondre à notre problématique, nous proposons, d’abord, la méthode « Model Driven - ERP Alignment » permettant de (1) guider finement l’identification du non-alignement sur la base de la norme de modélisation d’entreprise ISO 19440 ; (2) d’évaluer son effet et (3) d’y associer les décisions adéquates. Elle prend également en compte le niveau de granularité des activités ainsi que leurs interdépendances. Nous proposons également l’approche « Risk-Factor Driven - ERP Alignment ». Elle consiste en une démarche d’identification et de traitement des facteurs de risque (FR) sur la base des outils suivants : variables des FR, matrice des liens résiduels entre FR, classification des FR en fonction du cycle de vie du projet ERP et matrice FR / pratiques de gestion. Ce travail étant co-financé par la Région Alsace et une PME de la Région Strasbourgeoise, nous avons adopté une démarche de recherche / action qui a, entre autres, permis d’appliquer et valider nos contributionsIn the current context of fierce competition, the Information Systems of SME are increasingly based on “off-theshelf” products like the ERP - Enterprise Resource Planning - systems. As this kind of system offers a generic solution, the alignment between the company’s real needs and the ERP standard functionalities must be ensured. Therefore, we propose to define the so called Misalignment Risk (MR). Our literature review on project risk management leads us to propose two complementary strategies to manage the MR allowing its optimization: the first one works on the effect of the MR and the second one, on its occurrence. Our analysis of the model driven engineering methods, allowing the implementation of the first strategy, shows that: the alignment processes proposed to identify the misalignment, to evaluate its effect and to mitigate it are too macroscopic. Concerning the means to implement the second strategy, we highlight the weaknesses of the tools proposed to support the identification and treatment of the risk factors influencing the MR. We thus propose, firstly the “Model Driven -ERP Alignment” method allowing (i) the identification of the alignment and misalignment situations in a detailedmanner and on the basis of the ISO 19440 norm, (ii) the evaluation of its effect and (iii) its association to adequate decisions. The granularity level and the interdependencies of the processes’ activities are also taken into account. Secondly we propose the “Risk-Factor Driven - ERP Alignment” approach. It consists in the proposition of a process allowing the identification and treatment of risk factors (RF) influencing the MR. to succeed in following tools are set up: RF variables, RF residual link matrix, RF life cycle classification and RF / management practices matrix. As this work is supported by both the Region Alsace and a SME located near Strasbourg, we follow an action / research approach. It allowed us to apply and validate our contributions
15
Mamoghli, Sarra. "Alignement des systèmes d'information à base de progiciel, vers une ingénierie dirigée par les modèles centrée identification des risques." Phd thesis, Université de Strasbourg, 2013. http://tel.archives-ouvertes.fr/tel-00814495.
Full textAbstract:
Dans le contexte actuel de compétition exacerbée, les Systèmes d'Information des Petites et Moyennes Entreprises se basent de plus en plus sur des progiciels tels que les ERP - Enterprise Resource Planning. Compte tenu de l'aspect standard de ceux-ci, il est nécessaire de gérer l'alignement entre les besoins réels de l'entreprise et les fonctionnalités standards de l'ERP. Pour ce faire, nous le considérons sous l'angle des risques en définissant le Risque de Non-Alignement (RNA). Sur la base d'un état de l'art du management des risques dans les projets, nous proposons de le traiter selon deux stratégies complémentaires d'optimisation anticipatives : l'une agissant sur son effet et l'autre, sur son occurrence. Notre état de l'art des méthodes d'ingénierie dirigée par les modèles, moyen pour mettre en oeuvre la première stratégie, montre que les processus d'alignement permettant d'identifier le nonalignement, d'évaluer son effet et d'y pallier restent trop macroscopiques pour traiter réellement le RNA. Notre état de l'art sur le management des facteurs de risque, moyen pour mettre en oeuvre la seconde stratégie, met en avant des lacunes au niveau des outils permettant d'identifier et traiter les facteurs agissant sur le RNA. Pour répondre à notre problématique, nous proposons, d'abord, la méthode " Model Driven - ERP Alignment " permettant de (1) guider finement l'identification du non-alignement sur la base de la norme de modélisation d'entreprise ISO 19440 ; (2) d'évaluer son effet et (3) d'y associer les décisions adéquates. Elle prend également en compte le niveau de granularité des activités ainsi que leurs interdépendances. Nous proposons également l'approche " Risk-Factor Driven - ERP Alignment ". Elle consiste en une démarche d'identification et de traitement des facteurs de risque (FR) sur la base des outils suivants : variables des FR, matrice des liens résiduels entre FR, classification des FR en fonction du cycle de vie du projet ERP et matrice FR / pratiques de gestion. Ce travail étant co-financé par la Région Alsace et une PME de la Région Strasbourgeoise, nous avons adopté une démarche de recherche / action qui a, entre autres, permis d'appliquer et valider nos contributions.
16
Kifouche, Abdenour. "Ingénierie dirigée par les modèles pour la conception et la mise en œuvre des réseaux de capteurs." Thesis, Paris Est, 2019. http://www.theses.fr/2019PESC2028/document.
Full textAbstract:
Le cycle de vie d'un réseau de capteurs implique plusieurs étapes, telles que le dimensionnement du réseau, le développement de logiciels embarqués, la réalisation de matériels, des analyses et des simulations, le déploiement physique, l'exploitation des données et la maintenance du réseau. Tout au long de ce cycle, plusieurs outils spécifiques sont utilisés. Il est donc nécessaire de décrire manuellement les caractéristiques du réseau de capteurs dans chacun de ces outils en utilisant leurs propres langages. Il en résulte des coûts de développement importants et éventuellement des incohérences entre les différentes descriptions. Pour répondre à cette problématique, nous proposons une méthodologie basée sur l'approche MDE (Model Driven Engineering). Elle vise à couvrir toutes les étapes du cycle de vie d'un réseau de capteurs. Tous les concepts et les caractéristiques d'un réseau de capteurs sont décrits à l'aide d'un métamodèle. A partir de ce référentiel, il est possible d'extraire, à chaque étape du cycle de vie, une ou plusieurs facettes. Chaque facette est présentée et éditée avec l'outil le plus adéquat en créant des passerelles vers des outils tiers. Afin de mettre en œuvre la méthodologie proposée, un Framework est développé pour offrir un environnement de description multi-facettes : architecture réseau, architecture matérielle, architecture logicielle, flux de données et environnement physique. Un exemple de passerelle entre le Framework et un simulateur existant (Omnet++) a été développé pour estimer les performances des réseaux de capteurs. Le Framework permet la génération automatique des scripts de simulation ainsi que des codes sources pour les nœuds du réseauThe life cycle of a sensor network involves several steps, including network sizing, embedded software development, hardware design, analysis and simulation, physical deployment, data exploitation, and network maintenance. Throughout this cycle, several specific tools are used. It is therefore necessary to manually describe the characteristics of the sensor network in each of these tools using their own languages. This results in significant development costs and potential inconsistencies between the different descriptions. To address this problem, we propose a methodology based on model driven engineering approach. It aims to cover all life cycle steps of a sensor network. All concepts and characteristics of a sensor network are described using a metamodel. From this referential, it is possible to extract, at each step of the life cycle, one or more facets. Each facet is presented and edited with the most appropriate tool by creating gateways to external tools.In order to implement the proposed methodology, a Framework is developed to provide a multi-facets environment: network architecture, hardware architecture, software architecture, data flow and physical environment. An example of a gateway between the Framework and an existing simulator (Omnet++) has been developed to estimate sensor network performances. The Framework allows automatic generation of simulation scripts as well as source codes for network nodes
17
Chapon, Damien. "Apport de l'ingénierie des modèles et des langages de modélisation équationnels orientés objets à l'interopérabilité des méthodologies de conception d'architecture physique de systèmes." Paris 11, 2010. http://www.theses.fr/2010PA112279.
Full textAbstract:
La conception d'un avion demande une conception collaborative des systèmes qui le composent. Or les méthodologies de conception d'architecture physique de systèmes au sein des différentes équipes sont très variées. Pour obtenir plus d'interopérabilité entre ces différentes méthodologies nous étudions deux axes. 1er axe : L'uniformisation des outils logiciels de simulation physique grâce aux langages de modélisation équationnels orientés objet. Ces langages non causaux, orientés objet, permettent une modélisation par connexions physiques de blocs dont le comportement dynamique est décrit par des systèmes algèbro-différentiels. Ils peuvent être utilisé par différents domaines, favorisant ainsi les échanges de modèles de simulation physique et la réalisation de simulations physiques pluridisciplinaires permettant d'optimiser et valider plus tôt les choix d'architectures multi-systèmes. 2ème axe : Le développement d'ateliers de conception interopérables et customisés pour différents domaines grâce à l'ingénierie dirigée par les modèles. Nous proposons ici un cadre méthodologique d'utilisation des concepts et technologies de l'IDM pour concevoir des ateliers de conception d'architecture physique, customisés pour des domaines particuliers mais interopérables. Cette interopérabilité est héritée d'une part du choix des technologies utilisées pour supporter l'approche et d'autre part des recommandations que nous proposons pour le développement et l'utilisation de ces ateliers. Ces deux pistes se réunissent dans la réalisation d'un atelier d'aide à la conception de commandes de vol électromécanique, intégrant un module d'analyse physique pluridisciplinaire basé sur ModelicaThe design of complex aircraft requires a collaborative design of its embodied systems. But the system physical architecture design methodologies used by the involved design teams or domains are heterogeneous. Ln order to obtain more interoperability between these varied design methodologies, we have studied two axes. 1st axis: The standardization of physical simulation software tools thanks to equation-based object-oriented languages and tools. Lndeed this class of acausal modelling languages allows a graphical modelling of complex physical systems by connecting blocks through physical connection. The behaviour of each block is described by a set of differential and algebraic equations. These modelling languages can therefore be used by different domains. They facilitate physical simulation models exchange for multi-system physical simulation in order to optimize sooner the multi-system global architecture. 2nd axis: Developing customized and interoperable design frameworks for different domains thanks to the model-driven engineering. We propose here a methodological guidance for the use of model-driven engineering concepts and technologies in order to develop customized and interoperable physical architecture design frameworks. The interoperability is inherited from the choices of technologies used to support the approach and from the guidance that we provide for the development of these frameworks. These two axes are joined in the last part with the development of a model-driven design framework that includes an analysis module based on Modelica
18
Blouin, Dominique. "Modeling languages for requirements engineering and quantitative analysis of embedded systems." Lorient, 2013. http://www.theses.fr/2013LORIS313.
Full textAbstract:
Model-based Systems Engineering (MBSE) is an approach to handle the increasing complexity of systems through the use of models that can be analyzed to detect errors as early as possible. A critical phase of systems engineering is Requirements Engineering (RE), which occurs at the very beginning of the development cycle and aims at stating precisely the problem that a system is intended to solve. Coupled with the requirements, a system design specification will state a solution to the problem formulated by the requirements. Many Architecture Description Languages (ADLs) have been proposed for the modeling of design specifications, and the analysis of system non-functional properties. However, some of these ADLs currently lack means to model the problem and analysis domains. To solve these problems, two new modeling languages are proposed that can be combined with any ADL to cover the missing domains. The Requirements Definition and Analysis Language (RDAL) supports the analysis and verification of requirements by the design; including RE best practices. The Quantitative Analysis Modeling Language (QAML) allows representing analysis models formally for their seamless integration with design models. Interpretation of QAML models provides automated evaluation of system non-functional properties ensuring their consistency with the evolving design. QAML is well suited to for the representation of complex component data sheets easing their integration in model-based designs. The validation of both languages is presented with a set of example AADL models, showing how the languages helped in discovering errors that could not easily be found from natural language specificationsL’ingénierie dirigée par les modèles est une approche visant à maitriser la complexité croissante des systèmes. Une phase critique de cette approche est l’ingénierie des exigences, qui vise à formuler correctement le problème qui doit être résolu par le système à développer. Une spécification d’exigences doit être couplée avec une spécification de la conception du système qui représente une solution au problème formulé. Plusieurs langages de description d’architectures (ADL) ont été proposés pour la modélisation des systèmes et l’analyse de leurs propriétés non fonctionnelles (NFP). Cependant, certains de ces langages ne disposent pas de moyens de modélisation des domaines du problème et de l’estimation des NFP. Pour résoudre ces problèmes, cette thèse propose deux nouveaux langages pouvant être combinés à des ADL pour en combler ces lacunes. RDAL (Requirements Definition and Analysis Language) permet la modélisation, l’analyse et là vérification des exigences d’un système, incluant des moyens de formalisation de bonnes pratiques de l’ingénierie des exigences. QAML (Quantitative Analysis Modeling Language) permet de représenter des modèles d’analyse de NFP de manière à pouvoir les intégrer dans un modèle d’un ADL donné. Ces modèles sont alors automatiquement interprétés pour fournir des estimations des NFP concernées, s’assurant ainsi de leur cohérence avec le modèle évolutif de conception. QAML est également utile pour la représentation des fiches techniques des composants de manière à faciliter l’intégration des données dans le flot de conception. Ces deux langages ont été validés à l’aide de modèles AADL démontrant leur capacité à détecter des erreurs de conception
19
Panetto, Hervé. "Meta-modèles et modèles pour l'intégration et l'interopérabilité des applications d'entreprises de production." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00119423.
Full textAbstract:
L'intégration des systèmes consiste à assembler les différentes parties d'un système tout en assurant la compatibilité de l'assemblage ainsi que le bon fonctionnement du système complet. Depuis les années quatre-vingt-dix, l'intégration des systèmes d'entreprise a fait l'objet d'une attention croissante ; elle est ainsi devenue un thème de recherche développé dans plusieurs équipes universitaires et industrielles dans le monde autant que a suscité de nombreux travaux au sein des organisations scientifiques internationales, notamment IFAC et IFIP, et de normalisation, particulièrement IEC, ISO et CEN. Dans ce cadre, l'interopérabilité des systèmes est un moyen pour obtenir l'intégration, fondé sur un couplage faible des parties du système, basé sur la capacité des parties à communiquer entre elles pour accéder et faire appel à leurs fonctionnalités.Plus récemment, au cours de la dernière décennie, une nouvelle approche d'ingénierie logicielle a été élaborée : l'ingénierie dirigée par les modèles. Dans cette nouvelle approche, les modèles occupent une place de premier plan parmi les artefacts d'ingénierie des systèmes. En effet, ils doivent être suffisamment précis afin de pouvoir être interprétés ou transformés par des outils logiciels, tout en étant mis en correspondance avec les démarches d'ingénierie système. Le rôle central des modèles dans le développement des capacités d'interopérabilité participe notablement à cette qualité, car les processus d'ingénierie de l'interopérabilité des applications sont basés sur des flux de modèles.
Ce mémoire d'Habilitation à Diriger des Recherches est centré sur l'étude des modèles en vue de l'interopérabilité des systèmes, et plus particulièrement des systèmes d'entreprises, centrée sur la représentation des produits. Pour contribuer à la fiabilisation des modèles d'entreprise et de leur interrelations pour l'intégration forte des applications, le projet de recherche proposé dans ce mémoire a pour objectif, dans un contexte d'ingénierie système appliqué aux systèmes de systèmes, de définir, d'étendre et de formaliser les processus de modélisation des systèmes d'entreprise en tenant compte des connaissances, généralement non explicites, des acteurs de ces systèmes. Cette preuve de concept relatif à la formalisation de la connaissance des modèles se base sur la définition d'ontologies, ainsi que la mise en correspondance, la transformation et l'échange de modèles, permettant l'intégration des applications d'entreprise et assurant ainsi des flux d'informations cohérents entre tous les acteurs. Ils nécessitent ainsi de rendre explicite la connaissance tacite des modélisateurs (et opérateurs) sur les processus (et donc les modèles) dont ils sont responsables ou auteurs.
20
Simonin, Jacques. "Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00512182.
Full textAbstract:
La durabilité d'un système d'information (SI) peut être caractérisée en bonne partie par la réutilisabilité de ses services lors de la réalisation des processus métier de l'entreprise. L'architecture orientée services (SOA) pour un SI nécessite la prise en compte de la stratégie d'entreprise (marketing et évolutions technologiques) dans la conception des services afin d'augmenter la réutilisabilité de services existants. C'est l'objectif de l'architecture d'entreprise (EA), ou de l'urbanisme, qui définit une cible architecturale offrant une durabilité optimum du SI. Afin d'améliorer la réutilisation de services lors de l'évolution d'un SI, nous proposons d'intégrer une approche dynamique fondée sur l'EA pour toute nouvelle réalisation d'un processus métier de l'entreprise. Le principe de cette approche dynamique est de prendre en compte, lors de chaque usage de services, d'une part, les fonctions et les données manipulées et, d'autre part, les solutions techniques. L'amélioration de la durabilité du SI est évaluée dans notre approche par une mesure d'alignement entre l'architecture des services développés dans le SI et l'EA fonctionnelle de ce SI.
21
Guérin, Xavier. "Approche efficace de développement de logiciel embarqué pour des systèmes multiprocesseurs sur puce." Grenoble, 2010. http://www.theses.fr/2010GRENM019.
Full textAbstract:
Cette dissertation montre que des applications embarquées complexes peuvent tirer partie efficacement de plateformes MP-SoC hétérogènes tout en respectant les critères de flexibilité, mise à l'échelle, portabilité et time-to-market. Elle fait la description d'un flot de conception de logiciel embarqué amélioré combinant un générateur de code, GECKO, et un environnement logiciel innovant, APES, afin d'obtenir un haut niveau d'efficacité. La contribution ainsi présentée est double : 1) un flot de conception de logiciel embarqué amélioré avec un ensemble d'outils permettant la construction automatique d'objets binaires minimaux pour une application donnée ciblant une plateforme MP-SoC donnée, et 2) un ensemble de composants logiciels modulaire et portable incluant des mécanismes de systèmes d'exploitations traditionnels ainsi que le support de multiples processeursThis dissertation shows that complex, embedded software applications can effectively operate heterogeneous MP-SoC with respect to flexibility, scalability, portability, and Time-To- Market. It presents an improved embedded software design flow that combines an application code generator, GECKO, and a novel software framework, APES, to achieve a high level of efficiency. Our contribution is twofold: 1) an improved embedded software design flow with several tools that enable the automatic construction of minimal and optimized binaries for a given application targeting a given MP-SoC, and 2) a modular and portable set of software components that includes traditional operating system mechanisms as well as the support for multiple processors
22
Lallican, Jean-Louis. "Proposition d'une approche composant pour la conception de la commande des systèmes transitiques." Lorient, 2007. http://www.theses.fr/2007LORIS105.
Full textAbstract:
Le travail présenté dans ce mémoire s’intéresse à la conception de la commande des systèmes transitiques. Son but est de proposer une démarche permettant d’automatiser le développement des programmes de commande, localisés au niveau 1 du CIM. Les objectifs d’une telle démarche sont non seulement d’apporter un gain de temps mais également d’obtenir, avant implantation sur système réel, une commande plus sûre. La démarche répond aux préoccupations des industriels, et se distingue par son cadre logiciel permettant la génération automatique des programmes de commande (compatibles avec la norme CEI 61131-3). Il est également aisé de vérifier que le système contrôlé est bien conforme aux exigences requises et respecte bien les caractéristiques de conception attendues. La démarche repose sur une description du système transitique, basée sur une approche composant. La méthodologie de génération des programmes de commande fait appel à des outils d’ingénierie dirigée par les modèles et reprend les concepts de l’approche MDA. Le système contrôlé est vérifié en simulant conjointement le modèle de la partie opérative du système et ses programmes de commande. Un exemple d'application basé sur un cas d’étude réel, le convoyeur de l’IUP de Lorient, illustre les apports de notre démarcheThis thesis addresses control design issues for conveying systems. The proposed approach is focused on the first CIM level and aims at generating discrete control programs automatically. This approach not only appears to be time and energy saving, it also produces safer control code. The global design process meets industrial needs, and comes along with a software framework allowing the automatic generation of IEC 61131-3 standard compliant control code. Furthermore, it is easy to check that the controlled system meets its specifications and has the expected behavior. The global design process is based on components to model controlled conveying systems. Model engineering technologies have been intensively used in the generating control process, that is based on a MDA approach. The controlled system validation relies on a joint simulation of the transitic system’s material part and its control programs. The proposed approach has been successfully tested on a conveying system located in Lorient, France. The results show that expectations are met
23
Baïna, Salah. "INTEROPERABILITE DIRIGEE PAR LES MODELES :Une Approche Orientée Produit pour l'interopérabilité dessystèmes d'entreprise." Phd thesis, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00123271.
Full textAbstract:
Les travaux de la thèse présentent une approche pour l'interopérabilité entre les différentsmodèles de produit, nous appellerons cette approche « l'interopérabilité orientée produit ».
Nous proposons ainsi un meta-modèle dont les instances jouent le rôle de passerelle de
communication entre différentes applications d'entreprise pour assurer l'interopérabilité des
parties de systèmes concernant le produit.
Nous nous sommes intéressés à formaliser un meta-modèle pour la définition du concept de
produit comme l'agrégation d'une partie physique représentant les éléments physiques du
produit et une partie informationnelle reprenant les éléments informationnels décrivant le
produit.
L'outillage et le prototypage du concept de produit holonique lors de la modélisation du
processus de fabrication dans l'entreprise ainsi que la prise en charge des mapping pour
l'interopérabilité s'appuient sur l'intégration du meta-modèle holonique dans un
environnement de modélisation d'entreprise particulier.
La phase de validation a été réalisée en deux parties représentées chacune par une application
industrielle. La première application se situe dans le cadre d'une collaboration avec le
département meunerie dans un grand groupe industriel, pour une application en
environnement réel de la modélisation holonique. L'objectif de cette application est de
concevoir un système de traçabilité pour les différents produits par les moulins du groupe.
Notre participation dans ce projet, a consisté en l'application de l'approche de modélisation
holonique pour la spécification, a priori, de l'ensemble des données et informations relatives
aux produits devant être prises en compte dans le système de traçabilité, et ainsi de générer de
manière automatique le schéma de données préliminaire du système. La seconde application
concerne la mise en œuvre de l'approche holonique pour une solution d'interopérabilité
orienté produit dans le cadre du pôle AIP Lorrain (AIPL).
24
Jaber, Chafic. "Modélisation de haut niveau de systèmes intégrés et estimation de performances : application à une implémentation multi-processeurs de la couche physique d’une station de base LTE." Phd thesis, Paris, Télécom ParisTech, 2011. https://pastel.hal.science/pastel-00673731.
Full textAbstract:
Les impressionnantes avancées dans les deux domaines des semiconducteurs et de l’ingénieurie logicielle ont permis aux Système surpuces (System-on-Chip “SoC“) d’intégrer des applications complexes et interdépendantes. Ces progrès vont de pair avec la complexité accrue des systèmes et de leur hétérogénéité. Ainsi, les concepteurs ont été forcé à réévaluer leurs méthodes de conception et d’élever le niveau d’abstraction au niveau système en ciblant la conception de l’ensemble du SoC plutôt que des composants individuels. L’objectif de ce travail de thèse est de fournir aux concepteurs systèmes les moyens nécessaires (au niveau méthodologique et au niveau outils) pour estimer les performances du système et évaluer rapidement les décisions de conception, idéalement très tôt dans le flot de conception. Notre contribution portera sur deux aspects principaux: (1)L’aspect conceptuel: où nous avons défini (en utilisant UML) des concepts de modélisation permettant d’étudier l’effet de la gestion et du partage des ressources sur les performances globales du système (les “noeuds virtuels”). En outre, nous avons introduit le concept de ”Patron de communication” pour la modélisation de l’interaction entre les éléments d’architecture afin d’assurer l’orthogonalisation des concepts de l’exécution et de la communication. (2)L’aspect simulation: Un simulateur en SystemC a été développé pour simuler les modèles UML proposés. L’approche proposée a été appliquée pour la modélisation de la couche physique du protocle LTE sur un DSP muli-core produit par Freescale. La comparaison des résultats de la modélisation avec l'implémentation a prouvé l'efficacité de notre approcheThe impressive advances in both fields of semiconductors and software engineering enabled modern System-on-Chip “SoC“ to hostcomplex and interdependent applications. These advances are coupled with higher systems complexity and heterogeneity. Thus, forcing designers to re-evaluate their design methodologies and to raise the level of abstraction to the system level targeting the co-design of the entire SoC rather than just individual components. The objective of this Thesis work is to provide the system designer with means (on the methodology and tools levels) to estimate system’s performances and evaluate rapidly and very early the design decisions in the SoC design flow. Our work provides contributions in two main aspects: (1)On the Conceptual Level, we defined (using the UML meta-modeling concepts) modeling concepts to estimate shared resources impact on system’s overall performances, by introducing the “virtual node” concept for scheduling and shared resources access control. Furthermore, we introduced the ”Communication Pattern” concept for modeling the interaction between architecture elements to ensure the orthogonalization of computation and communication concerns. (2)On the Simulation Level: A SystemC simulator was written to simulate the UML models. Simulation is done at a high level of abstraction and runs faster than real time execution. The usability and capabilities of our approach are shown with an industrial use case. We modeled a Freescale multi-core DSP platform for LTE base stations (LTE stands for Long Term Evolution is the 4G standard for cellular networks). The comparison of modeling results with implementation proved the accuracy of our approach
25
Morin, Brice. "Leveraging models from design-time to runtime to support dynamic variability." Rennes 1, 2010. http://www.theses.fr/2010REN1S101.
Full textAbstract:
This thesis presents a Model-Driven and Aspect-Oriented approach to tame the complexity of Dynamically Adaptive Systems (DAS). At design-time, we capture the different facets of a DAS (variability, environment/context, reasoning and architecture) using dedicated metamodels. Each feature of the variability model describing a DAS is refined into an aspect model. We leverage these design models at runtime to drive the dynamic adaptation process. Both the running system and its execution context are abstracted as models. Depending on the current context (model) a reasoner interprets the reasoning model to determine a well fitted selection of features. We then use Aspect-Oriented Modeling techniques to compose the aspect models (associated to the selected features) to derive the corresponding architecture. This way, there is no need to specify the whole set of possible configurations at design-time: each configuration is automatically built when needed. We finally rely on model comparison to fully automate the reconfiguration process in order to adapt the running system, with no need to write low-level reconfiguration scriptsCette thèse présente une approche dirigée par les modèles et basée sur la modélisation par aspects pour maitriser la complexité de systèmes logiciels adaptatifs (SA). Lors de la conception, les différentes facettes d’un SA (variabilité, environnement/contexte, raisonnement et architecture) sont capturées à l’aide de différents méta-modèles dédiés. En particuliers, les variantes de chaque point de variation sont raffinées à l’aide d’aspect (niveau model). Ces modèles sont embarqués à l’exécution pour contrôler et automatiser le mécanisme de reconfiguration. Selon le contexte courant un composant de raisonnement détermine un ensemble de variantes bien adaptées au contexte. Nous utilisons ensuite un tisseur d’aspects pour dériver automatiquement l’architecture correspondante à cette sélection de variantes. Ainsi, les concepteurs du SA n’ont pas besoin de spécifier toutes les configurations : au contraire, chaque configuration est dérivée lorsqu’il y en a besoin. Nous utilisons finalement une comparaison de modèle pour automatiser entièrement le processus de reconfiguration, sans devoir écrire des scripts de reconfiguration de bas niveau
26
Touil, Amara. "Vers un langage de modélisation spécifique au domaine des systèmes de télécontrôle ubiquitaire." Brest, 2011. http://www.theses.fr/2011BRES2041.
Full textAbstract:
Les Sciences et Technologies de l’Information et de Communication (STIC) nous permettent aujourd’hui une large utilisation d’ordinateurs, de systèmes intelligents, de réseaux de communication, etc. Nous sommes potentiellement capables d’accéder à n’importe quel objet communicant et d’échanger des informations. Dans ce contexte que l’on peut qualifier d’ubiquitaire, nous souhaitons pouvoir agir à distance (télécontrôle) sur des objets communicants. Dans ce travail nous associons télécontrôle et ubiquité afin de fournir un cadre de définition des systèmes de télécontrôle ubiquitaire, et pour dégager quelques préoccupations en termes de modélisation et d’analyse. Dans cette perspective nous proposons un langage spécifique au domaine (DSML) pour leur modélisation et une démarche outillée pour l’analyse de leur structure et leur fonctionnement. La construction de ce DSML est effectuée dans un contexte d’ingénierie système en adoptant le paradigme de l’Ingénierie Dirigée par les Modèles. Cette méthode nous a permis en premier lieu de capitaliser les connaissances et les terminologies du domaine de télécontrôle ubiquitaire. En second lieu, elle nous a permis d’élaborer une démarche pour effectuer des analyses structurelles et comportementales et de tester quelques exemples de systèmes. La sûreté de fonctionnement (SdF) pour les systèmes de télécontrôle ubiquitaire constitue une partie intégrante de leur modélisation et de leur analyse. Dans le DSML proposé, les propriétés de SdF sont intégrées à l’aide du Guide des Modes de Marche et d’Arrêt et de Qualité de service (GEMMA-Q) en vue d’une implémentation qui tient compte de la dynamicité du système et de son comportement. Cette thèse comporte également une méthodologie de construction d’une bibliothèque de composants réutilisables suivant les concepts définis pour le langage du domaine du télécontrôle ubiquitaireInformation and Communication Technologies (ICT) allow a widespread use of computers, intelligent systems, communication networks, etc. Potentially we are able to access any communicating object and exchanging information with it. In this context, that can be described as ubiquitous, we would be able to act remotely (telecontrol) on communicating objects. In this work we combine telecontrol and ubiquity to provide a framework for defining ubiquitous telecontrol systems and identifying some concerns in terms of modelling and analysis. We propose in this prospect a Domain Specific Modelling Language (DSML) for these systems and an analysing approach for their structure and their behaviour. The DSML is built within the context of Systems Engineering by adopting the Model Driven Engineering (MDE) paradigm. This method has allowed us first to capitalize on knowledge and terminology in the field of ubiquitous telecontrol. Second, the alternative to develop an approach for structural and behavioural analysis and to test some examples of systems. Ubiquitous telecontrol systems dependability is a part of their modelling and analysis. In the proposed DSML, dependability properties are integrated with the guide for start and stop modes and QoS (GEMMA-Q) in order to take into account the system dynamicity and behaviour. This thesis includes also a methodology for building a library of reusable components according to the concepts defined by the ubiquitous telecontrol
27
Nguyen, Viet Hoa. "Une méthode fondée sur les modèles pour gérer les propriétés temporelles des systèmes à composants logiciels." Thesis, Rennes 1, 2013. http://www.theses.fr/2013REN1S090/document.
Full textAbstract:
Cette thèse propose une approche pour intégrer l'utilisation des propriétés temporisées stochastiques dans un processus continu de design fondé sur des modèles à l'exécution. La spécification temporelle de services est un aspect important des architectures à base de composants, par exemple dans des réseaux distribués volatiles de nœuds informatiques. L'approche models@runtime facilite la gestion de ces architectures en maintenant des modèles abstraits des architectures synchronisés avec la structure physique de la plate-forme d'exécution distribuée. Pour les systèmes auto-adaptatifs, la prédiction de délais et de débit d'un assemblage de composants est primordial pour prendre la décision d'adaptation et accepter les évolutions qui sont conformes aux spécifications temporelles. Dans ce but, nous définissons une extension du métamodèle fondée sur les réseaux de Petri stochastiques comme un modèle temporisé interne pour la prédiction. Nous concevons une bibliothèque de patrons pour faciliter la spécification et la prédiction des propriétés temporisées classiques de modèles à l'exécution et rendre la synchronisation des comportements et des changements structurels plus facile. D'autre part, nous appliquons l'approche de la modélisation par aspects pour tisser les modèles temporisés internes dans les modèles temporisés de comportement du composant et du système. Notre moteur de prédiction est suffisamment rapide pour effectuer la prédiction à l'exécution dans un cadre réaliste et valider des modèles à l'exécutionThis thesis proposes an approach to integrate the use of time-related stochastic properties in a continuous design process based on models at runtime. Time-related specification of services are an important aspect of component-based architectures, for instance in distributed, volatile networks of computer nodes. The models at runtime approach eases the management of such architectures by maintaining abstract models of architectures synchronized with the physical, distributed execution platform. For self-adapting systems, prediction of delays and throughput of a component assembly is of utmost importance to take adaptation decision and accept evolutions that conform to the specifications. To this aim we define a metamodel extension based on stochastic Petri nets as an internal time model for prediction. We design a library of patterns to ease the specification and prediction of common time properties of models at runtime and make the synchronization of behaviors and structural changes easier. Furthermore, we apply the approach of Aspect-Oriented Modeling to weave the internal time models into timed behavior models of the component and the system. Our prediction engine is fast enough to perform prediction at runtime in a realistic setting and validate models at runtime
28
Menet, Ludovic. "Formalisation d'une approche d'Ingénierie Dirigée par les Modèles appliquée au domaine de la gestion des données de référence." Paris 8, 2010. http://www.theses.fr/2010PA083184.
Full textAbstract:
Notre travail de recherche s'inscrit dans la problématique de la définition de modèles de données dans le cadre de la Gestion des données de Référence ou Master Data Management. En effet, l'Ingénierie Dirigée par les Modèles (IDM) est un thème en pleine expansion aussi bien dans le monde académique que dans le monde industriel. Elle apporte un changement important dans la conception des applications en prenant en compte la pérennité des savoir-faire, des gains de productivité et en tirant profit des avantages des plateformes sans souffrir d'effets secondaires. L'architecture IDM se base sur la transformation de modèle pour aboutir à une solution technique sur une plateforme de notre choix à partir de modèles métier indépendants de toute plateforme. Dans cette thèse une démarche conceptuelle et expérimentale de l'approche IDM est appliquée à la définition de modèles de données pivot qui sont la base de la Gestion des Données de Référence ou Master Data Management (MDM). Ainsi utilisons nous UML (Unified Modeling Language), comme formalisme pour décrire les aspects indépendants de la plateforme (modèle métier), et nous proposons un métamodèle, sous la forme d’un profil UML, pour décrire les aspects dépendants de la plateforme MDM. Ensuite, nous présentons notre démarche pour passer d'un modèle métier vers un modèle de plateforme pour pouvoir générer le modèle pivot physique. Les apports de cette thèse sont : l'étude d’une approche IDM dans le contexte du MDM, la définition de transformations d’UML vers un modèle MDM (basé sur une structure XML Schema), d'autre part nous apportons un aspect inédit à l’IDM appliquée au MDM à savoir la définition d’une méthode de validation incrémentale de modèles permettant d’optimiser les phases de validation lors de la conception de modèlesOur research work is in line with the problematic of data models definition in the framework of Master Data Management. Indeed, Model Driven Engineering (MDE) is a theme in great expansion in the academic world as well as in the industrial world. It brings an important change in the conception of applications taking in account the durability of savoir-faire and of gains of productivity, and taking profits of platforms advantages without suffering of secondary effects. The MDE architecture is based on the transformation of models to come to a technical solution on a chosen platform from independent business models of any platform. In this thesis, a conceptual and technical thought process of the MDE approach is applied to the definition of pivot data models, which are the base of Master Data Management (MDM). Thus, we use Unified Modeling Language (UML) as formalism to describe the independent aspects of the platform (business model), and we propose a meta-model, in the form of an UML profile, to describe the dependent aspects of the MDM platform. Then, we present our approach to move from a business model to a platform model to be able to generate the physical pivot model. The inputs of the thesis are : the study of a MDE approach in the MDM context, the definition of UML transformations towards a MDM model (based on a XML Schema structure), besides we bring a new aspect to MDE applied to MDM, that is to say the definition of a method for incremental model validation allowing the optimization of validation stages during model conception
29
Zhu, Min. "Simulation de systèmes à structure dynamique dans une approche d'ingénierie système basée modèles appliquée au matériel reconfigurable." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30191.
Full textAbstract:
Avec l'évolution des techniques de reconfiguration partielle pour les systèmes embarqués, le besoin d'un modèle de description capable de représenter ces comportements émerge. La plupart des outils disponibles sur le marché, tant académiques qu'industriels, ne prennent pas en compte la modélisation des systèmes à structure dynamique. L'émergence de la modélisation à évènements discrets, notamment Discrete Event System Specification (DEVS), propose des outils formels pour représenter et simuler des modèles. DEVS propose déjà des extensions capable de prendre en compte la modélisation à structure dynamique. Néanmoins, les possibilités offertes par ces extensions rencontrent certaines limites. En particulier, elles ne proposent pas de moyen de gérer l'aspect contexte des composants. De plus, les formalismes existants n'ont pas intégré l'approche ingénierie système. L'ingénierie système met en place des procédures intéressantes, notamment l'architecture dirigée par les modèles, qui propose de séparer la description du système de sa plateforme d'exécution. Un modèle spécifique à une plateforme est ainsi la résultante d'un modèle de description de la plateforme combiné avec un modèle d'application indépendant de toute plateforme. Pour répondre à ces besoins, nous proposons un formalisme de description de modèles prenant en compte ces deux aspects : la modélisation à structure dynamique, et l'ingénierie système. Ce formalisme est basé sur DEVS, et nommé Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS permet de représenter les modèles à structure dynamique indépendamment de la plateforme de simulation. L'approche présentée peut être appliquée à différents types de cibles, tels le logiciel et le matériel reconfigurable. Cette thèse présente des mises en oeuvre du formalisme abstrait sur ces deux types de plateformes, démontrant ainsi sa capacité à être déployé sur des plateformes réellesAs partially reconfigurable technologies develop for embedded systems, the need for a proper model to describe its behavior emerges. Most academic and industrial tools available on the market does not address dynamic structure modeling. The arising of discrete-event modeling, in particular, Discrete Event System Specification (DEVS), propose formal tools for representing and simulating models. DEVS has already extension which handles the dynamic structure modeling. However, the capacities of these existing formalism have limitations. Notably, they do not address the components context aspect. Also, the existing formalisms have not integrated the system engineering approach. System engineering brings beneficial procedures, notably modeldriven architecture which proposes to separate the system description from its execution target. A platform-specific model is formed from a platformdescription model coupled with a platform independent model. To address these needs, we propose a model description formalism which takes into consideration these two aspects: dynamic structure modeling and system engineering. This formalism is based on DEVS and called Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS allows to represent dynamic-structure models independently from the simulation platform. The presented approach can be applied to different types of targets, such as software and reconfigurable hardware. This thesis addresses these two kinds of platforms, demonstrating the suitability of the abstract formalism to actual platforms
30
Delotte, Olivier. "CoCSys : une approche basée sur la construction d'un modèle comportemental pour la conception de systèmes collaboratifs mobiles." Ecully, Ecole centrale de Lyon, 2006. http://bibli.ec-lyon.fr/exl-doc/odelotte.pdf.
Full textAbstract:
Nos travaux s’inscrivent au croisement des domaines du Travail Collaboratif Assisté par Ordinateur (TCAO), de l’Interaction Humain-Machine (IHM) et du Génie Logiciel. Nos recherches concernent la prise en compte des exigences des utilisateurs, leur organisation sous forme d’un modèle comportemental puis sa projection sur une architecture collaborative. La mise en place de services collaboratifs pour des situations mobiles ainsi que la conception et l’adaptation des IHM (différents dispositifs et contextes) font partie de notre approche. Avec l’avènement des nouveaux modes de vie et de travail « mobiles », le vocable Travail Collaboratif Capillaire (TCC) est apparu pour exprimer cette irrigation de l’information vers des nouveaux dispositifs d’interaction. Il intègre les fondamentaux du travail collaboratif, c'est-à-dire les espaces de communication, de production et de coordination en ajoutant l’atteignabilité permanente via ces dispositifs miniaturisés et la prise en compte du contexte. Dans le cadre de cette thèse, nous avons travaillé sur un processus centré sur l’utilisateur pour la conception de systèmes collaboratifs mobiles appelé CoCSys. CoCSys est une démarche de conception de systèmes collaboratifs mobiles couvrant les phases d’expression des besoins, de conception, de validation et de mise en oeuvre sur une architecture collaborative. Ce processus est basé sur la formalisation des besoins des utilisateurs et l’identification de leurs objectifs en s’appuyant sur des scénarios pour prendre en compte différents contextes d’usage. Il s’appuie sur plusieurs modèles qui, par une approche MDA (Model Driven Architecture), se concrétise par des transformations des modèles en une application collaborative. Cette application s’intègre dans une architecture collaborative en 3 niveaux qui prend en compte les interfaces humain-machine adaptées en fonction du dispositif utilisé, des tâches à effectuer et des environnements des utilisateurs. Le but de CoCSys est de gérer le processus global assurant le passage de l’identification des besoins à la mise en oeuvre sur une architecture cible proposant différents dispositifs appropriés. CoCSys a nécessité la conception d’outils qui accompagnent les différentes phases du processus (conception des scénarios, construction du modèle comportemental de référence, transformations) qui ont été validés à travers un exemple concret de situation de dépannage dans le cadre du projet HelpMeToDoOur work is an overlap of CSCW, CHI and Software Engineering Domains. We researched the various Requirements of Users, organized it in a Behavioural Model and finally demonstrated a Collaborative Architecture. Installation of collaborative services for mobile situations, the design and adaptation according to CHI (multiple devices and contexts of use) have been integrated in our approach. In line with the emergence of new age and varied working modes, the term “Capillary Collaborative Work” best expresses the irrigation of information to some interaction devices. CCW integrates foundations of CSCW (coordination, communication and production) through adding the persistent attainability via miniaturized devices and integrating context sensitive issues. In this thesis, we explicate a user-centred process for the conception of CCW systems named CoCSys (Collaborative Capillary Systems). CoCSys is a process that thoroughly covers different phases: express requirements, Design and validates model-based applications, implementation of a collaborative architecture. CoCSys is based on the definition of requirement and the identification of goals with respect to scenarios of use integrating the context of use. CoCSys implements multiple models through an MDA approach finalized by some transformations in the collaborative application. Computer human Interactions are adapted in regard to the devices used, the predicted task and the user’s environment. The goal of CoCSys is to management the global process from the requirements to the final architecture. CoCSys is assisted through two tools (CBME and KMDEg). This work has been validated by a concrete example in the HelpMeToDo Project
31
Brossard, Arnaud. "PERCOMOM : une méthode de modélisation des applications interactives personnalisées appliquée à l'information voyageur dans le domaine des transports collectifs." Phd thesis, Université de Valenciennes et du Hainaut-Cambresis, 2008. http://tel.archives-ouvertes.fr/tel-00363256.
Full textAbstract:
Cette thèse propose une première version d'une méthode de modélisation des applications interactives personnalisées à travers une approche dirigée par les modèles. Cette méthode, appelée PERCOMOM (PERsonalization and COnceptual MOdeling Method), vise à permettre la création d'applications interactives de type WIMP (Windows, Icons, Mouse and Pointing device) par des experts métier ; chaque expert métier prenant en charge, à travers une ontologie de domaine et des modèles adaptés principalement basés sur la notation BPMN pour les modèles d'interaction, la modélisation d'une partie de l'application en fonction de son expertise propre. PERCOMOM propose aussi, au niveau de la modélisation conceptuelle, des solutions pour prendre en compte les problématiques liées à la personnalisation des contenus dans les applications interactives ; que ce soit pour les problématiques liées au contexte, à l'utilisateur ou alors au type de données manipulées.
Enfin, à travers l'utilisation d'une architecture spécifique s'appuyant sur une approche de type MDA (Model Driven Architecture), PERCOMOM permet d'envisager une génération semi-automatique des applications à partir des modèles conceptuels et ceci pour des plateformes techniques différentes.
Notre contribution PERCOMOM a été appliquée pour le développement de systèmes d'information personnalisés dans le domaine de l'information voyageur.
32
Frizon, de Lamotte Florent. "Proposition d'une approche haut niveau pour la conception, l'analyse et l'implantation des systèmes reconfigurables." Lorient, 2006. http://www.theses.fr/2006LORIS073.
Full textAbstract:
La qualité de service attendue pour les systèmes de production et les systèmes électroniques, rend incontournable l'utilisation de la reconfiguration qui permet d'organiser le système au mieux pour répondre à l'objectif fixé. L'exploitation du caractère reconfigurable d'un tel système nécessite une prise en compte de cette capacité de la conception à l'implantation. La phase de conception repose sur une description du système reconfigurable selon deux axes. Le premier sépare l'architecture du système de ses configurations. Le second distingue la partie logique, décrivant les traitements à réaliser et la partie physique décrivant les ressources constituant le système. Une fois l'architecture et les configurations décrites, des analyses permettent au concepteur d'évaluer l'architecture ou les configurations en terme de performances, de tolérance aux pannes ou de coût. Ces analyses peuvent aussi intervenir pour guider la stratégie de reconfiguration au cours du fonctionnement du système. Elles font appel à des outils d'ingénierie dirigée par les modèles permettant d'obtenir automatiquement les modèles d'analyse à partir de la description du système. Un cadre d'implantation, utilisant également l'ingénierie dirigée par les modèles, est proposé pour la génération d'un code de contrôle/commande à partir de la description de haut niveau. Toute l'approche a été déployée sur une application réelle développée au cours des travaux de thèse et présentée dans ce documentThe expected quality of service of manufacturing or electronic systems makes reconfiguration capabilities essential. Reconfiguration consists in a reorganization of the system to better comply with a given objective. To fully take advantage of all the reconfiguration capabilities of the system, designers need to take them into account throughout the whole development process. The design phase is performed on a description of the reconfigurable system, which is split along two axes. The first axis separates the system's architecture from its configuration. The second one separates the logical part of the system describing the processes from the physical part of the system that describes its resources. Once the system has been described, analyses help designers in the evaluation of its performances, breakdown tolerance and cost. Analyses can also be used for leading the reconfiguration strategy. They make use of model engineering techniques, which enable automatic transformations from the description model to analysis models. An implementation framework, which also uses model engineering is described for the control-command code generation from the high-level description. The whole approach has been tested on a real platform built during the thesis
33
Nguyen, Thi Thanh Tam. "Codèle : Une Approche de Composition de Modèles pour la Construction de Systèmes à Grande Échelle." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00399655.
Full textAbstract:
Depuis "toujours", en Génie Logiciel comme dans toutes les ingénieries, afin réduire la complexité et pour améliorer la réutilisation, le produit à construire est divisé en parties construites indépendamment et ensuite assemblées. L'approche récente de l'Ingénierie Dirigée par les Modèles (IDM, ou MDE pour Model-Driven Engineering), fait de même, en proposant "simplement" que les parties à construire et à assembler soient des modèles et non pas des programmes. C'est ainsi que le problème de la composition de modèles est devenu un thème important de l'IDM, et le sujet de cette thèse. En effet, un système logiciel réel est bien trop complexe pour pouvoir être décrit par un seul modèle. De nombreux modèles devront être créés pour le spécifier, soit à divers niveaux d'abstraction, soit selon divers points de vue, soit encore selon des domaines fonctionnels differents et complémentaires. Dans ce travail, nous partons de l'hypothèse que de tels domaines métiers existent. Un domaine est un champ d'expertise avec 1) les savoir-faire et les connaissances capturés et formalisés sous la forme d'un langage de modélisation dédié au domaine (un Domain-Specific Modeling Language (DSML)), et 2) des outils et des environnements supportant le développement d'applications dans ce domaine. Une application, dans un domaine, est décrite par un modèle (conforme au métamodèle du domaine). Dans ce travail, nous faisons aussi l'hypothèse que ces domaines sont exécutables ; les modèles du domaine sont exécutés par une machine virtuelle du domaine. En IDM, comme dans les autres approches du Génie Logiciel, la réutilisation impose que le processus d'assemblage des parties puisse se faire sans avoir à modifier celles-ci, ni bien sur l'environnement qui les a produit ou qui les exécute. Appliqué à notre contexte, cela signifie qu'il faut être capable de composer des modèles sans les modifier et sans modifier ni l'éditeur ni la machine virtuelle du domaine dont ils sont issus. C'est le problème que nous abordons dans notre travail. Nous montrons que pour atteindre cet objectif, il faut d'abord composer les domaines c'est à dire composer leurs métamodèles et leurs machines virtuelles, puis les modèles. Nous montrons dans ce travail comment ces compositions peuvent être réalisées sans modifier les éléments compos és, en utilisant des relations dites horizontales entre les métamodèles, et des liens entre les modèles. Cette approche est validée d'abord par la réalisation d'un certain nombre de domaines composites, et par de nombreuses compositions de modèles opérationnelles. Une partie importante du travail a consisté à définir Codèle, un langage de composition de modèles et de métamodèles, et à réaliser l'environnement d'assistance correspondant. Codèle assiste les ingénieurs pour composer de façon systématique les domaines, et rend automatique ou semi-automatique la composition de tous modèles provenant de ces domaines. Nous présentons l'outil Codèle et nous évaluons son usage dans divers projets.
34
Bougaa, Mohammed. "Une approche basée sur les processus et dirigée par les compétences pour l'éducation en ingenierie des systèmes." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLC050/document.
Full textAbstract:
Au cours de cette thèse, nous avons examinée les pratiques actuelles en matière d'éducation en IS. Nous avons proposé une approche centrée sur l'utilisation des processus normalisés en IS, tout en faisant en sorte que le scénario d'apprentissage soit très adaptable et qu'il puisse être piloté par les compétences d'IS acquises ou à acquérir. Ensuite, une plateforme Web a été développée pour soutenir cette nouvelle approche d'apprentissage. En utilisant cette approche, les étudiants ne seront pas seulement en mesure de bien concevoir le système demandé de manière distante et collaborative, mais ils seront aussi capables de l'élaborer de manière appropriée. Cela leur permettra d'apprendre les principes et processus fondamentaux de l'IS, à mieux communiquer dans un environement de travail, la gestion d'équipe, la collaboration et les compétences techniques connexes. Les formateurs d'un autre côté pourront mieux gérer leur parcours d'apprentissage, les ressources pédagogiques, et les résultats escomptés. En utilisant cette solution, les organisations de ces formateurs et étudiants, c'est-à-dire les universités et collèges, pourront gérer et normaliser les compétences acquises par leurs futurs ingénieurs systèmes à tous les niveauxThis thesis surveys the current practices and advancements in SE education. We ended up proposing a novel solution for SE education (an approach with its supporting web-based platform). The proposed approach is based on the recommendations of academic and industrial communities. It is centered around the use of SE standardized processes and at the same time very adaptive, with learning scenarios that can be driven by the acquired or to-be-taught SE competencies. The proposed solution is a web based platform that has been developed to support this novel approach within a distant Project Based Learning (PBL) environment. The solution aims to ease the learning at the same time of fundamental principles and processes of systems engineering, along with communication, team management, collaboration, and related soft skills. On the other hand, educators will be able to better manage their learning scenarios, training resources, and the expected outcomes. Last, educators and students' organizations using this solution will be able to manage and normalize the competencies to be acquired by their future systems engineers at every level
35
Charfi, Smaoui Asma. "Compilation optimisée des modèles UML." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00659360.
Full textAbstract:
Cette thèse s'inscrit dans le cadre de la mise en œuvre de l'ingénierie dirigée par les modèles (IDM) pour le développement des systèmes embarquées. Ces systèmes ayant généralement des ressources limitées (mémoire et/ou calculs), exigent que le code généré soit le plus optimisé possible. L'objectif de cette thèse est de produire à partir d'un modèle spécifié dans le langage UML, un code assembleur plus compact que le code assembleur produit par les compilateurs de code. Malgré l'évolution croissante des compilateurs optimisés, les compilateurs les plus répandus comme le GCC (Gnu Compiler Collection) sont incapables d'effectuer certains types d'optimisations qu'il est possible d'effectuer à un plus haut niveau d'abstraction dans une phase de pré-génération de code. En effet, certaines informations (liées à la sémantique d'exécution du langage UML) sont perdues lors de la génération de code. Ces informations, utiles pour les optimisations de haut niveau, sont invisibles par le compilateur de code vue qu'il prend toutes les informations liées au système modélisé à partir du code généré. Nous proposons ainsi une nouvelle approche dirigée par les modèles pour le développement des systèmes à ressources limitées, qui élimine l'étape de la génération de code en remplaçant cette étape par une compilation directe des modèles. Nous avons développé le premier compilateur de modèles UML (GUML : le front-end UML pour le compilateur GCC) qui génère directement de l'assembleur (sans passer par un langage de programmation) à partir des modèles UML. GUML permet de compiler les classes, les activités et les machines à états UML. Il permet de générer, en compilant certaines machines à états, un code assembleur plus compact que le code assembleur produit par GCC. Deux optimisations de GCC sont améliorées : l'élimination de code mort et l'élimination des expressions redondantes.
36
Nguyen, Thi Mai. "A model driven engineering approach to build secure information systems." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL001/document.
Full textAbstract:
Aujourd’hui, les organisations s'appuient de plus en plus sur les systèmes d'information pour collecter, manipuler et échanger leurs données. Dans ces systèmes, la sécurité joue un rôle essentiel. En effet, toute atteinte à la sécurité peut entraîner de graves conséquences, voire détruire la réputation d'une organisation. Par conséquent, des précautions suffisantes doivent être prises en compte. De plus, il est bien connu que plus tôt un problème est détecté, moins cher et plus facile il sera à corriger. L'objectif de cette thèse est de définir les politiques de sécurité depuis les premières phases de développement et d’assurer leur déploiement correct sur une infrastructure technologique donnée.Notre approche commence par spécifier un ensemble d'exigences de sécurité, i.e. des règles statiques et dynamiques, accompagnées de l'aspect fonctionnel d'un système basé sur UML (Unified Modeling Language). L'aspect fonctionnel est exprimé par un diagramme de classes UML, les exigences de sécurité statiques sont modélisées à l'aide de diagrammes de SecureUML, et les règles dynamiques sont représentées en utilisant des diagrammes d'activités sécurisées.Ensuite, nous définissons des règles de traduction pour obtenir des spécifications B à partir de ces modèles graphiques. La traduction vise à donner une sémantique précise à ces schémas permettant ainsi de prouver l'exactitude de ces modèles et de vérifier les politiques de sécurité par rapport au modèle fonctionnel correspondant en utilisant les outils AtelierB prover et ProB animator. La spécification B obtenue est affinée successivement à une implémentation de type base de données, qui est basée sur le paradigme AOP. Les affinements B sont également prouvés pour s'assurer que l’implémentation est correcte par rapport à la spécification abstraite initiale. Le programme d’AspectJ traduit permet la séparation du code lié à la sécurité sécurité du reste de l'application. Cette approche permet d’éviter la diffusion du code de l'application, et facilite ainsi le traçage et le maintien.Enfin, nous développons un outil qui génère automatiquement la spécification B à partir des modèles UML, et la dérivation d'une implémentation d'AspectJ à partir de la spécification B affinée. L'outil aide à décharger les développeurs des tâches difficiles et à améliorer la productivité du processus de développementNowadays, organizations rely more and more on information systems to collect, manipulate, and exchange their relevant and sensitive data. In these systems, security plays a vital role. Indeed, any security breach may cause serious consequences, even destroy an organization's reputation. Hence, sufficient precautions should be taken into account. Moreover, it is well recognized that the earlier an error is discovered, the easier and cheaper it is debugged. The objective of this thesis is to define adequate security policies since the early development phases and ensure their correct deployment on a given technological infrastructure. Our approach starts by specifying a set of security requirements, i.e. static and dynamic rules, along with the functional aspect of a system based on the Unified Modeling Language (UML). Fundamentally, the functional aspect is expressed using a UML class diagram, the static security requirements are modeled using SecureUML diagrams, and the dynamic rules are represented using secure activity diagrams. We then define translation rules to obtain B specifications from these graphical models. The translation aims at giving a precise semantics to these diagrams, thus proving the correctness of these models and verifying security policies with respect to the related functional model using the AtelierB prover and the ProB animator. The obtained B specification is successively refined to a database-like implementation based on the AOP paradigm. The B refinements are also proved to make sure that the implementation is correct with respect to the initial abstract specification. Our translated AspectJ-based program allows separating the security enforcement code from the rest of the application. This approach avoids scattering and tangling the application's code, thus it is easier to track and maintain. Finally, we develop a tool that automates the generation of the B specification from UML-based models and of the AspectJ program connected to a relational database management system from the B implementation. The tool helps disburden developers of the difficult and error-prone task and improve the productivity of the development process
37
Mzid, Rania. "Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel." Thesis, Brest, 2014. http://www.theses.fr/2014BRES0065/document.
Full textAbstract:
Les travaux présentés dans cette thèse s’inscrivent dans le cadre du développement logiciel des systèmes temps réel embarqués. Nous définissons dans ce travail une méthodologie nommée DRIM. Cette méthodologie permet de guider le déploiement des applications temps réel sur différents RTOS en suivant la ligne de l’IDM et en assurant le respect des contraintes de temps après le déploiement. L’automatisation de la méthodologie DRIM montre sa capacité à détecter les descriptions non-implémentables de l’application, réalisées au niveau conception, pour un RTOS donné, ce qui présente l’avantage de réduire le temps de mise sur le marché d’une part et de guider l’utilisateur pour un choix approprié de l’RTOS cible d’autre partThe main purpose of this Phd is to contribute to the software development of real-time embedded systems. We define in this work a methodology named DRIM: Design Refinement toward Implementation Methodology. This methodology aims to guide the deployment of a real-time application on to different RTOS while respecting MDE principals and ensuing that the timing properties are still met after deployment. The automation of DRIM shows its ability to detect non-implementable design models describing the real-time application, on aparticular RTOS, which permits to reduce the time-to-market on the one hand and guide the user to the selection of the appropriate RTOS from the other hand
38
Guduvan, Alexandru-Robert-Ciprian. "Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués." Thesis, Toulouse, ISAE, 2013. http://www.theses.fr/2013ESAE0012/document.
Full textAbstract:
Le développement de tests pour les systèmes d’avioniques met en jeu une multiplicité de langages de test propriétaires, sans aucun standard émergent.Les fournisseurs de solutions de test doivent tenir compte des habitudes des différents clients, tandis que les échanges de tests entre les avionneurs et leurs équipementiers / systémiers sont entravés. Nous proposons une approche dirigée par les modèles pour s’attaquer à ces problèmes: des modèles de test sont développés et maintenus à la place du code, avec des transformations modèle-vers-code vers des langages de test cibles. Cette thèse présente trois contributions dans ce sens. La première consiste en l’analyse de quatre langages de test propriétaires actuellement déployés. Elle nous a permis d’identifier les concepts spécifiques au domaine, les meilleures pratiques,ainsi que les pièges à éviter. La deuxième contribution est la définition d’un méta-modèle en EMF Ecore, qui intègre tous les concepts identifiés et leurs relations. Le méta-modèle est la base pour construire des éditeurs de modèles de test et des motifs de génération de code. Notre troisième contribution est un d´démonstrateur de la façon dont ces technologies sont utilisées pour l’élaboration des tests. Il comprend des éditeurs personnalisables graphiques et textuels pour des modèles de test, ainsi que des transformations basées-motifs vers un langage du test exécutable sur une plateforme de test réelleThe development of tests for avionics systems involves a multiplicity of in-house test languages, with no standard emerging. Test solution providers have to accommodate the habits of different clients, while the exchange of tests between aircraft manufacturers and their equipment/system providers is hindered. We propose a model-driven approach to tackle these problems: test models would be developed and maintained in place of code, with model-to-code transformations towards target test languages. This thesis presents three contributions in this direction. The first one consists in the analysis of four proprietary test languages currently deployed. It allowed us to identify the domain-specific concepts, best practices, as well as pitfalls to avoid. The second contribution is the definition of a meta-model in EMF Ecore that integrates all identified concepts and their relations. The meta-model is the basis for building test model editors and code generation templates. Our third contribution is a demonstrator of how these technologies are used for test development. It includes customizable graphical and textual editors for test models, together with template-based transformations towards a test language executable on top of a real test platform
39
Brottier, Erwan. "Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00512174.
Full textAbstract:
Dans cette thèse, nous nous intéressons à la définition d'une plate-forme industrielle favorisant une meilleure intégration des techniques de vérification et de validation des exigences au sein des processus de développement. Cette plate-forme, appelée R2A (pour Requirements To Analysis) est entièrement construite à l'aide de technologies issues de l'ingénierie dirigée par les modèles. Le cœur de la plate-forme est un processus de composition de modèles à deux niveaux de modélisation. Au niveau instance, il produit une spécification globale des exigences à partir d'une collection de spécifications d'exigences partielles, hétérogènes et potentiellement incohérentes. Au niveau de la conception de la plate-forme (niveau meta), il produit le formalisme interne de la plate-forme (types d'information pouvant être capturée et fonctionnalités supportées) à partir de composants de conception embarquant des sémantiques opérationnelles, de composition et de déploiement. Ce processus favorise l'adaptabilité de la plate-forme à des contextes industriels variés. L'obtention d'une spécification globale des exigences (i) autorise l'application des techniques modernes de vérification et de validation pour la détection d'incohérences et (ii) favorise une approche de développement dirigée par les modèles (MDD) dès les premières étapes du développement logiciel (synchronisation exigences et artefacts de développement aval). Dans sa version actuelle, la plate-forme est spécialisée pour le contexte industriel de France Télécom. Elle supporte quatre langages de description des exigences : les diagrammes d'activité et de classes UML, un langage naturel contraint (le RDL, pour Requirements Description Language) et son formalisme interne (le RM, pour Requirements Metamodel). Les fonctionnalités principales sont (i) la génération d'objectifs de test système, (ii) la production d'une première spécification d'analyse et (iii) la vérification de la cohérence des exigences.
40
Voron, Jean-Baptiste. "Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à l'aide de réseaux de Petri." Paris 6, 2009. http://www.theses.fr/2009PA066700.
Full textAbstract:
La surveillance et la maintenance des systèmes informatiques entraînent des coûts prohibitifs. Cela est dû en grande partie à la complexité des applications actuelles ainsi qu’à leurs fréquentes mises à jour. Les administrateurs de tels systèmes ne peuvent donc pas répondre efficacement aux impératifs de sécurité si on considère le nombre élevé de failles à contrôler et l'incroyable sophistication et rapidité de propagation des attaques. Les systèmes de détection d'intrusion mettent en oeuvre un processus de surveillance et d’analyse des événements survenant sur un système, dans le but de découvrir des attaques compromettant sa confidentialité, son intégrité ou sa disponibilité. En plus des problèmes caractéristiques tels que les taux de faux positifs et de faux négatifs lors de la phase de surveillance ou l’incapacité à détecter de nouvelles formes d’intrusions, d’autres limitations d’origine structurelle existent. Ainsi, rares sont les travaux qui traitent de la protection des applications fortement multi-threadées ou qui proposent une implémentation efficace des méthodes de détection proposées. L’objectif de cette thèse est de concevoir et de réaliser une solution qui construit automatiquement un système de surveillance dédié à un programme. Dans cette optique, nous proposons d’extraire, grâce à une analyse statique du code source du programme à surveiller, plusieurs modèles comportementaux exprimés en réseaux de Petri. Une fois réduits et assemblés, ces modèles peuvent être soumis aux techniques actuelles de vérification formelle et permettent finalement la génération automatique d’un système de surveillance dédié au programme initial.
41
Boukhanoufa, Mohamed-Lamine. "Adaptabilité et reconfiguration des systèmes temps-réel embarqués." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00758807.
Full textAbstract:
Les systèmes temps réel peuvent être grands, distribués et avoir un environnement dynamique. Cela exige la mise en place de différents modes de fonctionnement et techniques de fiabilité. Par ailleurs, ces différents changements dynamiques d'architecture et de comportement ont un impact sur les caractéristiques temporelles des systèmes qui nécessitent une étude particulière de la capacité des comportements d'adaptation à garantir les contraintes fixées aux systèmes. Le travail présenté dans cette thèse est focalisé sur la spécification de l'adaptabilité d'un système temps réel et l'étude sur de jeux de configurations prédéfinis de l'impact temporel des actions d'adaptation dynamique. Pour cela, nous présentons une méthodologie outillée basée sur la notion de Mode du profil MARTE. Chaque mode représente un comportement possible du système pour un environnement bien déterminé associé à une configuration logicielle. L'approche développée propose de modéliser le comportement adaptatif à travers la définition du contexte, de la variabilité, des opérations de reconfigurations et de la configuration de base. L'analyse d'ordonnançabilité est ensuite effectuée au niveau du modèle en intégrant l'impact des comportements d'adaptation. Deux paradigmes de modélisation peuvent alors être exploités pour effectuer cette analyse : les requêtes et les flots de données. Cela permet de vérifier que les contraintes temporelles de notre système resteront satisfaites en intégrant les opérations de reconfiguration issues du comportement adaptatif. Enfin, l'approche permet de générer des implantations des comportements adaptatifs à partir des modèles afin d'automatiser l'intégration des mécanismes d'adaptation dans les systèmes temps réel.
42
Collonvillé, Thomas. "Elaboration de processus de développements logiciels spécifiques et orientés modèles : application aux systèmes à évenements discrets." Phd thesis, Université de Haute Alsace - Mulhouse, 2010. http://tel.archives-ouvertes.fr/tel-00586265.
Full textAbstract:
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser l'organisation et le comportement des composants d'une application. De plus, s'il existe des modèles de processus décrivant les différentes activités pour passer d'une spécification à une réalisation, il n'existe pas de processus général expliquant comment relier de façon rationnelle langages et activités. Par ailleurs, l'Ingénierie Dirigée par les Modèles propose des concepts et des outils pour spécifier et combiner différents langages; ceci en introduisant les concepts de métamodèles comme moyen pour spécifier des langages, et de transformation de modèles pour les mettre en relation. Un exemple de métamodèle est donné par le standard SPEM (Software Process Engineering Metamodel) dédié à la modélisation de processus de développement logiciel.Dans ce contexte, la thèse propose de tirer profit des éléments précédents pour élaborer des processus de développements spécifiques et orientés modèles conformes à un schéma conceptuel dérivé du schéma de SPEM dans lequel des activités d'un processus peuvent exploiter des métamodèles et des transformations. Un guide méthodologique pour aborder l'ingénierie de processus spécifiques complète le schéma proposé. Les intérêts de la proposition résident alors dans une meilleure capitalisation des connaissances pour un domaine ainsi qu'une réduction des efforts de développement. Finalement, la thèse propose d'élaborer de tels processus spécifiques pour des applications logicielles relevant du domaine des Systèmes à Évènements Discrets.
43
Brau, Guillaume. "Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués." Thesis, Toulouse, ISAE, 2017. http://www.theses.fr/2017ESAE0004/document.
Full textAbstract:
L'ingénierie des systèmes embarqués repose sur deux activités complémentaires : la modélisation d'une part permet dereprésenter le système, l'analyse d’autre part permet d'évaluer les diverses propriétés non-fonctionnelles (par exemple despropriétés temporelles via l'analyse d’ordonnancement temps réel). Cette thèse s'intéresse à l'intégration entre ces modèleset analyses: comment appliquer une analyse sur une modèle ? Comment gérer le processus d’analyse ? La première partie de cette thèse présente une approche globale afin de répondre à ces questions. Cette approche s'organise autour de quatre couches applicatives: (1) les modèles qui représentent le système, (2) les accesseurs qui permettent d'extraire des données à partir d'un modèle, (3) l'analyse qui traite des données en entrée pour produire des données ou propriétés en sortie, (4) des contrats qui décrivent les interfaces d'une analyse et permettent d'orchestrer le processus d'analyse. La seconde partie de cette thèse est dédiée à l'expérimentation de cette approche sur des systèmes réels provenant du domaine aérospatial : un drone, un robot explorateur et un système de gestion de vol. Nous montrons que les accesseurs permettent d’appliquer diverses analyses d’ordonnancement temps réel sur des modèles architecturaux hétérogènes, par exemples décrits avec le standard industriel AADL (Architecture Analysis and Design Language) ou le nouveau langage dirigé par le temps CPAL (Cyber-Physical Action Language). En outre, nous montrons que les contrats peuvent être utilisés afin d’automatiser des procédures d'analyse complexes : quelle analyse peut être appliquée sur unmodèle ? Quelles analyses remplissent les objectifs visés ? Peut-on combiner des analyses ? Y-a-t-il des interférences entreles analyses ? EtcThe engineering of embedded systems relies on two complementary activities: modeling on the one hand enables torepresent the system, analysis on the other hand makes it possible to evaluate the various non-functional properties (forexample, temporal properties with the real-time scheduling analysis). This thesis deals with the integration between thesemodels and analyses: how to apply an analysis on a model? How to manage the analysis process? The first part of this thesis presents a comprehensive approach to answer these questions. This approach is based on four application layers: (1) models to represent the system, (2) accessors to extract data from a model, (3) analyses to computeoutput data and/or properties from input data (4) contracts to represent the analysis interfaces and orchestrate the analysisprocess. The second part of this thesis deals with the experimentation of this approach with concrete systems coming fromthe aerospace: a drone, an exploratory robot and a flight management system. We demonstrate that the accessors enable toapply various real-time scheduling analyses on heterogeneous architectural models, for example written with the industrystandard AADL (Architecture Analysis and Design Language) or the new time-triggered language CPAL (Cyber-PhysicalAction Language). In addition, contracts make it possible to automate complex analysis procedures: which analysis can beapplied on a given model? Which are the analyses that meet a given goal? Are there analyses to be combined? Are thereinterferences between analyses? Etc
44
Tehari, Abdenour. "Analyse morphologique de modèles pour décrire un produit par des caractéristiques, en fonction du point de vue." Lyon 1, 1999. http://www.theses.fr/1999LYO10027.
Full textAbstract:
Cette thèse a pour but d'analyser les modèles issus de la conception d'objets pour générer de nouveaux modèles adaptés aux traitements spécifiques à différents points de vue d'application. La description d'un objet est ainsi différente selon le point de vue adopté tout en pouvant utiliser un langage commun. En effet, quel que soit le point de vue adopté, la description des formes signifiantes est basée sur un langage commun, celui de la géométrie. On peut alors définir un niveau de langage géométrique proche des différents points de vue, il s'agit de la description morphologique de ces objets. Nous partons de la partie commune purement géométrique (sous forme d'un modèle B-Rep) pour créer un niveau de langage intermédiaire, manipulant les caractéristiques géométriques de l'objet. Nous obtenons alors des "briques géométriques" élémentaires appelés caractéristiques morphologiques et les interrelations géométriques entre ces briques. Ces caractéristiques sont ensuite utilisées suivant des règles de composition dépendant du point de vue de métier adopté pour créer les formes signifiantes associées au langage de ce point de vue, elles sont appelées caractéristiques métier. Ces dernières sont en général un assemblage spécifique des caractéristiques morphologiques. Notre approche se résume donc en deux phases importantes: une phase d'analyse morphologique et une phase d'analyse sémantique. La première phase est composée de quatre étapes fondamentales : une étape de reconnaissance et d'identification des caractéristiques morphologiques, une étape d'extraction , une étape de reconstruction des entités modifiées et enfin une étape de codification des caractéristiques morphologiques. Ces étapes sont guidées par une classification des caractéristiques morphologiques suivant les entités topologiques modifiées. La seconde phase consiste à réinterpréter différemment la description intermédiaire générée par la première phase selon le point de vue métier adopté et suivant les règles propres à ce point de vue
45
Fankam, Nguemkam Chimène. "OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques." Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique, 2009. https://tel.archives-ouvertes.fr/tel-00452533.
Full textAbstract:
Le besoin d'expliciter la sémantique des données dans différents domaines scientifiques (biologie, médecine, géographie, ingénierie, etc. ) s'est traduit par la définition de données faisant référence à des ontologies, encore appelées données à base ontologique. Avec la multiplication des ontologies de domaine, et le volume important de données à manipuler, est apparu le besoin de systèmes susceptibles de gérer des données à base ontologique de grande taille. De tels systèmes sont appelés des systèmes de gestion de Bases de Données à Base Ontologique (BDBO). Les principales limitations des systèmes de gestion de BDBO existants sont (1) leur rigidité, due à la prise en compte des constructions d'un unique formalisme d'expression d'ontologies, (2) l'absence de support pour les données non standard (spatiales, temporelles, etc. ) et, (3) leur manque d'efficacité pour gérer efficacement les données de grande taille. Nous proposons dans cette thèse un nouveau système de gestion de BDBO permettant (1) de supporter des ontologies basées sur différents formalismes d'ontologies, (2) l'extension de son formalisme d'ontologie pour répondre aux besoins spécifiques des applications, et (3) une gestion originale des données facilitant le passage à grande échelle. Le système que nous proposons dans cette thèse, ontodb2, se fonde sur l'existence d'un ensemble de constructions communes aux différents formalismes d'expression d'ontologies, susceptible de constituer une ontologie noyau, et sur les techniques de gestion des modèles pour permettre l'extension flexible de ce noyau. Nous proposons également une approche originale de gestion des données à base ontologique. Cette approche part du fait que les données à base ontologique peuvent se classifier en données canoniques (instances de classes primitives) et noncanoniques (instances de classes définies). Les instances de classes définies peuvent, sous certaines hypothèses, s'exprimer en termes d'instances de classes primitives. Nous proposons donc de ne représenter que les données canoniques, en transformant sous certaines conditions, toute donnée non-canonique en donnée canonique. Enfin, nous proposons d'exploiter l'interpréteur de requêtes ontologiques pour permettre (1) l'accès aux données non-canoniques ainsi transformées et, (2) d'indexer et pré-calculer les raisonnements en se basant sur les mécanismes du SGBD support. L'ensemble de ces propositions est validé (1) à travers une implémentation sur le SGBD PostgreSQL basée sur les formalismes d'ontologies PLIB, RDFS et OWL Lite, (2) des tests de performances sur des ensembles de données issus de la géographie et du WebThe need to represent the semantics of data in various scientific fields (medicine, geography, engineering, etc…) has resulted in the definition of data referring to ontologies, also called ontology-based data. With the proliferation of domain ontologies, and the increasing volume of data to handle, has emerge the need to define systems capable of managing large size of ontology-based data. Such systems are called Ontology Based DataBase (OBDB) Management Systems. The main limitations of existing OBDB systems are (1) their rigidity, (2) lack of support for non standard data (spatial, temporal, etc…) and (3) their lack of effectiveness to manage large size data. In this thesis, we propose a new OBDB called OntoDB2, allowing (1) the support of ontologies based on different ontology models, (2) the extension of its model to meet specific applications requirements, and (3) an original management of ontology-based data facilitating scalability. Onto DB2 is based on the existence of a kernel ontology, and model-based techniques to enable a flexible extension of this kernel. We propose to represent only canonical data by transforming, under certain conditions, any given non-canonical data to its canonical representation. We propose to use the ontology query language to (1) to access non-canonical data thereby transform and, (2) index and pre-calculate the reasoning operations by using the mechanisms of the underlying DBMS
46
Wu, Quentin. "Capitalisation et réutilisation de savoir-faire dans une approche d’ingénierie système basée sur les modèles : application au système de distribution électrique d’aéronefs." Electronic Thesis or Diss., Université de Lorraine, 2020. http://www.theses.fr/2020LORR0112.
Full textAbstract:
L’ « Ingénierie Système Basée sur les Modèles » (ISBM), est une approche d’Ingénierie Système dans laquelle la modélisation est le support de toutes les activités d’ingénierie. Elle est plébiscitée par les industriels comme étant une manière de satisfaire le besoin de prise en compte de la complexité croissante des systèmes, pour lesquels les pratiques d’Ingénierie Systèmes centrées sur les documents arrivent à leurs limites. Cependant, de nombreux retours d’expérience sur la transition vers l’ISBM soulignent la forte courbe d’apprentissage nécessaire à sa mise en œuvre, ainsi que la difficulté pour les ingénieurs de se l’approprier. Dans ce contexte, la contribution de ce manuscrit vise à faciliter l’adoption de l’ISBM par la valorisation des actifs d’ingénierie. Elle cherche à systématiser la capitalisation et la réutilisation de savoir-faire en utilisant le concept de « patron », dont le rôle et le périmètre sont définis dans le cadre de l’ISBM. De manière à accompagner la montée en maturité des processus de capitalisation et de réutilisation au sein d’une entreprise, elle introduit une échelle de maturité permettant d’évaluer une situation d’ingénierie de manière à cibler les efforts à fournir. La contribution porte également sur la formalisation de niveaux d’abstraction des patrons capitalisés et de mécanismes de transition entre ces niveaux d’abstraction. Sur cette base, elle formalise les processus de l’approche « Minage-Maturation-Implémentation de Patrons » (MMIP), dont l’objectif est d’être un guide pour les ingénieurs dans la capitalisation et la réutilisation d’actifs d’ingénierie. La contribution a été éprouvée sur un cas d’étude, dans le cadre d’un nouveau projet industriel au sein de Safran Electrical & Power. L’objectif était de démontrer l’existence de patrons techniques, de les formaliser et de les réutiliser dans un contexte d’ISBMModel Based System Engineering (MBSE) is a System Engineering approach in which modeling is the backbone of all engineering activities. It is widely accepted by the industry as a way to satisfy the need to take into account the ever-increasing complexity of systems, for which document-based Systems Engineering practices are reaching their limits. However, numerous feedbacks on the transition to MBSE highlight the steep learning curve required for its implementation, as well as the difficulty for engineers to master it. In this context, the contribution of this manuscript aims at facilitating the adoption of MBSE through the valorization of engineering assets. It seeks to systematize the capitalization and reuse of know-how by using the concept of "pattern", whose role and scope are defined within the framework of MBSE. In order to increase the maturity of capitalization and reuse processes within a company, a maturity scale is also introduce to assess an engineering situation in order to target the efforts to be made. The contribution also deals with the formalization of levels of abstraction of capitalized patterns and of transition mechanisms between these levels of abstraction. On this basis, it formalizes the “Mining-Maturation-Implementation of Patterns” (MMIP) process, whose objective is to be a guide for engineers in the capitalization and reuse of engineering assets. The contribution has been tested on a case study, within the framework of a new industrial project at Safran Electrical & Power. The objective was to demonstrate the existence of patterns, to formalize them and to reuse them in an MBSE context
47
Gilles, Olivier. "Vers une prise en compte fine de la plate-forme cible dans la construction de systèmes temps réel embarqués critiques par ingénierie des modèles." Phd thesis, Télécom ParisTech, 2010. http://pastel.archives-ouvertes.fr/pastel-00006222.
Full textAbstract:
Une démarche classique d'ingénierie dirigée par les modèles (IDM) consiste à modéliser un problème, puis à générer le code source associé à partir de ce modèle. Cette approche, qui a été étendue succès aux systèmes temps-réel, réduit signicativement les erreurs. Le modèle développé suit généralement une approche fonctionnelle du problème ; celle-ci est cependant rarement optimale en terme de consommation de ressources. Pour les systèmes temps réel, cette limitation est acceptable : ce n'est plus le cas dans le contexte de systèmes temps-réels embarqués (TRE). Cette thèse propose d'associer l'approche IDM à un processus d'optimisation basé sur le modèle du système, pour pouvoir appliquer cette approche aux systèmes TRE. Pour cela, nous proposons d'utiliser ensemble trois solutions : d'une part, AADL, un langage de modélisation architecturale, qui permet de spécifier la composante non-fonctionnelle de l'application. Ensuite, REAL, un langage d'expression de contrainte, qui permet d'exprimer des contraintes sur le modèle. Finalement, un processus d'optimisation, qui permet de transformer un modèle naïf en modèle répondant aux performances requises, en se basant sur des heuristiques gloutonnes. Nous montrons comment cette approche permet d'automatiser le processus de développement, en limitant le rôle de l'architecte à la traduction des contraintes exprimées par le cahier des charges et à la conception d'un modèle naïf du problème.
48
Gauffre, Guillaume. "Couplage de la modélisation et de l'implémentation des systèmes interactifs mixtes." Toulouse 1, 2009. http://www.theses.fr/2009TOU10026.
Full textAbstract:
Les systèmes interactifs émergents affectent profondément les dimensions à prendre en compte lors du développement des systèmes interactifs. La mutation des espaces d'interaction vers des situations moins contraintes et de fait plus diverses, et l'application de nouveaux paradigmes d'interaction : réalité augmentée, interfaces tangibles, systèmes ubiquitaires ou Systèmes Interactifs Mixtes (SIM), engendrent une inadéquation des méthodes et des outils communément admis pour le développement des systèmes interactifs. Nous proposons un support dirigé par les modèles à la conception et à l’implémentation des SIM, couplant modèles abstraits et technologies de déploiement, réconciliant approches descendantes et ascendantes de développement, pour faire face à ces évolutions. Cette contribution ancre les résultats d'une phase du processus de développement des SIM, établis sous la forme d’un ou plusieurs modèles, au coeur des phases suivantes, afin de contribuer à l’efficacité du développement des SIM. Nos travaux ont porté sur la définition et l'exploitation de plusieurs métamodèles, dédiés à la conception de l’interaction et de l’architecture logicielle des SIM (métamodèles ASUR et ASUR-IL). Leur implication dans le processus de développement est définie par des transformations de modèles successives, menant à la création d’assemblages logiciels pour des environnements d’exécution spécifiques aux SIM. Un ensemble d'outils pour l'édition et la transformation de modèles, développé via une approche d’Ingénierie Dirigée par les Modèles (IDM), concrétise chacune de nos contributions et offre ainsi un cadre effectif au développement des SIMEmerging interactive systems deeply affect the dimensions influencing the development of interactive systems. The mutation of the interactive spaces towards less restrained situations, therefore more diversified, and the use of new interaction paradigms: augmented reality, tangible user interfaces, ubiquitous systems or Mixed Interactive Systems (MIS), result with an inadequacy of the methods and tools commonly admitted for developing interactive systems. We propose a model-driven support of the design and the implementation of MIS, coupling abstract models and deployment technologies, reconciling top-down and bottom-up approaches, to face such evolutions. This contribution exports the results of one steps, to promote the development efficiency of MIS. Our works led to the definition and exploitation of several metamodels, dedicated to the design of interaction and software architecture of MIS (ASUR and ASUR-IL metamodels). Their involvement in the development process is defined through successive model transformations, leading to the creation of software assembies for MIS-specific runtime environments. A tool suite for model edition and transformation, developed through a Model-Driven Engineering (MDE) approach, concretises each contribution and gives an effective framework to MIS development
49
Chabot, Martial. "Tests automatisés dirigés par les exigences pour systèmes cyber-physiques." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM056/document.
Full textAbstract:
Aujourd’hui, de nombreux grands industriels de différents domaines se sont lancés dans la conception de produits intelligents pour répondre aux nouveaux besoins du marché. La conception de ces systèmes est de plus en plus complexe, puisqu’ils sont composés de nombreux composants physiques pouvant être contrôlés par des applications s'exécutant sur des processeurs. Afin d'assister cette conception multi-disciplines, la solution que nous proposons dans cette thèse est de diriger la modélisation et la conception du système par la prise en compte des scénarios de test qui devront être utilisés pour valider ses exigences. La méthode préconisée suggère de raisonner au niveau système et de commencer le processus de conception par la formalisation des tests de validation. En d'autres termes, il s'agit en particulier de préciser le(s) critère(s) d’acceptation de l’exigence ainsi que le scénario de test nécessaire pour le(s) vérifier. Formaliser ainsi les tests permet notamment d'analyser la formulation des exigences elles-mêmes et d'y lever toute ambiguïté. Nous proposons un modèle générique de la vue structurelle de l'infrastructure de test, et un profil UML associé. La vue comportementale est modélisée sous forme de diagrammes de séquences SysML. Les interfaces de l'infrastructure de test fournissent des contraintes de testabilité pour le système à concevoir. Nous avons développé un outil, ARES (Automatic geneRation of Executable tests from SysML), qui transforme automatiquement cette spécification structurelle/comportementale des tests en scénarios simulables ou exécutables. Ceux-ci, analogues par construction, seront utilisés pour valider des modèles simulables du système (Matlab/Simulink) puis lors du processus de vérification finale du produit (avec un environnement TestStand). Nous présentons l'application de cet outil sur diverses études de cas associées à des produits Schneider ElectricNowadays, many major manufacturers in different fields are working towards the design of smart products to meet new market needs. The design of these systems is increasingly complex, as they are composed of many physical components controlled by applications running on processors. In order to support this multi-disciplinary design, the solution we propose in this thesis is to guide the system modeling and design by taking into account the test scenarios that will be used to validate its requirements. The method that we propose suggests reasoning at the system level and starting the design process by formalizing validation tests. In other words, it amounts to specifying the acceptance criterion(s) for the requirement as well as the test scenario necessary to verify it. Formalizing the tests in this way makes it possible to analyze the formulation of the requirements themselves and to remove any ambiguity. We propose a generic model of the structural view of the test infrastructure, and an associated UML profile. The behavioral view is modeled as SysML sequence diagrams. The test infrastructure interfaces provide testability constraints for the system to be designed. We have developed a tool, ARES (Automatic GeneRation of Executable Tests from SysML), which automatically transforms this structural/behavioral specification of the tests into simulatable or executable scenarios. These scenarios, analogous by construction, will be used to validate simulatable models of the system (Matlab/Simulink), then during the process of final verification of the product (with a TestStand environment). We present the application of this tool on various case studies associated with Schneider Electric products
50
Piel, Éric. "Ordonnancement de systèmes parallèles temps réel : de la modélisation à la mise en oeuvre par l'ingénierie dirigée par les modèles." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Piel.pdf.
Full textAbstract:
Les travaux de cette thèse s'inscrivent dans le cadre de l'ordonnancement de calculs à haute performance sur multiprocesseurs à mémoire partagée. Ces travaux recouvrent deux parties distinctes. Dans une première partie nous abordons le flot de conception de systèmes-sur-puce muIti-processeurs. Nous proposons la modélisation de ces systèmes en UML afm de compléter la sémantique propre au parallélisme, et de permettre le raffinement du modèle de SoC jusqu'à une spécification complète, en restant au plus haut niveau de conception. Par la suite nous présentons un nouveau niveau de simulation qui, en prenant en compte le particularisme du traitement intensif de données, abstrait le fonctionnement du SoC. En particulier, l'exécution et l'ordonnancement des tâches sont directement effectués sur la machine hôte. La simulation, implémentée en SystemC, permet de très rapidement évaluer les performances d'un placement de données et de tâches sur une architecture. La compilation du modèle de SoC vers la simulation est faite à l'aide d'une chaîne de transformations de modèles. Nous détaillons les avantages apportés par l'usage de l'ingénierie dirigée par les modèles pour la conception de SoC. Enfin nous illustrons la mise en œuvre de l'ensemble du flot de conception développé au cours de la thèse avec un exemple d'exploration d'architectureDans une seconde partie, nous proposons une approche permettant d'exploiter les systèmes muIti-processeurs pour garantir les propriétés temps-réel d'applications parallèles. L'approche se base sur le fait que les tâches qui composent le système ont des priorités différentes, en particulier vis-à-vis du temps de réponse aux interruptions. L'introduction d'asymétrie parmi la liste d'ordonnancement des processeurs permet d'assurer de faibles latences pour les tâches à priorité temps-réel. Un équilibrage de charge adapté permet de maintenir toute la puissance potentielle des processeurs. Cette contribution est complétée d'une validation expérimentale basée sur une implémentation dans le noyau Linux