• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 16
  • 3
  • 1
  • 1
  • Tagged with
  • 22
  • 22
  • 19
  • 17
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Expert systems for management training in the construction industry

Saoud, Ehab A. B. January 1996 (has links)
The construction industry is based on age old skills where 'man' has been the builder and is coupled to his creative ability and skilled craftsmanship. This significant dependency on human resources continues to this day and thus the success of the construction industry is linked to making effective use of the human resources through training programmes. The research presented in this thesis investigates the use of expert systems in such management training programmes. The work described in this thesis includes a literature survey in chapter 2 on different aspects of human resources management with particular emphasis on management training and learning styles. Chapter 3 presents the results and analysis of the civil engineering and management practices survey, which was carried out during this research. The survey focused mainly on management training and attitude towards computer technology within the construction industry. Expert systems as a branch of artificial intelligence is discussed in chapter 4, where an assessment of the usefulness of using expert systems in different areas of construction management is carried out. Research methodology and techniques of knowledge acquisition applied in this research are presented in chapter 5. The process of the different stages in the development of the contract and safety management expert system is presented in chapter 6, which further describes the structure in which the system was designed. Finally, in order to assess the usefulness of the expert system tool developed, a summative evaluation is carried out. This evaluation examines many factors including attitudes towards computing, human-computer interaction, knowledge base design, use of expert system for training and expert system evaluation tests. Evaluation results and analysis are presented in chapter 7. It is concluded that there is certainty about the importance of management training in the construction industry. Developing expert systems for such training can be used as an aid tool in many training programmes. The choice of the development tool is considered to be an important function in this research in order to achieve the anticipated results by utilising the available resources. Evaluation of different shells was carried out against the criteria mentioned in chapter 4 and CRYSTAL 4.5 was chosen as the tool to be used in this research. During the development of the expert system, CRYSTAL 4.5 proved to be flexible and fast in structuring the knowledge base. The research also revealed the importance of the evaluation as an essential element of any systematic training program. Results obtained from the contract and safety management expert system evaluation (70% in favour of using expert systems for training) suggested that most trainees managed to grasp the subject information. Only a minority of trainees experienced difficulties during the training program. Those trainees will benefit from the implementation of the points which are raised in chapter 7.
2

Desempenho construtivo de estruturas de cobertura com colmos de bambu / Constructive performance of roof structures with bamboo

Ballesté, Joan Font 22 May 2017 (has links)
O foco desta pesquisa é o estudo do desempenho de colmos de bambu em estruturas de cobertura. A arquitetura do século XXI precisa de novos modelos de produção e novos materiais para possibilitar o desenvolvimento sustentável do planeta. O bambu é um material renovável, com custos de produção baixo, pegada ecológica positiva e de qualidade física excelente; mas existe um desconhecimento bastante generalizado sobre o seu uso na construção civil. Esta lacuna é ainda maior quando se procura entender seu comportamento estrutural ao longo do tempo. Entre os vários requisitos para avaliar o desempenho do material, quando é o elemento portante de uma construção, destacam-se dois que são essenciais: a estabilidade e a durabilidade. Neste trabalho procura-se, em primeiro lugar, compreender o comportamento físico-mecânico do material na composição microscópica e macroscópica para delimitar sua segurança estrutural, e em segundo lugar, examinar aqueles processos que, desde o crescimento da planta até à sua utilização em obra, determinam a vida útil do material. São também analisadas as práticas construtivas e ações de projeto que condicionam transversalmente estas duas exigências de desempenho, junto com um levantamento de estudos de caso que visa criar novos critérios de design de estruturas e soluções construtivas. Esta pesquisa procura expor os pontos fortes e fracos da atual construção com bambu, para que os primeiros sejam potencializados e os segundos sejam corrigidos. / The focus of this research is the study of the performance of bamboo in coverage structures. The architecture of the 21st century needs new production models and new materials to enable the sustainable development of the planet. Bamboo is a renewable material, with low production costs, positive ecological footprint and excellent physical-mechanical properties; but there is a rather general lack of knowledge about its use in civil construction. This gap is even greater when one tries to understand its structural behaviour over time. Among the various requirements to evaluate the performance of the material, when it is the structural element in a construction, two that stand out are essential: stability and durability. In this work, the understanding of the physical and mechanical behaviour of the material in the microscopic and macroscopic composition is sought first to delimit its structural safety, and secondly, examining the processes that, since the plants\'s growth until its usage in work, determine the useful life of the material. It is also analyzed the constructive practices and project actions that condition transversally these two performance requirements, along with a survey of case studies that aim to create new criteria of structure design and building solutions. This research seeks to export the strengths and weaknesses of the current construction with bamboo, so the first may be potentialized and the latter corrected.
3

