Academic literature on the topic 'Software construction method'

Nous avons commencé la thèse par la littérature d'enquête sur les approches SPLE et CbyC dans l'état de l'art. Sur la base de l'aperçu et des connaissances obtenues, nous avons analysé les problèmes existants et suggéré des moyens de les résoudre pour notre objectif principal. Nous avons proposé dans le chapitre 2 une méthodologie pour développer des lignes de produits afin que les produits générés soient corrects par construction. Notre intention principale est qu'un utilisateur n'a pas besoin de connaître le processus de génération de produit mais peut recevoir un produit final correct en sélectionnant une configuration de fonctionnalité. En utilisant la méthodologie, les produits finaux sont générés automatiquement et leur exactitude est garantie. À la suite de cette proposition, nous sommes passés au chapitre 3 pour définir la langue de FFML qui est utilisé pour l'écriture de modules. Le mécanisme de réutilisation et de modification, défini pour la langue et appliqué à toutes sortes d'artefacts (spécification, code et preuve de précision) réduit l'effort de programmation. Au chapitre 4, nous nous sommes concentrés sur la définition des mécanismes de composition pour la composition des modules FFML et les intégrons à l'outil FFML Product Generator. L'évaluation de notre méthodologie est réalisée par le développement de deux lignes de produits logiciels, le compte bancaire SPL et le SPL de poker, ce dernier étant un peu plus complexe que le premier. Dans l'évaluation, nous avons souligné les avantages et la limitation de notre méthodologie<br>We began the thesis by survey literature on SPLE and CbyC approaches in the State of the Art. Based on the overview and the insights obtained, we have analyzed the existing problems and suggested ways to solve them for our main goal. We have proposed in Chapter 2 a methodology to develop product lines such that the generated products are correct-by-construction. Our main intention is that a user does not need to know the product generation process but can receive a correct final product from selecting a configuration of features. Using the methodology, the final products are generated automatically and their correctness is guaranteed. Following this proposal, we have moved in Chapter 3 to define the FFML language that is used for writing modules. The reuse and modification mechanism, defined for the language and applied to all kinds of artifacts (specification, code and correctness proof), reduce the programming effort. In Chapter 4, we have focused on defining the composition mechanisms for composing FFML modules and embedded them into the FFML Product Generator tool. The evaluation of our methodology is performed through the development of two software product lines, the Bank Account SPL and the Poker SPL, the latter being a bit more complex than the former. In the evaluation, we have highlighted the advantages and the limitation of our methodology

