Дисертації з теми "Ingénierie des systèmes – Ingénierie dirigée par les modèles"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Ingénierie des systèmes – Ingénierie dirigée par les modèles".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
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/.
Повний текст джерелаThis 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
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаThe 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
Lajmi, Amine. "Usine logicielle de composants de simulation de procédés CAPE-OPEN." Paris 6, 2010. http://www.theses.fr/2010PA066062.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаThe 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
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.
Повний текст джерелаSystems 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
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.
Повний текст джерела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.
Повний текст джерелаComputer 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
Wouters, Laurent. "Multi-domain expert-user modeling infrastructure." Paris 6, 2013. http://www.theses.fr/2013PA066200.
Повний текст джерелаThis 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
Nehan, Habas Yves-Roger. "MeTSI : une méthode de transformation de services intentionnels." Paris 1, 2010. http://www.theses.fr/2010PA010017.
Повний текст джерела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.
Повний текст джерелаIn 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
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.
Повний текст джерела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.
Повний текст джерелаThe 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
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.
Повний текст джерелаThe 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
Blouin, Dominique. "Modeling languages for requirements engineering and quantitative analysis of embedded systems." Lorient, 2013. http://www.theses.fr/2013LORIS313.
Повний текст джерелаL’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
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.
Повний текст джерела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.
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.
Повний текст джерела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.
Повний текст джерелаThis 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
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.
Повний текст джерелаThis 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
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.
Повний текст джерелаmodè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).
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.
Повний текст джерелаThe 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
Morin, Brice. "Leveraging models from design-time to runtime to support dynamic variability." Rennes 1, 2010. http://www.theses.fr/2010REN1S101.
Повний текст джерелаCette 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
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.
Повний текст джерелаInformation 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
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.
Повний текст джерелаThis 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
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.
Повний текст джерелаOur 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
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.
Повний текст джерелаAs 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
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.
Повний текст джерелаOur 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
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.
Повний текст джерела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.
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.
Повний текст джерелаThe 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
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.
Повний текст джерела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.
Повний текст джерелаThis 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
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.
Повний текст джерела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.
Повний текст джерелаNowadays, 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
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.
Повний текст джерелаThe 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
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.
Повний текст джерелаThe 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
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаThe 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
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.
Повний текст джерела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.
Повний текст джерелаThe 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
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.
Повний текст джерелаModel 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
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.
Повний текст джерела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.
Повний текст джерелаEmerging 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
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.
Повний текст джерелаNowadays, 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
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.
Повний текст джерелаDans 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