Influência dos sistemas construtivos nas modificações promovidas pelo usuário em unidades de HIS: estudos de caso na região do Vale do Paraíba/SP. / Influence of construction systems in modifications promoted by the user in units of social housing: case studies in the Vale do Paraíba/SP.

Silvestre, Michelli Garrido 12 November 2013 (has links)
Nas últimas décadas, a qualidade dos empreendimentos de habitação de interesse social (EHIS) vem sendo muito discutida por pesquisadores brasileiros em virtude dos diversos problemas de ordem técnica e funcional relatados por seus moradores após a ocupação. Para identificar esses problemas e suas causas, utiliza-se de processos de avaliação pós-ocupação (APO), que têm mostrado, ao longo dos anos, a insatisfação dos moradores com diversos aspectos das construções e a consequente realização de modificações na casa, muitas vezes sem qualidade, comprometendo ainda mais o seu estado. Visando à melhoria da qualidade dessas modificações, é possível adotar alguns procedimentos. Entretanto, ainda há um grande desconhecimento dos profissionais em relação ao que ocorre no ambiente construído no decorrer do uso, sendo ainda necessário aprofundar os estudos nesse sentido. Assim, a pesquisa aqui apresentada tem como objetivo identificar as principais modificações realizadas pelos moradores de empreendimentos horizontais de HIS, suas causas e possíveis mecanismos para diminuir, controlar ou planejar essas alterações. Para o desenvolvimento do estudo proposto, foram realizadas pesquisas bibliográficas e avaliações pós-ocupação em três empreendimentos de HIS. Assim, analisando as experiências passadas e presentes, foi possível gerar conteúdo suficiente para embasar propostas de melhorias nos programas habitacionais voltados a HIS. / In recent decades, the quality of the housing projects of social interest has been largely discussed by Brazilian researchers due to several technical and functional matters reported by dwellers after occupation. To identify these problems and their causes, post-occupancy evaluation processes are applied, which have shown over the years, a lot of dissatisfaction with various aspects of constructions, resulting in house modifications, oftenly without quality, further compromising their state. In order to improve the quality of these changes, it is possible to adopt some procedures. However, there is still a great lack of knowhow from professionals about what happens in the built environment during its use, them, being still necessary to sharpen the studies in this direction. Thus, the post-occupancy evaluation research presented here aims at identifying the main changes made by the dwellers of horizontal housing enterprises, its causes and possible mechanisms to reduce, control or plan these changes. For the development of the proposed study literature research was conducted and post-occupancy evaluations was made in three housing enterprises. Thus, making an analysis of past and present experiences, it was possible to generate enough content to support proposals for improvements in housing programs.
4

Avaliação do desempenho estrutural de sistemas construtivos inovadores: estudo de caso / Structural performance evaluation of innovative construction systems: case of study