El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en una amplia variedad de áreas de aplicación. En general, los componentes COTS son componentes de software que proveen una funcionalidad específica, que están disponibles en el mercado para ser adquiridos e integrados dentro de otros sistemas de software. Los beneficios potenciales de esta tecnología son principalmente la reducción de costes y el acortamiento del tiempo de desarrollo, a la vez que fomenta la calidad. Sin embargo, numerosos retos que van desde problemas técnicos y legales deben ser afrontados para adaptar las actividades tradicionales de ingeniería de software para explotar los beneficios del uso de COTS para el desarrollo de sistemas.Actualmente, existe un incrementalmente enorme mercado de componentes COTS; así, una de las actividades más críticas en el desarrollo de sistemas basados en COTS es la selección de componentes que deben ser integrados en el sistema a desarrollar. La selección está básicamente compuesta de dos procesos principales: La búsqueda de componentes candidatos en el mercado y su posterior evaluación con respecto a los requisitos del sistema. Desafortunadamente, la mayoría de los métodos existentes para seleccionar COTS, se enfocan en el proceso de evaluación, dejando de lado el problema de buscar los componentes en el mercado. La búsqueda de componentes en el mercado no es una tarea trivial, teniendo que afrontar varias características del mercado de COTS, tales como su naturaleza dispersa y siempre creciente, cambio y evolución constante; en este contexto, la obtención de información de calidad acerca de los componentes no es una tarea fácil. Como consecuencia, el proceso de selección de COTS se ve seriamente dañado. Además, las alternativas tradicionales de reuso también carecen de soluciones apropiadas para reusar componentes COTS y el conocimiento adquirido en cada proceso de selección. Esta carencia de propuestas es un problema muy serio que incrementa los riesgos de los proyectos de selección de COTS, además de hacerlos ineficientes y altamente costosos. Esta disertación presenta el método GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) enfocado a la construcción de infraestructuras de reuso para facilitar la búsqueda y reuso de componentes COTS. El método está basado en el uso de objetivos para construir taxonomías abstractas, bien fundamentadas y estables para lidiar con las características del mercado de COTS. Los nodos de las taxonomías son caracterizados por objetivos, sus relaciones son declaradas como dependencias y varios artefactos son construidos y gestionados para promover la reusabilidad y lidiar con la evolución constante.El método GOThIC ha sido elaborado a través de un proceso iterativo de investigación-acción para identificar los retos reales relacionados con el proceso de búsqueda de COTS. Posteriormente, las soluciones posibles fueron evaluadas e implementadas en varios casos de estudio en el ámbito industrial y académico en diversos dominios. Los resultados más relevantes fueron registrados y articulados en el método GOThIC. La evaluación industrial preliminar del método se ha llevado a cabo en algunas compañías en Noruega.<br>The process of building software systems by assembling and integrating pre-packaged solutions in the form of Commercial-Off-The-Shelf (COTS) software components has become a strategic need in a wide variety of application areas. In general, COTS components are software components that provide a specific functionality, available in the market to be purchased, interfaced and integrated into other software systems. The potential benefits of this technology are mainly its reduced costs and shorter development time, while maintaining the quality. Nevertheless, many challenges ranging form technical to legal issues must be faced for adapting the traditional software engineering activities in order to exploit these benefits.Nowadays there is an increasingly huge marketplace of COTS components; therefore, one of the most critical activities in COTS-based development is the selection of the components to be integrated into the system under development. Selection is basically composed of two main processes, namely: searching of candidates from the marketplace and their evaluation with respect to the system requirements. Unfortunately, most of the different existing methods for COTS selection focus their efforts on evaluation, letting aside the problem of searching components in the marketplace. Searching candidate COTS is not an easy task, having to cope with some challenging marketplace characteristics related to its widespread, evolvable and growing nature; and the lack of available and well-suited information to obtain a quality-assured search. Indeed, traditional reuse approaches also lack of appropriate solutions to reuse COTS components and the knowledge gained in each selection process. This lack of proposals is a serious drawback that makes the whole selection process highly risky, and often expensive and inefficient. This dissertation introduces the GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) method aimed at building a domain reuse infrastructure for facilitating COTS components searching and reuse. It is based on goal-oriented approaches for building abstract, well-founded and stable taxonomies capable of dealing with the COTS marketplace characteristics. Thus, the nodes of these taxonomies are characterized by means of goals, their relationships declared as dependencies among them and several artifacts are constructed and managed for reusability and evolution purposes. The GOThIC method has been elaborated following an iterative process based on action research premises to identify the actual challenges related to COTS components searching. Then, possible solutions were envisaged and implemented by several industrial and academic case studies in different domains. Successful results were recorded to articulate the synergic GOThIC method solution, followed by its preliminary industrial evaluation in some Norwegian companies.

