WorldCat Identities

Soriano, Thierry

Overview
Works: 22 works in 30 publications in 2 languages and 28 library holdings
Roles: Opponent, Other, Thesis advisor
Publication Timeline
.
Most widely held works by Thierry Soriano
Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données by Emmanuel Geveaux( Book )

2 editions published in 1998 in French and held by 3 WorldCat member libraries worldwide

Ce travail presente un environnement de developpement d'applications de controle/commande de procede, base sur le modele grafcet, et implemente grace a un langage graphique flot de donnees, labview. L'utilisation d'un langage flot de donnees a permis une programmation parallele simple et naturelle mais a necessite le developpement d'outils de cooperation entre diagrammes flots de donnees concurrents. Le choix du modele grafcet, outil de specification largement utilise dans le monde de l'automatisme, permet un passage aise vers l'implementation. Ce choix a demande la mise en place d'une methode de transformation de graphes cycliques en graphes acycliques afin de pouvoir utiliser l'editeur graphique de labview pour saisir un grafcet. Le developpement d'une application dans cet environnement se fait en deux phases : une phase d'edition du grafcet de commande puis une phase d'integration et d'execution ou le modele edite est compile afin de realiser le controle du systeme que l'on souhaite piloter. Cette phase d'integration et d'execution est realisee a partir de modules canevas offrant une architecture parallele d'application ou l'utilisation des outils de cooperations entre diagrammes flots de donnees concurrents s'est averee utile et efficace
INTEGRATION D'OUTILS DE SIMULATION ET D'OPTIMISATION POUR LE PILOTAGE D'UNE LIGNE D'ASSEMBLAGE MULTIPRODUIT A TRANSFERT ASYNCHRONE by Franck Fontanili( Book )

1 edition published in 1999 in French and held by 2 WorldCat member libraries worldwide

LA FAIBLE DUREE DE VIE DES PRODUITS ET LA MULTITUDE DES VARIANTES PROPOSEES AUX CLIENTS OBLIGENT LES ENTREPRISES A DISPOSER DE SYSTEMES DE PRODUCTION FLEXIBLES ET MODULAIRES. DANS CE TRAVAIL DE RECHERCHE, LES SYSTEMES D'ASSEMBLAGE, PARTICULIEREMENT REPRESENTATIFS PUISQU'ILS CONSTITUENT SOUVENT L'UNE DES DERNIERES ETAPES DU PROCESSUS DE PRODUCTION OU SE FAIT LA PERSONNALISATION, SONT UTILISES COMME SUPPORT. ON SE FOCALISE PLUS PRECISEMENT SUR L'ASPECT PILOTAGE DU FLUX DANS LE CAS D'UNE LIGNE FLEXIBLE D'ASSEMBLAGE A TRANSFERT ASYNCHRONE. EN EFFET, OUTRE LES DIFFICULTES INHERENTES A LA CONCEPTION D'UN SYSTEME FLEXIBLE D'ASSEMBLAGE, LA GESTION DU FLUX EN COURS D'EXPLOITATION NECESSITE, POUR CHAQUE NOUVELLE PRODUCTION, LA DETERMINATION OPTIMALE DES PARAMETRES DE PILOTAGE AFIN DE MINIMISER LES DELAIS, LES ENCOURS, LES REGLAGES, ETC L'OBJECTIF DE CE TRAVAIL EST DE PROPOSER UNE ARCHITECTURE D'INTEGRATION D'OUTILS INFORMATIQUES PERMETTANT D'OPTIMISER LES PARAMETRES DE PILOTAGE D'UNE LIGNE EN EXPLOITATION. LA SIMULATION DE FLUX EST LE PREMIER OUTIL UTILISE. SON TEMPS DE REPONSE, TRES NETTEMENT INFERIEUR A CELUI DU SYSTEME REEL, PERMET DE TESTER UN GRAND NOMBRE DE COMBINAISONS DES PARAMETRES. MAIS SI LE NOMBRE DE COMBINAISONS EST TRES IMPORTANT, LA SIMULATION EXHAUSTIVE DE CHACUNE D'ELLES S'AVERE LONGUE ET FASTIDIEUSE. ON PROPOSE DONC DE COUPLER LA SIMULATION A UN AUTRE OUTIL : UN ALGORITHME D'OPTIMISATION DE TYPE HEURISTIQUE. LES EXPERIMENTATIONS REALISEES AVEC PLUSIEURS ALGORITHMES ET EN PARTICULIER AVEC UN ALGORITHME GENETIQUE, MONTRENT L'EFFICACITE DE CE COUPLAGE. POUR SATISFAIRE SIMULTANEMENT PLUSIEURS OBJECTIFS, L'ALGORITHME EST ENSUITE COMPLETE PAR UNE METHODE DE SELECTION MULTICRITERE
Réduction de la consommation électrique du contrôle-commande des machines automatisées by Christophe Ligeret( Book )