Oliveira, Fabiana Lopes de 11 November 1996 (has links)
Aborda-se a importância da avaliação de desempenho em sistemas construtivos inovadores, relatando inicialmente os sistemas de avaliação utilizados em alguns países estrangeiros e também, no Brasil. As edificações térreas de uso unifamiliar devem satisfazer determinadas exigências dos usuários, dentre as quais aquelas de segurança estrutural, durabilidade e estanqueidade. Para cada uma destas exigências estão estabelecidos requisitos e critérios de desempenho que devem ser atendidos quando o produto for avaliado. Tendo como objetivo a avaliação estrutural de sistemas construtivos inovadores, tomou-se como estudo de caso a Vila Tecnológica de Ribeirão Preto, com 111 habitações distribuídas em onze sistemas construtivos inovadores, implantada através do projeto PROTECH, programa instituído pela secretaria Geral da Presidência da República, e da COHAB-RP. O objetivo do empreendimento é criar centros de experimentação, demonstração e difusão de inovações tecnológicas, incentivando a produção industrial, aliando redução de custos à melhoria da qualidade da habitação. Cada sistema construtivo foi submetido a ensaios, realizados no campo, em um protótipo escolhido aleatoriamente. Para comparação e controle dos resultados, uma habitação convencional, \"padrão COHAB\", foi submetida aos mesmos ensaios, servindo como valores de referência. Apresentam-se então os resultados da avaliação, referentes à segurança estrutural, como também, a metodologia utilizada e o desempenho de cada sistema inovador frente ao padrão de referência adotado. / This work discusses the performance evaluation of innovative construction systems, starting with an account of the evaluation systems used in Brazil as well as in some foreign countries. Single storey one-family houses must satisfy several of the users\' basic expectations, among them structural safety, durability and watertighness. Prerequisites and performance criteria to satisfy each of these expectations have been established and must be met when the product is evaluated. The \"Vila Tecnológica de Ribeirão Preto\" was taken as a case study to perform a structural evaluation of innovative construction systems. The \"Vila Tecnológica\" has 111 homes distributed under eleven innovative construction systems, built through the PROTECH project, a program instituted by the Secretaria Geral da Presidência da República (General Bureau of the Presidency of the Republic) and by COHAB-RP (a federal housing program for low in come families). The aims to create centers for project experimention, demonstration and dissemination of innovative building technologies, and to stimulate production on an industrial scale, combining the advantages of reduced costs to improved housing quality. Each construction system was submitted to field tests performed on a randomly selected prototype. For purposes of comparison and control of the results, a conventional \"standard COHAB\" house was submitted to the same tests, the results thereof serving as reference values. The results of the evaluation of structural safety are presented herein, as well as the methodology utilized and the performance of each innovative construction system compared to the standard of reference adopted.
5

Desempenho construtivo de estruturas de cobertura com colmos de bambu / Constructive performance of roof structures with bamboo

Joan Font Ballesté 22 May 2017 (has links)
O foco desta pesquisa é o estudo do desempenho de colmos de bambu em estruturas de cobertura. A arquitetura do século XXI precisa de novos modelos de produção e novos materiais para possibilitar o desenvolvimento sustentável do planeta. O bambu é um material renovável, com custos de produção baixo, pegada ecológica positiva e de qualidade física excelente; mas existe um desconhecimento bastante generalizado sobre o seu uso na construção civil. Esta lacuna é ainda maior quando se procura entender seu comportamento estrutural ao longo do tempo. Entre os vários requisitos para avaliar o desempenho do material, quando é o elemento portante de uma construção, destacam-se dois que são essenciais: a estabilidade e a durabilidade. Neste trabalho procura-se, em primeiro lugar, compreender o comportamento físico-mecânico do material na composição microscópica e macroscópica para delimitar sua segurança estrutural, e em segundo lugar, examinar aqueles processos que, desde o crescimento da planta até à sua utilização em obra, determinam a vida útil do material. São também analisadas as práticas construtivas e ações de projeto que condicionam transversalmente estas duas exigências de desempenho, junto com um levantamento de estudos de caso que visa criar novos critérios de design de estruturas e soluções construtivas. Esta pesquisa procura expor os pontos fortes e fracos da atual construção com bambu, para que os primeiros sejam potencializados e os segundos sejam corrigidos. / The focus of this research is the study of the performance of bamboo in coverage structures. The architecture of the 21st century needs new production models and new materials to enable the sustainable development of the planet. Bamboo is a renewable material, with low production costs, positive ecological footprint and excellent physical-mechanical properties; but there is a rather general lack of knowledge about its use in civil construction. This gap is even greater when one tries to understand its structural behaviour over time. Among the various requirements to evaluate the performance of the material, when it is the structural element in a construction, two that stand out are essential: stability and durability. In this work, the understanding of the physical and mechanical behaviour of the material in the microscopic and macroscopic composition is sought first to delimit its structural safety, and secondly, examining the processes that, since the plants\'s growth until its usage in work, determine the useful life of the material. It is also analyzed the constructive practices and project actions that condition transversally these two performance requirements, along with a survey of case studies that aim to create new criteria of structure design and building solutions. This research seeks to export the strengths and weaknesses of the current construction with bamboo, so the first may be potentialized and the latter corrected.
6