El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en una amplia variedad de áreas de aplicación. En general, los componentes COTS son componentes de software que proveen una funcionalidad específica, que están disponibles en el mercado para ser adquiridos e integrados dentro de otros sistemas de software. Los beneficios potenciales de esta tecnología son principalmente la reducción de costes y el acortamiento del tiempo de desarrollo, a la vez que fomenta la calidad. Sin embargo, numerosos retos que van desde problemas técnicos y legales deben ser afrontados para adaptar las actividades tradicionales de ingeniería de software para explotar los beneficios del uso de COTS para el desarrollo de sistemas.<br/>Actualmente, existe un incrementalmente enorme mercado de componentes COTS; así, una de las actividades más críticas en el desarrollo de sistemas basados en COTS es la selección de componentes que deben ser integrados en el sistema a desarrollar. La selección está básicamente compuesta de dos procesos principales: La búsqueda de componentes candidatos en el mercado y su posterior evaluación con respecto a los requisitos del sistema. Desafortunadamente, la mayoría de los métodos existentes para seleccionar COTS, se enfocan en el proceso de evaluación, dejando de lado el problema de buscar los componentes en el mercado. La búsqueda de componentes en el mercado no es una tarea trivial, teniendo que afrontar varias características del mercado de COTS, tales como su naturaleza dispersa y siempre creciente, cambio y evolución constante; en este contexto, la obtención de información de calidad acerca de los componentes no es una tarea fácil. Como consecuencia, el proceso de selección de COTS se ve seriamente dañado. Además, las alternativas tradicionales de reuso también carecen de soluciones apropiadas para reusar componentes COTS y el conocimiento adquirido en cada proceso de selección. Esta carencia de propuestas es un problema muy serio que incrementa los riesgos de los proyectos de selección de COTS, además de hacerlos ineficientes y altamente costosos. <br/>Esta disertación presenta el método GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) enfocado a la construcción de infraestructuras de reuso para facilitar la búsqueda y reuso de componentes COTS. El método está basado en el uso de objetivos para construir taxonomías abstractas, bien fundamentadas y estables para lidiar con las características del mercado de COTS. Los nodos de las taxonomías son caracterizados por objetivos, sus relaciones son declaradas como dependencias y varios artefactos son construidos y gestionados para promover la reusabilidad y lidiar con la evolución constante.<br/>El método GOThIC ha sido elaborado a través de un proceso iterativo de investigación-acción para identificar los retos reales relacionados con el proceso de búsqueda de COTS. Posteriormente, las soluciones posibles fueron evaluadas e implementadas en varios casos de estudio en el ámbito industrial y académico en diversos dominios. Los resultados más relevantes fueron registrados y articulados en el método GOThIC. La evaluación industrial preliminar del método se ha llevado a cabo en algunas compañías en Noruega.<br>The process of building software systems by assembling and integrating pre-packaged solutions in the form of Commercial-Off-The-Shelf (COTS) software components has become a strategic need in a wide variety of application areas. In general, COTS components are software components that provide a specific functionality, available in the market to be purchased, interfaced and integrated into other software systems. The potential benefits of this technology are mainly its reduced costs and shorter development time, while maintaining the quality. Nevertheless, many challenges ranging form technical to legal issues must be faced for adapting the traditional software engineering activities in order to exploit these benefits.<br/>Nowadays there is an increasingly huge marketplace of COTS components; therefore, one of the most critical activities in COTS-based development is the selection of the components to be integrated into the system under development. Selection is basically composed of two main processes, namely: searching of candidates from the marketplace and their evaluation with respect to the system requirements. Unfortunately, most of the different existing methods for COTS selection focus their efforts on evaluation, letting aside the problem of searching components in the marketplace. Searching candidate COTS is not an easy task, having to cope with some challenging marketplace characteristics related to its widespread, evolvable and growing nature; and the lack of available and well-suited information to obtain a quality-assured search. Indeed, traditional reuse approaches also lack of appropriate solutions to reuse COTS components and the knowledge gained in each selection process. This lack of proposals is a serious drawback that makes the whole selection process highly risky, and often expensive and inefficient. <br/>This dissertation introduces the GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) method aimed at building a domain reuse infrastructure for facilitating COTS components searching and reuse. It is based on goal-oriented approaches for building abstract, well-founded and stable taxonomies capable of dealing with the COTS marketplace characteristics. Thus, the nodes of these taxonomies are characterized by means of goals, their relationships declared as dependencies among them and several artifacts are constructed and managed for reusability and evolution purposes. The GOThIC method has been elaborated following an iterative process based on action research premises to identify the actual challenges related to COTS components searching. Then, possible solutions were envisaged and implemented by several industrial and academic case studies in different domains. Successful results were recorded to articulate the synergic GOThIC method solution, followed by its preliminary industrial evaluation in some Norwegian companies.

Le principal probleme au niveau de la construction des ouvrages en site urbain est lie au manque de terrains disponibles, a la surface reduite des terrains, a leur cout eleve, et a la proximite d'ouvrages plus anciens a preserver. Le tassement des fondations, ou le deplacement des ouvrages de soutenement revet alors une grande importance, et peut conduire eventuellement a des tassements differentiels nefastes dans les batiments riverains. La mecanique des sols classique donne avec une bonne precision la charge limite des fondations, mais manque de precision pour determiner la deformation du sol depuis le debut de la phase constructive, jusqu'a la fin des travaux. Pour ameliorer notre connaissance des deplacements, nous sommes donc amenes a realiser des calculs numeriques, et plus particulierement a utiliser la methode des elements finis. Le concept e. S. I. (environnement de simulation intelligent) est venu repondre aux exigences de ces methodes de calcul. En effet, il englobe les phases de pre-traitement, calcul, et post-traitement. A chacune de ces phases correspond un outil moteur (progiciel). Ainsi notre etude a essaye de s'aligner sur ce concept et est traduite par la validation et la conception de gaiaef et de ses progiciels d'accompagnement mailcad et graphcad.