3 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

This thesis presents an analysis of energy consumption of control systems of automated machines. The main objective is to reduce energy consumption of control part. In this document, we present notions related with control systems and we develop methods and an energy consumption simulator which is an analysis tool of energy consumption. Thus, we make an analysis according 3 axes: energy consumption of each control part, consumption of control systems according to choice of components and consumption according to operating modes. So this work proposes an energy consumption methodology and makes it possible to show that energy consumption of control systems is often low with respect to energy consumed by actuators. However, it is possible to reduce by 2 energy consumption of control
Une méthode industrielle de conception de commande par automate hybride développée en objets by Ngo Van Hien( )

1 edition published in 2001 in French and held by 2 WorldCat member libraries worldwide

Les systèmes de commande de machines actuelles prennent en compte des modèles à événements discrets et des modèles de comportement continu : ce sont des systèmes dynamiques hybrides. Ces modèles se distribuent sur différents modes de fonctionnement associés à des traitements liés à l'interactivité avec l'utilisateur. Par ailleurs les systèmes commandés n'ont pas toujours le même comportement car celui ci est associé à des hypothèses de validité à vérifier à tout instant ; il existe des modes de fonctionnement autres que le mode nominal. Le comportement global de tels systèmes est donc complexe. De surcroît, l'immersion dans un contexte industriel fait que le concepteur et le programmeur de la commande doivent tenir compte des coûts et de l'existant en termes de formalismes et de langages. Réutilisation, modularité et spécialisation sont autant d'éléments à associer à la production d'une nouvelle application. A partir de ces considérations, nous présentons dans cette thèse une méthode industrielle de conception d'une commande par automate hybride développée en objets. Le formalisme retenu pour l'analyse et la conception est celui des automates hybrides. C'est le formalisme commun aux mondes de l'informatique et de l'automatique qui nous a paru le plus pertinent. Cependant, en tant que tel, il ne pouvait répondre complètement aux nécessités d'un système de commande et nous avons proposé un développement basé sur les invariants et les gardes permettant d'éviter certaines situations inacceptables de blocage de l'automate. Pour l'identification d'un modèle nous utilisons les concepts de "cas d'utilisation" pour capter les événements et de "diagramme fonctionnel" pour les traitements continus. Les conditions de sécurité des composants et les hypothèses de validité permettent d'identifier des invariants liés aux états. Pour le langage couvrant la méthode depuis l'analyse jusqu'à la réalisation, nous avons retenu UML (Unified Modeling Language) supportant les principes de conception orientée objet largement répandus. Cependant son manque de précision dans le domaine de la communication entre objets nous a conduit vers une version temps réel basée sur la notion de "capsule" que nous avons adaptée en spécialisant un ensemble de capsules dans un comportement précis. Pour la réalisation nous avons respecté les contraintes de l'existant en proposant à coté des traductions directes de certains ateliers en C++ ou Java, des règles de passage permettant d'utiliser les langages d'automates programmables industriels des normes IEC 1131 et IEC 61499 Enfin, nous présentons deux applications de cette démarche ; la première à un système qui permet de stabiliser la fréquence du courant d'une station électro-hydraulique et la seconde à un système de balayage vidéo, sous-système d'un dispositif de détection de personnes
Vers un langage de modélisation spécifique au domaine des systèmes de télécontrôle ubiquitaire by Amara Touil( Book )

2 editions published in 2011 in French and held by 2 WorldCat member libraries worldwide

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 ubiquitaire
Une contribution à la productique : modélisation de données pour la maintenance intégrée des systèmes automatisés de production by Enrique Getan Cabre( Book )

1 edition published in 1994 in French and held by 2 WorldCat member libraries worldwide