Influência dos sistemas construtivos nas modificações promovidas pelo usuário em unidades de HIS: estudos de caso na região do Vale do Paraíba/SP. / Influence of construction systems in modifications promoted by the user in units of social housing: case studies in the Vale do Paraíba/SP.

Michelli Garrido Silvestre 12 November 2013 (has links)
Nas últimas décadas, a qualidade dos empreendimentos de habitação de interesse social (EHIS) vem sendo muito discutida por pesquisadores brasileiros em virtude dos diversos problemas de ordem técnica e funcional relatados por seus moradores após a ocupação. Para identificar esses problemas e suas causas, utiliza-se de processos de avaliação pós-ocupação (APO), que têm mostrado, ao longo dos anos, a insatisfação dos moradores com diversos aspectos das construções e a consequente realização de modificações na casa, muitas vezes sem qualidade, comprometendo ainda mais o seu estado. Visando à melhoria da qualidade dessas modificações, é possível adotar alguns procedimentos. Entretanto, ainda há um grande desconhecimento dos profissionais em relação ao que ocorre no ambiente construído no decorrer do uso, sendo ainda necessário aprofundar os estudos nesse sentido. Assim, a pesquisa aqui apresentada tem como objetivo identificar as principais modificações realizadas pelos moradores de empreendimentos horizontais de HIS, suas causas e possíveis mecanismos para diminuir, controlar ou planejar essas alterações. Para o desenvolvimento do estudo proposto, foram realizadas pesquisas bibliográficas e avaliações pós-ocupação em três empreendimentos de HIS. Assim, analisando as experiências passadas e presentes, foi possível gerar conteúdo suficiente para embasar propostas de melhorias nos programas habitacionais voltados a HIS. / In recent decades, the quality of the housing projects of social interest has been largely discussed by Brazilian researchers due to several technical and functional matters reported by dwellers after occupation. To identify these problems and their causes, post-occupancy evaluation processes are applied, which have shown over the years, a lot of dissatisfaction with various aspects of constructions, resulting in house modifications, oftenly without quality, further compromising their state. In order to improve the quality of these changes, it is possible to adopt some procedures. However, there is still a great lack of knowhow from professionals about what happens in the built environment during its use, them, being still necessary to sharpen the studies in this direction. Thus, the post-occupancy evaluation research presented here aims at identifying the main changes made by the dwellers of horizontal housing enterprises, its causes and possible mechanisms to reduce, control or plan these changes. For the development of the proposed study literature research was conducted and post-occupancy evaluations was made in three housing enterprises. Thus, making an analysis of past and present experiences, it was possible to generate enough content to support proposals for improvements in housing programs.
7

Avaliação do desempenho estrutural de sistemas construtivos inovadores: estudo de caso / Structural performance evaluation of innovative construction systems: case of study