La situation actuelle est liee a l'extension des constructions sur sols de mediocres consistance et au besoin de rechercher les solutions les plus economiques. On a donc ete amene a etudier avec le plus de precision possible les differents facteurs entrant dans la realisation des ouvrages de genie civil. Si les caracteristiques des structures jouent un role important dans ces etudes, c'est essentiellement sur le comportement du sol que les differentes etudes sont generalement portees. Ceci bien evidement, depuis le debut de la phase constructive jusqu'a la fin des travaux. La methode dite aux elements finis qui presente l'avantage de modeliser le comportement du sol, depuis le chargement elastique initial jusqu'a la phase d'ecoulement plastique finale prend une place constamment grandissante dans ce domaine de science de l'ingenieur. C'est precisement dans ce contexte que notre travail s'est inscrit. Pour cela, nous avons construit un logiciel de calculs par elements finis quartiques, utilisant un solveur programme a partir d'un nouveau procede. Base sur une gestion dynamique de la memoire, notre procede a permis une utilisation realiste de l'outil micro-informatique pour les ouvrages calcules: mur de soutenement, fondation superficielle et essai pressiometrique. Cet apport constitue avec le modele de comportement mck implante l'aspect nouveau et original du travail. Cette rheologie type elastoplastique a deux mecanismes d'ecrouissage (un en compression et un en cisaillement) utilise des parametres de nature exclusivement physique communement connus par les praticiens geotechniciens