L'objet de cette thèse est d'établir un Modèle Conceptuel de Données ou MCD pour la Maintenance Intégrée des Systèmes Automatisés de Production ou SAP. L'étude réalisée s'inscrit dans la continuité du projet Base-PTA, aujourd'hui Norme Françaises (NF Z 68901) traitant de la représentation des systèmes de contrôle et de commande des SAP. Au cours de ce travail de recherche nous nous sommes plus particulièrement intéressés à la situation actuelle de la maintenance des SAP ; les méthodes de conception et de réalisation d'un MCD ; l'apport de Base-PTA en période d'exploitation pour développer la réactivité de la maintenance des SAP par la réutilisation des données de conception ; les concepts existants et innovateurs pour la maintenance des SAP ; la modélisation des données et la validation du modèle de référence proposé. Le travail effectué se base sur le principe de l'intégration par les données et a débouché sur les résultats suivants l'identification des besoins pour la maintenance des SAP ; la proposition d'une méthode de modélisation conceptuelle ; la définition d'un modèle conceptuel de données de référence pour la maintenance intégrée des SAP ; un ensemble d'expérimentations destinées à vérifier le modèle proposé. Ces travaux ont permis de mieux situer la problématique de la maintenance des SAP et la solution proposée est un modèle de données cohérent, pertinent et intégré
Simulation temps-réel distribuée de modèles numériques : application au groupe motopropulseur by Abir Ben Khaled-El Feki( )

1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide

Nowadays the validation of Electronic Control Units ECUs generally relies on Hardware-in-The-Loopsimulation where the lacking physical systems are modeled using hybrid differential equations. Theincreasing complexity of this kind of models makes the trade-off between time efficiency and the simulationaccuracy hard to satisfy. This thesis investigates and proposes some analytical and experimentalmethods towards weakly-hard real-time co-simulation of hybrid dynamical models. It seeks in particularto define solutions in order to exploit more efficiently the parallelism provided by multi-core architecturesusing new methods and paradigms of resource allocation. The first phase of the thesis studied the possibilityof using step-size and order control numerical integration methods with events detection in thecontext of real-time modular co-simulation when the time constraints are considered weakly-hard. Moreover,the execution order of the different models was studied to show the influence of keeping or not thedata dependencies between coupled models on the simulation results. We proposed for this aim a newmethod of co-simulation that allows the full parallelism between models implying supra-linear speed-upswithout adding errors related to their execution order. Finally, the delay errors due to the communicationstep-size between the models were improved thanks to a proposed context-based inputs extrapolation.All proposed approaches target constructively to enhance the simulation speed for the compliance toreal-time constraints while keeping the quality and accuracy of simulation results under control and theyare validated through several test and experiments on an internal combustion engine model and integratedto a prototype version of the xMOD software
Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture : application au systèmes portes passagers by Jean Verries( Book )

2 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

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
Une méthode pour le prototypage virtuel de machines industrielles by Adel Sghaier( Book )

2 editions published in 2005 in French and held by 1 WorldCat member library worldwide