Fabiana Lopes de Oliveira 11 November 1996 (has links)
Aborda-se a importância da avaliação de desempenho em sistemas construtivos inovadores, relatando inicialmente os sistemas de avaliação utilizados em alguns países estrangeiros e também, no Brasil. As edificações térreas de uso unifamiliar devem satisfazer determinadas exigências dos usuários, dentre as quais aquelas de segurança estrutural, durabilidade e estanqueidade. Para cada uma destas exigências estão estabelecidos requisitos e critérios de desempenho que devem ser atendidos quando o produto for avaliado. Tendo como objetivo a avaliação estrutural de sistemas construtivos inovadores, tomou-se como estudo de caso a Vila Tecnológica de Ribeirão Preto, com 111 habitações distribuídas em onze sistemas construtivos inovadores, implantada através do projeto PROTECH, programa instituído pela secretaria Geral da Presidência da República, e da COHAB-RP. O objetivo do empreendimento é criar centros de experimentação, demonstração e difusão de inovações tecnológicas, incentivando a produção industrial, aliando redução de custos à melhoria da qualidade da habitação. Cada sistema construtivo foi submetido a ensaios, realizados no campo, em um protótipo escolhido aleatoriamente. Para comparação e controle dos resultados, uma habitação convencional, \"padrão COHAB\", foi submetida aos mesmos ensaios, servindo como valores de referência. Apresentam-se então os resultados da avaliação, referentes à segurança estrutural, como também, a metodologia utilizada e o desempenho de cada sistema inovador frente ao padrão de referência adotado. / This work discusses the performance evaluation of innovative construction systems, starting with an account of the evaluation systems used in Brazil as well as in some foreign countries. Single storey one-family houses must satisfy several of the users\' basic expectations, among them structural safety, durability and watertighness. Prerequisites and performance criteria to satisfy each of these expectations have been established and must be met when the product is evaluated. The \"Vila Tecnológica de Ribeirão Preto\" was taken as a case study to perform a structural evaluation of innovative construction systems. The \"Vila Tecnológica\" has 111 homes distributed under eleven innovative construction systems, built through the PROTECH project, a program instituted by the Secretaria Geral da Presidência da República (General Bureau of the Presidency of the Republic) and by COHAB-RP (a federal housing program for low in come families). The aims to create centers for project experimention, demonstration and dissemination of innovative building technologies, and to stimulate production on an industrial scale, combining the advantages of reduced costs to improved housing quality. Each construction system was submitted to field tests performed on a randomly selected prototype. For purposes of comparison and control of the results, a conventional \"standard COHAB\" house was submitted to the same tests, the results thereof serving as reference values. The results of the evaluation of structural safety are presented herein, as well as the methodology utilized and the performance of each innovative construction system compared to the standard of reference adopted.
8

Concepção, métodos construtivos e dimensionamento de terminais para contêineres. / Conception, construction methods and design of containers terminal.

Fanti, Fábio Dollinger 14 November 2007 (has links)
O presente trabalho pretende mostrar, as principais etapas de projeto de uma obra portuária, mais especificamente, um terminal de contêineres (cais e retroárea). Para tanto, foi feita uma pesquisa dos tipos estruturais existentes para entender melhor a evolução das estruturas ao longo do tempo e quais tipos adequam-se melhor em cada situação. Para cada função a que o porto se destina, existe um conjunto de ações e combinações muito particulares a considerar. Assim, um terminal de contêineres é muito diferente de um terminal petroleiro. Portanto, procurou-se mostrar os tipos de carregamentos mais importantes num terminal de contêineres, que é objeto deste trabalho, levando-se em conta critérios das Normas NBR-9782 e NBR-8681. Outro fator de grande peso nos projetos portuários e que não poderia ficar de fora, está ligado às fundações, principalmente aos problemas geotécnicos envolvidos. Para tanto, procurou-se dar uma visão geral dos principais problemas até hoje encontrados e comentar algumas soluções em cada caso. Por fim, foi proposto um método de modelagem simplificado para um tipo estrutural muito utilizado hoje em dia (sistema de lajes e vigas premoldadas solidarizadas apoiadas sobre estacas) através de um conjunto de modelos planos e um modelo espacial de checagem. / The present paper intends to show the main stages of port design, particularly, a container terminal (quay and back area). Therefore, it was done a research about the current structures types so it can be better to understand the development process of these structures during the years and which types are more appropriate to each condition. For each function of the port there are particulars actions and combinations to consider. However, a container terminal is very different from a petroleum one. Therefore, it intended to show the most important types from a container terminal, which is the aim of this research, considering the NBR-9782 and NBR-8681 rules recommendations. Another important fact, which has to be mentioned, is about the foundations, especially those related to geotechnical issues involved. Therefore, it was intended to present a general view of the main problems found so far and discuss some solutions for each case. Finally, it was suggested a method to model a kind of structure very used nowadays (a marble slab system and premolded beams settled over piles) through a group of model plans a checking space model.
9