Дана дисертація розглядає один з можливих способів автоматизації процесу кур’єрської доставки - доставку посилок кінцевому отримувачу за допомогою безпілотних апаратів, які б могли виконувати такі завдання у дуже короткий час, незалежно від завантаженості доріг та систем громадського транспорту. Така система дозволяє суттєво знизити час доставки вантажу кінцевому користувачу, зменшити обсяг інфраструктури, необхідної для підтримки її працездатності та скоротити кількість обслуговуючого персоналу. Також повна автоматизація процесу доставки дозволяє знизити вплив людського фактору на якість обслуговування. На даний момент вже реалізовано кілька таких систем, проте жодна з них не є повністю безпечною та не відповідає всім вимогам до системи автоматичної кур’єрської доставки. Також жодна з цих розробок не має архітектури, що повністю покриває функціонал екосистеми безпілотного літального апарату. Також в даній роботі була досліджена низка готових архітектурних рішень, призначених для побудови аналогічного програмного забезпечення, взятих зі схожих наукових досліджень. Проте жодна з них також не відповідає всім поставленим вимогам до даного програмного забезпечення, або має суттєві недоліки, що перешкоджає її програмній реалізації, впровадженню або застосуванню на практиці. У зв’язку з усіма вище переліченими факторами було прийняте рішення про розробку власної архітектури для реалізації програмного комплексу екосистеми вантажного безпілотного літального апарату. А для підтвердження працездатності цієї архітектури і доведення її ефективності було розроблене відповідне програмне забезпечення із застосуванням запропонованого методу розробки. Метою даного наукового дослідження є розробка методу побудови програмного забезпечення екосистеми вантажного безпілотного літального апарату, такого, що покращить та удосконалить існуючі підходи до програмування БПЛА як з точки зору процесу їх впровадження, так і з точки зору використання кінцевого продукту. Основні задачі, які були виконані під час проведення даного дослідження: ˗ вивчення і аналіз готових впроваджених програмних продуктів-аналогів з метою виявлення їх основних переваг та недоліків; ˗ вивчення і аналіз аналогічних наукових досліджень з метою дослідження шляхів вирішення основних задач побудови програмного забезпечення БПЛА; ˗ створення власного методу побудови програмного забезпечення вантажного БПЛА, враховуючи результати попереднього дослідження предметної області; ˗ написання програмного забезпечення на основі даного методу, аналіз його основних переваг та недоліків, та доведення його ефективності. Об’єктом даного наукового дослідження є архітектура програмного забезпечення екосистеми вантажного БПЛА та підходи до реалізації даної архітектури. Предметом дослідження є методи та способи побудови програмного забезпечення екосистеми вантажного БПЛА. Під час проведення даного дослідження був використаний метод systematic mapping study (систематичний огляд літератури) для вивчення і аналізу предметної області даного дослідження з текстових джерел інформації та метод case study (метод ситуативного аналізу) для аналізу розробленого методу побудови програмного забезпечення. Наукова новизна отриманого методу побудови програмного забезпечення полягає у тому, що в ньому вперше БПЛА розглядається як актор екосистеми безпілотних літальних апаратів і вперше для цієї екосистеми була розроблена архітектура програмного забезпечення. Також вперше було введене саме поняття екосистеми безпілотних літальних апаратів. Практичне значення отриманих результатів полягає у тому, що був розроблений простий, ефективний та комплексний підхід до вирішення задачі з побудови програмного забезпечення вантажного БПЛА, який досить легко може бути застосований для вирішення комерційних задач із адресної доставки малогабаритних вантажів. Результати цього дослідження були представлені на VІ Всеукраїнській науково-практичній конференції молодих вчених та студентів «Інформаційні системи та технології управління» (ІСТУ-2021). Дана дисертація складається з реферату, вступу, основної частини що поділяється на 4 розділи, висновків та додатків що включають в себе лістинг програмного коду та графічні матеріали. Основна частина даної роботи містить 105 сторінок, 28 рисунків, 18 таблиць та 19 посилань.<br>This dissertation considers one of the possible ways to automate the courier delivery process - delivery of parcels to the final recipient using unmanned aerial vehicles, which could perform such tasks in a very short time, regardless of the congestion of roads and public transport systems. This system can significantly reduce the time of delivery of goods to the end user, reduce the amount of infrastructure needed to maintain its efficiency and reduce the number of service personnel. Also, full automation of the delivery process reduces the impact of the human factor on the quality of service. Currently, several such systems have been implemented, but none of them is completely secure and does not meet all the requirements for an automatic courier system. Also, none of these developments has an architecture that fully covers the functionality of the unmanned aerial vehicle ecosystem. Also in this work, a number of ready-made architectural solutions designed to build similar software, taken from similar research. However, none of them also meets all the requirements for this software, or has significant shortcomings that prevent its software implementation, implementation or application in practice. In connection with all the above factors, it was decided to develop its own architecture for the implementation of the software package of the ecosystem of cargo unmanned aerial vehicles. And to confirm the efficiency of this architecture and prove its effectiveness, appropriate software was developed using the proposed method of development. The purpose of this research is to develop a method for building software ecosystems of unmanned aerial vehicles, one that will improve and enhance existing approaches to UAV programming both in terms of the process of their implementation and in terms of use of the final product. The main tasks that were performed during this study: ˗ study and analysis of ready-implemented software products-analogues in order to identify their main advantages and disadvantages; ˗ study and analysis of similar research to explore ways to solve the main problems of building UAV software; ˗ creation of own method of construction of the software of the cargo UAV, taking into account results of preliminary research of subject area; ˗ writing software based on this method, analyzing its main advantages and disadvantages, and proving its effectiveness. The object of this research is the software architecture of the cargo UAV ecosystem and approaches to the implementation of this architecture. The subject of the research is the methods and ways of building the software of the cargo UAV ecosystem. During this study, the method of systematic mapping study was used to study and analyze the subject area of this study from textual sources of information and the method of case study to analyze the developed method of software construction. The scientific novelty of the obtained method of software construction is that for the first time the UAV is considered as an actor in the ecosystem of unmanned aerial vehicles and for the first time a software architecture was developed for this ecosystem. Also, for the first time, the very concept of the unmanned aerial vehicle ecosystem was introduced. The practical significance of the obtained results is that a simple, effective and comprehensive approach for solving the problem of building a UAV software was developed, which can easily be used to solve commercial problems of targeted delivery of small cargo. The results of this study were presented at the VI All-Ukrainian scientificpractical conference of young scientists and students "Information Systems and Control Technologies" (ISCT-2021). This dissertation consists of an abstract, introduction, main part divided into 4 sections, conclusions and appendices that include a list of program code and graphics. The main part of this work contains 105 pages, 28 figures, 18 tables and 19 references.