In our thesis we propose a method for modelling industrial machines in virtual environment. In Tact; the structure of an industrial machine model is composed by "Virtual Components" which corresponds to the physical industrial components of the machine and a control pan which corresponds to the functional specification of the machine. In our approach, each virtual component is modelled by VRML model for geometry and by hybrid automata (HA) for behaviour. The control part is modelled by Sequential Function Charts (SFC), as it is the case in the majority of industrial machines. Those SFC are translated to HA and composed with the virtual components IIA. The whole HA model of the machine is then implemented in the generic virtual environment "OpenMASK" by specific translation method which was developed previously. This approach makes virtual prototyping accessible by the specialists in the domain of industrial machine design domain, "["he method developed in our works is independent from the virtual reality platform. The modelling method developed in this thesis is implemented through two examples in order to validate our approach
Intégration de techniques de vérification par simulation dans un processus de conception automatisée de contrôle commande by Sophie Prat( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

Nowadays, engineers have to design open, complex and sociotechnical systems. The process control systems belong to this class of systems, in which the system performance relies on the joint optimisation of technical components and human components. To avoid the late discovery of design errors, it is necessary to perform tests throughout the design without adding design costs and delays. The aim of this work is therefore to facilitate the integration of checking by simulation, from early design stage, for process control systems such as fluid management systems. Regarding the adaptable feature of the system and its evolution in a dynamic environment, a first contribution focusses on the verification approach, by modelling the requirements within the context. Then, to facilitate the obtaining of the process simulation models required for checking throughout the design, we propose an automatic generation approach of simulation models in Modelica language (multi-domain modelling), from a P&ID model (modelling of the functional architecture of the process) and a library of elements (containing the simulation models of elements). To provide a proof of concept and a proof of use of our proposals, this approach has been implemented into Anaxagore, an automated design flow for monitoring and control
Systèmes mécatroniques à paramètres variables : analyse du comportement et approche du tolérancement by Manel Zerelli( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

In this thesis we proposed a method for the study of parametric variation for continuous and hybrid systems and an approach for mechatronics tolerancing. We first studied the different existing approaches to take into account the variation of parameters. For continuous systems with variable parameters we chose the method of differential inclusions. We took the Raczynski algorithm and we have developed an optimization algorithm which is based on the steepest descent method with an extension to obtain global optimum. For hybrid systems, containing continuous evolutions and discrete jumps, and have parametric variations, we have chosen the formalism of impulse differential inclusion as a modeling tool. We took this formalism and identified its components on a mechatronic system. We have developed algorithms for solving impulse differential inclusions for several variable parameters. To view the results, the developed algorithms were implemented in Mathematica. We ended this part by a comparison between our approach and others like those around hybrid automata invariant polyhedron, polygonal differential inclusions and practical algorithm for solving differential inclusion. We showed then some advantages of our approach. In the last part, we organized the different tools used and results obtained to define and refine our approach to tolerancing. We defined the area of the desired operation, the various scenarios that may present, and its intersection with reachable area. We presented a metric tool based on topological Hausdorff distance for the calculation of distances between the different sets. With these elements, we proposed an iterative approach to tolerancing in the state space
Contribution au prototypage virtuel de systèmes mécatroniques basé sur une architecture distribuée HLA. Expérimentation sous les environnements OpenModelica-OpenMASK by Hassen Jawhar Hadj Amor( Book )

2 editions published in 2008 in French and held by 1 WorldCat member library worldwide

Mechatronics is the integration of different sciences and techniques of mechanical engineering, automation, electonics and informatics. The rapid evolution of the market competitors requires the reduction of development time of a product while increasing the quality and performance. It is therefore necessary to increase the effectiveness of the design process. To meet this need, in addition to the tools of analysis, simulation and especially virtual prototyping has become a key technology. It is difficult to find simulation tools capable of analyzing multi-dependent systems of different areas. However, an environment that allows a simulation integrating multidisciplinary mechatronic systems is necessary. This article describes a method of design and simulation of mechatronic systems. It identifies the first model of behaviour and the associated 3D geometric model. Then, the model of behaviour is seen as a dynamic hybrid system of two coupled hybrid automata (Operative part, Control part). We then present simulators OpenMASK, Openmodelica, the IEEE1516 standard HLA and work related to the architecture of distributed simulation. In a top-down, then we present our approach and testing to integrate the features of HLA in these simulators, to distribute the high level modelling elements of mechatronic systems and finally to complement Modelica with the formalism of hybrid automata which is essential in this work. We offer extensions to integrate real-time for interactive simulations. Finally we apply this approach on simulators cited using the HLA CERTI bus in a Linux environment through a representative example of a mechatronic system
Conception préliminaire des actionneurs électromagnétiques basée sur les modèles : lois d'estimations et règles de conception pour la transmission de puissance mécanique. by Fabien Hospital( )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

In the continuity of work of research on embedded systems of mechanical transmission, this these has two objectives: to improve estimation models of Electromechanical Actuator (EMA) pieces and to extend the cross-cutting vision of preliminary design to the dynamic aspects. Indeed, in the preliminary design based on models, this research should allow to adapt the choice of architectures and technologies to static and dynamic performance to achieve. The models developed from the scaling laws will be extended and exploited to modelize elementary pieces of the EMA and to highlight rules of "good practices" in preliminary design. We focus in particular on the design of EMA in aeronautic field. In the first time, we developed estimations models and métamodèles of elementary components of EMA which was decomposed in housing and elementary pieces.In a second time, we established rules of good practices for actuator sizing in control position loop. Contrary to older researches, we take into account control synthesis to create these rules. From simulations models, we quantified the influence of technological defects of components (inertia and saturations, elasticity (backlash), friction) on EMA performances. Indeed, the usual command structures and the choice of the elements of control are intimately linked to the dynamic performance and these defects.Finally, to give test way to identify with accuracy a friction model in aeronautical conditions of temperature, a test bench of Harmonic Drive was create, integrated and implemented. It allows booting the validation of rules of good practices in preliminary design
Conception des systèmes mécaniques complexes en comportement dynamique. Contribution à une démarche physico-fiabiliste à partir d'un système à pile à combustible pour véhicule électrique à hydrogène by Sophie Collong( )

1 edition published in 2016 in French and held by 1 WorldCat member library worldwide

The integration of complex mechanical systems subject to stringent vibration environments requiresconsideration of the real conditions of use from the beginning of the design phase.The thesis shows that the vibration environment and the duration of exposure to this environmentdepend on the use of the system throughout its life cycle. The evaluation of its use is based on thejoint evolution of both the user behavior and the system technology development.The dependability analysis of a complex mechanical system leads to consider the system as a wholeand thus to investigate in depth the dynamic behavior of critical components. A basic modeling ofthe mechanical system allows to qualitatively and quantitatively identify key dynamic behaviors anddetermines the vibration loads to which selected critical components are subjected. On this basis,modeling the behavior of a mechanical component leads to assess its fatigue damage. This indicatorhelps the designer in his choice of component geometry.Finally, the climatic environment as well as effects related to the internal functioning of the system,have been taken into account by performing vibro-climatic tests of on an operating systems, i.e. a fuelcell system integrated into a hydrogen electric vehicle. This helped to develop a procedure to supportthe design of complex mechanical systems
Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture application au systèmes portes passagers by Jean Verries( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

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èles
Amélioration de la rapidité d'exécution des systèmes EDO de grande taille issus de Modelica by Thibaut-Hugues Gallois( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

The study of systems of Ordinary Differential Equations aims at predicting the future of the considered systems. The access to the evolution of all states of a system's model allows us to predict possible drastic shifts of the states or failures, e.g. an engine blowing up, a bridge collapsin, a car consuming more gasoline etc. Solving ordinary differential equations is then an essential step of building industrial physical systems in regard to dimensioning and reliability. The solver of such ODE systems needs to be fast, accurate and relevant.In practice, it is not possible to find a continuous function as the exact solution of the real ODE problem. Consequently numerical methods are used to give discrete solutions which approximates the continuous one with a controllable error. The correct handline of this control is very important to get a relevant solution within an acceptable recovery time. Starting from existing studies of local and global errors, this thesis work goes more deeply and adjusts the time step of the integration time algorithm and solves the problem in a very efficient manner.A new scheme is proposed is this thesis, to minimize the cost of integration. Another method to improve the execution speed is to parallelize the ODE solver by using a multicore and a multiprocessor architecture. Finally, the solver has been tested with different applications from OpenModelica
Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques by Aude Warniez( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

The integration of mechatronic systems is the main source of their design complexity. Three key types of integration are at stake: multi-domain integration which is intended to synergistically integrate mechanics, electronics, information technology and automation; multi-level integration taking into account the interfaces between the different system abstraction levels, and finally physical integration that aims at embedding a large number of components in an increasingly limited volume. The purpose of our approach is to propose a means of assessing this integration degree in mechatronic systems design, as early as possible in the design cycle. The predesign phase indeed generates numerous architectures that will be shared, analyzed, debated and revised before being assessed in order to select the most relevant one according to the specifications to be met. Designers then require means and effective tools to compare alternative architectures, to justify and trace their design choices and thus facilitate decision-making trade-offs. Based on Model-Based Systems Engineering (MBSE), the metrics we developed aim at evaluating and quantitatively comparing the integration degree of mechatronic architectures, in order to provide systems architects an efficient support to opt for the concept to be selected. The objectives addressed by these metrics are multi-level, multi-domain and physical integrations, as well as the innovation degree and finally the design project implementation of mechatronic systems. These metrics have been implemented in SysML and experimented with a CAD tool (CATIA) on different architectures of two mechatronic systems: a wheel hub motor and a hybrid powertrain. Finally, a method to generate customized metrics has been established to meet industrial needs, by taking into account specificities relating to the culture, organization, strategy of each company and their designers' knowledge and feedbacks
Scheduling of a Cyber-Physical Sytem Simulation by Henrick Deschamps( )

1 edition published in 2019 in English and held by 1 WorldCat member library worldwide

The work carried out in this Ph.D. thesis is part of a broader effort to automate industrialsimulation systems. In the aeronautics industry, and more especially within Airbus, thehistorical application of simulation is pilot training. There are also more recent uses in thedesign of systems, as well as in the integration of these systems. These latter applicationsrequire a very high degree of representativeness, where historically the most important factorhas been the pilot's feeling. Systems are now divided into several subsystems that are designed, implemented andvalidated independently, in order tomaintain their control despite the increase in their complexity,and the reduction in time-to-market. Airbus already has expertise in the simulationof these subsystems, as well as their integration into a simulation. This expertise is empirical;simulation specialists use the previous integrations schedulings and adapt it to a newintegration. This is a process that can sometimes be time-consuming and can introduce errors.The current trends in the industry are towards flexible production methods, integrationof logistics tools for tracking, use of simulation tools in production, as well as resourcesoptimization. Products are increasingly iterations of older, improved products, and tests andsimulations are increasingly integrated into their life cycles. Working empirically in an industry that requires flexibility is a constraint, and nowadays itis essential to facilitate the modification of simulations. The problem is, therefore, to set upmethods and tools allowing a priori to generate representative simulation schedules.In order to solve this problem, we have developed a method to describe the elementsof a simulation, as well as how this simulation can be executed, and functions to generateschedules. Subsequently, we implemented a tool to automate the scheduling search, based onheuristics. Finally, we tested and verified our method and tools in academic and industrialcase studies
Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques by Skander Turki( Book )

2 editions published in 2008 in French and held by 1 WorldCat member library worldwide

La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc.), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées-objet, en l'occurence l'ingénierie guidée par les modèles MDE, pour construire une méthodologie permettant d'entreprendre cette approche systématique supportant les activités d'ingénierie décrites dans le standard ISO/IEC/IEEE 15288. Dans cette thèse, nous proposons une méthodologie qui répond à ces besoins intitulés MISSyM. Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profils supportant le standard IEEE 15288. De plus, MISSyM intègre le support d'éléments de modélisation spécifiques aux systèmes mécatroniques. Nous avons aussi intégrer dans MISSyM une extension à SysML supportant les Bonds Graphs et permettant d'entreprendre une analyse énergétique. Nous avons par la suite enrichi la méthodologie MISSyM par une méthode de vérification de la qualité de l'architecture qui repose sur un algorithme utilisant des métriques et un algorithme de partitionnement de la matrice de dépendances ou DSM. Nous avons en plus ajouté la génération de codes vers le langage de simulation Modelica. Finalement, nous avons décrit le processus global de la méthodologie basé sur l'architecture de modèles MDA et en concordance avec le standard IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingénieurs système de mieux utiliser le langage SysML à travers cette méthodologie
Contribution au prototypage virtuel de systèmes mécatroniques basé sur une architecture distribuée HLA. Expérimentation sous les environnements OpenModelica-OpenMASK by Hassen Jawhar Hadj Amor( )

1 edition published in 2008 in French and held by 0 WorldCat member libraries worldwide

Mechatronics is the integration of different sciences and techniques of mechanical engineering, automation, electonics and informatics. The rapid evolution of the market competitors requires the reduction of development time of a product while increasing the quality and performance. It is therefore necessary to increase the effectiveness of the design process. To meet this need, in addition to the tools of analysis, simulation and especially virtual prototyping has become a key technology. It is difficult to find simulation tools capable of analyzing multi-dependent systems of different areas. However, an environment that allows a simulation integrating multidisciplinary mechatronic systems is necessary. This article describes a method of design and simulation of mechatronic systems. It identifies the first model of behaviour and the associated 3D geometric model. Then, the model of behaviour is seen as a dynamic hybrid system of two coupled hybrid automata (Operative part, Control part). We then present simulators OpenMASK, Openmodelica, the IEEE1516 standard HLA and work related to the architecture of distributed simulation. In a top-down, then we present our approach and testing to integrate the features of HLA in these simulators, to distribute the high level modelling elements of mechatronic systems and finally to complement Modelica with the formalism of hybrid automata which is essential in this work. We offer extensions to integrate real-time for interactive simulations. Finally we apply this approach on simulators cited using the HLA CERTI bus in a Linux environment through a representative example of a mechatronic system
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Conception ... to 0.00 for Conception ...)

Languages
French (26)

English (2)