Diretrizes para o planejamento e controle da produção em obras de sistemas construtivos metálicos

Fabro, Fabiana January 2012 (has links)
No setor da construção civil, tem ocorrido um aumento na utilização de sistemas industrializados, dentre eles sistemas construtivos metálicos, visto que o uso desses sistemas contribui para o aumento da velocidade de execução dos empreendimentos e para a redução de desperdícios. Esta mudança tem criado oportunidades para a aplicação de conceitos e métodos de gestão da produção, desenvolvidos em outras indústrias, tais como a Filosofia da Produção Enxuta, que tem trazido muitos benefícios ao setor da construção, tais como redução de desperdícios, aumento da produtividade e da confiabilidade nos prazos de entrega. Entretanto, há poucas pesquisas sobre a utilização de conceitos da produção enxuta no processo de PCP de obras de empresas que fornecem sistemas construtivos metálicos. O presente trabalho tem como objetivo geral propor diretrizes para a concepção e implementação de sistemas de Planejamento e Controle de Produção em obras de empresas que projetam, fabricam e montam sistemas construtivos metálicos. São também propostas adaptações no Sistema Last Planner ao contexto de montagem deste tipo de sistema. A estratégia de pesquisa adotada foi a pesquisa-ação, sendo desenvolvidos cinco estudos empíricos em obras de uma empresa líder neste setor. O trabalho iniciou pela realização de um diagnóstico relativo aos fluxos de materiais e informações entre os principais setores da empresa, assim como análise do processo de planejamento e controle existente no processo de montagem. Na sequência, foram definidas e implementadas melhorias no processo de PCP em três obras da empresa. Os principais resultados obtidos pela pesquisa estão relacionados à necessidade de ampliação do escopo do projeto do sistema de produção, à adaptação dos níveis de planejamento de médio e curto prazo do Sistema Last Planner para este contexto, assim como à necessidade de integração do planejamento e controle do processo de montagem a outros processos à montante da obra. São também propostos diferentes tipos de sistemas de planejamento e controle da produção, em função da complexidade e do tamanho da obra. / In the construction sector, there has been an increase on the use of industrialized building systems, including steel construction systems, due to the contribution of those systems in terms of reducing the duration of projects, and reduction of waste. This change has created opportunities for the application of production management concepts and methods that have been originated in other industries, such as the Lean Production Philosophy, which has brought several benefits for the construction sector, such as waste reduction, increase in productivity and reliability in delivery time. However, there have been only a few research studies on the application of Lean Production concepts on the production planning and control process of companies involved in the delivery of steel construction systems. The aim of this research work is to propose guidelines for the conception and implementation of production planning and control systems for projects delivered by companies that design, manufacture and assemble steel construction systems. Moreover, some adaptations in the Last Planner Systems are proposed for the context of assembling this type of system. Action research was the research strategy adopted in this investigation, which involved the development of five empirical studies in projects carried out by a Brazilian leading company. This investigation started by carrying out an analysis of the material and information flows among the main departments of the company, as well as by assessing the existing planning and control process for site assembly. Then, a set of improvements in that process were devised and implemented in three construction sites of the company. The main results of this research work are concerned with extending the scope of production system design, adapting the medium and short-term planning levels of the Last Planner System to this context, and integrating the planning and control process for site assembly with upstream processes. Moreover, different types of planning and control systems were proposed for different types of projects, according to their complexity and size.
10