Afin de satisfaire les besoins industriels en calcul et optimisation des structures, des méthodes de l'optimisation de section et de topologie de structures de poutre ont été étudiées et des logiciels pertinents basés sur ces méthodes ont été développés en utilisant les logiciels MSC/Patran-Nastran comme plate-forme. En combinant la méthode de critère d'optimalité et la méthode de programmation mathématique, différentes méthodes sont utilisées pour traiter les limitations avec différentes propriétés. Le modèle original de l'optimisation de section est transformé en un problème dual selon la théorie duale pour améliorer l'efficacité de résolution. La méthode de "Approximate Scaling Step" et la méthode d'Elimination des Limitations Négatives permettent d'accélérer la procédure d'optimisation. Basé sur la méthode ICM (Independent Continuous Mapping), un modèle de l'optimisation topologique utilisant les variables continues (entre 0 et 1 au lieu de 0 ou 1) est établi. Trois critères de convergence sont introduits pour obtenir rapidement et précisément la topologie optimale d'une structure. Pour ne pas éliminer les éléments ayant leur variable topologique nulle au cours de l'optimisation, la méthode de faible matériau est utilisée et comparée à la méthode de section minime. L'optimisation de topologie dans plusieurs cas de chargement est étudiée sous trois types de limitations : les limitations locales de contraintes, les limitations globales de déplacements et leur combinaison. Les méthodes ci-dessus ont été implantées dans les logiciels MSC/Patran&amp;Nastran. Des exemples ont montré une amélioration importante de l'efficacité et de la précision dans l'optimisation de section et de topologie<br>To satisfy the requirement on computation and optimization of frame structures in the engineering field, some sectional and topological optimization methods of frame structures are studied and a relevant software based on the present study is developed using the MSC/Patran&amp;Nastran software as platform. Combining the optimality criteria method and the mathematical programming method, several methods are adopted to deal with the constraints with different properties. The original sectional optimization model is transformed into a dual problem according to the dual theory in order to reduce the number of the design variables so speed up the resolution. The methods of Approximate Scaling Step and Deletion of Negative Constraints also largely improve the efficiency. Based on the ICM (Independent Continuous Mapping) method, a topological optimization model with continuous topological variables (between 0 and 1 instead of 0 or 1) is built. In order to quickly and accurately obtain the optimum topological structures, three criteria are introduced and a self-adaptive algorithm is proposed. To deal with the elements with their null topological variable, the weak material method is proposed and compared with the tiny section method. The topological optimization for multi-loading cases is studied with three conditions: the local stress constraints, the global displacement constraints and their combination. According to the above methods, the MSC/Patran&amp;Nastran software is secondly developed. The examples clearly show the notable improvement of the efficiency and accuracy

Conception de cette structure par le laboratoire central des ponts et chaussées afin d'étudier expérimentalement le comportement de ce type d'ouvrage. Détermination des efforts internes dans le mur à l'aide de capteurs intégrés à la structure et étude du mécanisme de leur fonctionnement par des calculs aux éléments finis tridimensionnels, puis par photoélasticimétrie. On passe des mesures de déformation aux efforts internes dans la structure par des formules de régression linéaire qui résultent de l'analyse statistique d'un grand nombre de cas d'étalonnage sous sollicitations contrôlés. Détermination théorique des dimensions optimales à donner au remblai pour que les efforts dans le mur soient représentatifs d'un massif d'extension semi-infinie. L'étude est effectuée par un modèle numérique bidimensionnel aux éléments finis et également par des calculs bidimensionnels à l'aide d'un logiciel, utilisant également les éléments finis. Analyse des premiers essais réalisés à la station.

An interactive software shell has been developed which integrates several packaging simulation tools developed at the University of Arizona which are used to analyze electro-magnetic coupling between interconnects in an integrated circuit. This software shell uses experimental frames to manage this simulation process. Through the experimental frames, the model descriptions and the model inputs are separated, and input data is verified for correctness. This model/input separation allows several model variations to be tested based on several input variations. The results of these simulations are then analyzed and displayed graphically. Further work for the software shell is discussed. This tool provides a user-friendly, efficient method for performing coupled-line analyses in interconnect systems.