A formal approach for correct-by-construction system substitution / Une approche formelle pour la substitution correcte par construction de systèmes

Babin, Guillaume 06 July 2017 (has links)
Les systèmes critiques dépendent du fait que leurs composants logiciels fournissent des services aux comportements corrects (c'est-à-dire satisfaisant leurs exigences). De plus, dans de nombreux cas, ces systèmes doivent être adaptés ou reconfigurés en cas de pannes ou quand des évolutions d'exigences ou de qualité de service se produisent. Quand ces évolutions peuvent être capturées au niveau logiciel, il devient possible de les traiter en utilisant la notion de substitution. En effet, le composant logiciel du système source peut être substitué par un autre composant logiciel pour construire un nouveau système cible. Dans le cas de systèmes critiques, cette opération impose que le nouveau système cible se comporte correctement en préservant, autant que possible, les propriétés de sécurité et de sûreté du système source pendant et après l'opération de substitution. Dans cette thèse, les systèmes étudiés sont modélisés par des systèmes états-transitions. Pour modéliser la substitution de systèmes, la méthode Event-B a été choisie car elle est adaptée à la modélisation de systèmes états-transitions et permet de bénéficier des avantages du raffinement, de la preuve et de la disponibilité d'un outil puissant avec la plate-forme Rodin.Cette thèse fournit un modèle générique pour la substitution de systèmes qui inclut différentes situations comme le démarrage à froid et le démarrage à chaud, mais aussi la possibilité de dégradation ou d'extension de systèmes ou de substitution équivalente. Cette approche est d'abord utilisée pour formaliser la substitution dans le cas de systèmes discrets appliqués à la compensation de Services Web. Elle permet de modéliser la compensation correcte. Par la suite, cette approche est mise en œuvre dans le cas des systèmes caractérisés par des comportements continus comme les systèmes hybrides. Pour modéliser des comportements continus avec Event-B, le plug-in Theory pour Rodin est examiné et s'avère performant pour modéliser des systèmes hybrides. Cela nous permet de proposer un mécanisme de substitution correct pour des systèmes avec des comportements continus. L'exigence de sûreté devient alors le maintien de la sortie du système dans une enveloppe de sûreté. Pour finir, l'approche proposée est généralisée, permettant la dérivation des modèles précédemment définis pour la compensation de Services Web par le raffinement et la réutilisation de preuves entre des modèles de systèmes. / Safety-critical systems depend on the fact that their software components provide services that behave correctly (i.e. satisfy their requirements). Additionally, in many cases, these systems have to be adapted or reconfigured in case of failures or when changes in requirements or in quality of service occur. When these changes appear at the software level, they can be handled by the notion of substitution. Indeed, the software component of the source system can be substituted by another software component to build a new target system. In the case of safety-critical systems, it is mandatory that this operation enforces that the new target system behaves correctly by preserving the safety properties of the source system during and after the substitution operation.In this thesis, the studied systems are modeled as state-transition systems. In order to model system substitution, the Event-B method has been selected as it is well suited to model such state-transition systems and it provides the benefits of refinement, proof and the availability of a strong tooling with the Rodin Platform.This thesis provides a generic model for system substitution that entails different situations like cold start and warm start as well as the possibility of system degradation, upgrade or equivalence substitutions. This proposal is first used to formalize substitution in the case of discrete systems applied to web services compensation and allowed modeling correct compensation. Then, it is also used for systems characterized by continuous behaviors like hybrid systems. To model continuous behaviors with Event-B, the Theory plugin for Rodin is investigated and proved successful for modeling hybrid systems. Afterwards, a correct substitution mechanism for systems with continuous behaviors is proposed. A safety envelope for the output of the system is taken as the safety requirement. Finally, the proposed approach is generalized, enabling the derivation of the previously defined models for web services compensation through refinement, and the reuse of proofs across system models.

Page generated in 0.1289 seconds