Spelling suggestions: "subject:"conforman""
31 |
Proposta de um método para coleta, processamento e análise de dados da qualidade em obras de habitação de interesse social por parte de um agente externo à produçãoBerr, Leticia Ramos January 2010 (has links)
As dificuldades de entendimento dos conceitos relacionados à qualidade, sua operacionalização e medição na construção civil têm sido evidenciadas em diversos trabalhos, apesar da ampla disseminação dos sistemas de certificação de sistemas de gestão da qualidade baseada na ISO9001 e, no caso do Brasil, do Programa Brasileiro da Qualidade e Produtividade no Habitat (PBQP-H). O setor vem sendo exigido a melhorar seu desempenho e gerar produtos mais conformes, confiáveis, duráveis e de acordo com as necessidades dos clientes, principalmente devido ao aumento da demanda de empreendimentos habitacionais de interesse social. Também, neste segmento as empresas necessitam estar preparadas para atuar em um contexto de grandes volumes de construção e limitada margem de lucro, o que exige processos e organização bem ajustados para evitar perdas. Neste trabalho, foi proposto um método para a medição da qualidade a partir da coleta, processamento, análise e distribuições de informações sobre a conformidade dos principais processos construtivos. Buscou-se identificar as atividades que mais impactam na qualidade do produto habitação, baseado na bibliografia, na percepção de especialistas e nas reclamações dos usuários. Em se tratando de habitações de interesse social, objetiva-se auxiliar nos esforços de melhoria dessas atividades através da aplicação de listas de acompanhamento de obra. Os dados gerados pela aplicação deste método resultam em indicadores de qualidade relacionados à conformidade de execução dos processos construtivos. A pesquisa foi constituída das seguintes etapas: (a) revisão bibliográfica; (b) identificação dos processos construtivos com maior incidência de problemas; (c) desenvolvimento dos instrumentos de coleta individuais para cada processo construtivo em versão digital e em papel; (d) análise de especialistas; (e) três ciclos de desenvolvimento, avaliação e melhorias; e (f) avaliação da proposta final do método. Como principais contribuições do trabalho destacam-se o próprio método proposto, assim como a identificação das facilidades e barreiras que foram encontradas na sua operacionalização, os indicadores de conformidade das obras, levantados em empreendimentos na Região Metropolitana de Porto Alegre, em Caxias do Sul e em Pelotas, bem como a identificação das informações que cada agente envolvido pode utilizar em suas atividades. / The difficulties of understanding concepts related to quality, its implementation, and measurement in the construction industry have been pointed out in several studies, despite the wide dissemination of certified quality management systems, based on ISO9001 and, in the case of Brazil, on the Brazilian Program for Quality and Productivity in the Habitat (PBQP-H). Moreover, the construction sector has been demanded to improve its performance, and produce more compliant, reliable, and durable products, according to the needs of customers, mainly due to the increasing demand for social interest housing projects. Also, companies in this segment need to be prepared to act in a context of large volumes of construction and limited margins of profit, which calls for well adjusted processes and organizations to avoid waste. This research work proposes a method for measuring quality in terms of conformance of the most critical processes in social interest housing projects, including data collection, processing, and analysis, as well as distributing information. The activities that most affect the quality of housing projects were identified based on the literature, on the perception of experts, and on complaints from users. As far as social housing is concerned, the aim of this method is to support the effort of improving quality through the application of check-lists. The data produced by the application of this method results in a set of quality indicators related to the conformance of construction processes. This study was divided into six main stages: (a) literature review; (b) identification of the construction processes with the highest incidence of problems; (c) development of data collection instruments for each individual building process; (d) expert analysis; (e) three cycles of development, evaluation, and improvement of the method; and (f) evaluation of the final proposal of the method. The main contribution of this investigation is the method itself, as well as the identification of opportunities and barriers for its implementation. The study also provided a set of evaluations for a number of construction projects, from the Metropolitan Area of Porto Alegre, Caxias do Sul, and Pelotas. Finally, the information that each agent involved can use was identified.
|
32 |
Proposta de um método para coleta, processamento e análise de dados da qualidade em obras de habitação de interesse social por parte de um agente externo à produçãoBerr, Leticia Ramos January 2010 (has links)
As dificuldades de entendimento dos conceitos relacionados à qualidade, sua operacionalização e medição na construção civil têm sido evidenciadas em diversos trabalhos, apesar da ampla disseminação dos sistemas de certificação de sistemas de gestão da qualidade baseada na ISO9001 e, no caso do Brasil, do Programa Brasileiro da Qualidade e Produtividade no Habitat (PBQP-H). O setor vem sendo exigido a melhorar seu desempenho e gerar produtos mais conformes, confiáveis, duráveis e de acordo com as necessidades dos clientes, principalmente devido ao aumento da demanda de empreendimentos habitacionais de interesse social. Também, neste segmento as empresas necessitam estar preparadas para atuar em um contexto de grandes volumes de construção e limitada margem de lucro, o que exige processos e organização bem ajustados para evitar perdas. Neste trabalho, foi proposto um método para a medição da qualidade a partir da coleta, processamento, análise e distribuições de informações sobre a conformidade dos principais processos construtivos. Buscou-se identificar as atividades que mais impactam na qualidade do produto habitação, baseado na bibliografia, na percepção de especialistas e nas reclamações dos usuários. Em se tratando de habitações de interesse social, objetiva-se auxiliar nos esforços de melhoria dessas atividades através da aplicação de listas de acompanhamento de obra. Os dados gerados pela aplicação deste método resultam em indicadores de qualidade relacionados à conformidade de execução dos processos construtivos. A pesquisa foi constituída das seguintes etapas: (a) revisão bibliográfica; (b) identificação dos processos construtivos com maior incidência de problemas; (c) desenvolvimento dos instrumentos de coleta individuais para cada processo construtivo em versão digital e em papel; (d) análise de especialistas; (e) três ciclos de desenvolvimento, avaliação e melhorias; e (f) avaliação da proposta final do método. Como principais contribuições do trabalho destacam-se o próprio método proposto, assim como a identificação das facilidades e barreiras que foram encontradas na sua operacionalização, os indicadores de conformidade das obras, levantados em empreendimentos na Região Metropolitana de Porto Alegre, em Caxias do Sul e em Pelotas, bem como a identificação das informações que cada agente envolvido pode utilizar em suas atividades. / The difficulties of understanding concepts related to quality, its implementation, and measurement in the construction industry have been pointed out in several studies, despite the wide dissemination of certified quality management systems, based on ISO9001 and, in the case of Brazil, on the Brazilian Program for Quality and Productivity in the Habitat (PBQP-H). Moreover, the construction sector has been demanded to improve its performance, and produce more compliant, reliable, and durable products, according to the needs of customers, mainly due to the increasing demand for social interest housing projects. Also, companies in this segment need to be prepared to act in a context of large volumes of construction and limited margins of profit, which calls for well adjusted processes and organizations to avoid waste. This research work proposes a method for measuring quality in terms of conformance of the most critical processes in social interest housing projects, including data collection, processing, and analysis, as well as distributing information. The activities that most affect the quality of housing projects were identified based on the literature, on the perception of experts, and on complaints from users. As far as social housing is concerned, the aim of this method is to support the effort of improving quality through the application of check-lists. The data produced by the application of this method results in a set of quality indicators related to the conformance of construction processes. This study was divided into six main stages: (a) literature review; (b) identification of the construction processes with the highest incidence of problems; (c) development of data collection instruments for each individual building process; (d) expert analysis; (e) three cycles of development, evaluation, and improvement of the method; and (f) evaluation of the final proposal of the method. The main contribution of this investigation is the method itself, as well as the identification of opportunities and barriers for its implementation. The study also provided a set of evaluations for a number of construction projects, from the Metropolitan Area of Porto Alegre, Caxias do Sul, and Pelotas. Finally, the information that each agent involved can use was identified.
|
33 |
Qualidade da alvenaria estrutural em habitações de baixa renda : uma análise de confiabilidade e da conformidade / Quality of structural masonry in low-income housing projects : an analysis of reliability and conformanceRichter, Cristiano January 2007 (has links)
A alvenaria estrutural tem sido amplamente empregada na construção civil brasileira, sendo o segmento de empreendimentos habitacionais de baixa renda uma de suas principais aplicações. Neste segmento de mercado, a qualidade das edificações tem sido estudada por diversos autores. Porém, poucos destes estudos reconheceram o caráter multidimensional da qualidade e tampouco explicitaram a perspectiva da qualidade que estava sendo utilizada. Nos empreendimentos habitacionais de baixa renda, as dimensões da qualidade de confiabilidade e conformidade são fundamentais. Neste sentido, o presente trabalho teve como objetivo principal analisar a relação das não-conformidades do processo construtivo de alvenaria estrutural em empreendimentos habitacionais de baixa renda com a confiabilidade do produto. Esta análise foi realizada em oito empreendimentos concluídos e em oito empreendimentos em construção no Estado do Rio Grande do Sul, relativos a dois programas promovidos pela CAIXA: o Programa de Arrendamento Residencial e do Programa Imóvel na Planta. Para mensurar a confiabilidade do produto foi proposto um método de análise sistemática por observação direta de manifestações patológicas. A aplicação deste método resultou num coeficiente de defeitos por unidades (CDU), o qual apresentou diferenças significativas entre os empreendimentos estudados. A partir da análise das não-conformidades foi possível identificar as principais oportunidades e barreiras à melhoria da alvenaria estrutural nestes empreendimentos. Estes fatores foram analisados tanto no processo de construção destes empreendimentos como no processo de avaliação da qualidade adotado pela CAIXA. / Structural masonry has been widely used in the Brazilian construction industry. One of the main applications in Brazil has been in the low-income housing project segment. Several authors have studied the quality of construction in this segment. However, most studies do not take into account the multidimensional character of quality, and only a few define the dimension of quality that has been considered. The dimensions of reliability and conformance are fundamental in low-income housing projects. The main objective of this dissertation is to analyze the relationship between nonconformances of structural masonry in low-income housing and product reliability. This analysis involved eight housing projects already delivered to the users as well as eight housing projects under construction, all of them located in the state of Rio Grande do Sul, Brazil. Those housing projects are part of two programs promoted by the Brazilian Public Savings Bank: The Residential Leasing Program and the Building Plan Program (Programa Imóvel na Planta). In order to measure the reliability of the product, a method of systematic analysis by direct observation of structural masonry failures was used. The application of this method resulted in a measure of defective elements (CDU), which indicated significant differences on the quality between the housing projects that were studied. It was possible to identify opportunities for improvement in structural masonry based on the analysis of non conformances. These factors were analyzed during the construction process as well as during the quality control process conducted by the Public Savings Bank.
|
34 |
Qualidade da alvenaria estrutural em habitações de baixa renda : uma análise de confiabilidade e da conformidade / Quality of structural masonry in low-income housing projects : an analysis of reliability and conformanceRichter, Cristiano January 2007 (has links)
A alvenaria estrutural tem sido amplamente empregada na construção civil brasileira, sendo o segmento de empreendimentos habitacionais de baixa renda uma de suas principais aplicações. Neste segmento de mercado, a qualidade das edificações tem sido estudada por diversos autores. Porém, poucos destes estudos reconheceram o caráter multidimensional da qualidade e tampouco explicitaram a perspectiva da qualidade que estava sendo utilizada. Nos empreendimentos habitacionais de baixa renda, as dimensões da qualidade de confiabilidade e conformidade são fundamentais. Neste sentido, o presente trabalho teve como objetivo principal analisar a relação das não-conformidades do processo construtivo de alvenaria estrutural em empreendimentos habitacionais de baixa renda com a confiabilidade do produto. Esta análise foi realizada em oito empreendimentos concluídos e em oito empreendimentos em construção no Estado do Rio Grande do Sul, relativos a dois programas promovidos pela CAIXA: o Programa de Arrendamento Residencial e do Programa Imóvel na Planta. Para mensurar a confiabilidade do produto foi proposto um método de análise sistemática por observação direta de manifestações patológicas. A aplicação deste método resultou num coeficiente de defeitos por unidades (CDU), o qual apresentou diferenças significativas entre os empreendimentos estudados. A partir da análise das não-conformidades foi possível identificar as principais oportunidades e barreiras à melhoria da alvenaria estrutural nestes empreendimentos. Estes fatores foram analisados tanto no processo de construção destes empreendimentos como no processo de avaliação da qualidade adotado pela CAIXA. / Structural masonry has been widely used in the Brazilian construction industry. One of the main applications in Brazil has been in the low-income housing project segment. Several authors have studied the quality of construction in this segment. However, most studies do not take into account the multidimensional character of quality, and only a few define the dimension of quality that has been considered. The dimensions of reliability and conformance are fundamental in low-income housing projects. The main objective of this dissertation is to analyze the relationship between nonconformances of structural masonry in low-income housing and product reliability. This analysis involved eight housing projects already delivered to the users as well as eight housing projects under construction, all of them located in the state of Rio Grande do Sul, Brazil. Those housing projects are part of two programs promoted by the Brazilian Public Savings Bank: The Residential Leasing Program and the Building Plan Program (Programa Imóvel na Planta). In order to measure the reliability of the product, a method of systematic analysis by direct observation of structural masonry failures was used. The application of this method resulted in a measure of defective elements (CDU), which indicated significant differences on the quality between the housing projects that were studied. It was possible to identify opportunities for improvement in structural masonry based on the analysis of non conformances. These factors were analyzed during the construction process as well as during the quality control process conducted by the Public Savings Bank.
|
35 |
Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais / Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications contextPaula Fernanda Ramos Herculano 24 April 2007 (has links)
As técnicas de teste podem ser divididas, num primeiro nível, naquelas baseadas no código (caixa branca) e naquelas baseadas na especificação (caixa preta ou funcionais). Nenhuma delas é completa pois visam a identificar tipos diferentes de defeitos e a sua utilização em conjunto pode elevar o nível de confiabilidade das aplicações. Assim, tornam-se importantes estudos que contribuam para um melhor entendimento da relação existente entre técnicas funcionais e estruturais, como elas se complementam e como podem ser utilizadas em conjunto. Este trabalho está inserido no contexto do projeto PLAVIS (Plataforma para Validação e Integração de Software em Aplicações Espaciais), e tem como objetivo realizar um estudo comparativo entre as técnicas de geração de casos de teste funcionais (baseadas nas especificações formais) e os critérios estruturais baseados em fluxo de controle e fluxo de dados, aplicados nas implementações. Num contexto específico, esse estudo deve fornecer dados de como se relacionam essas duas técnicas (funcional e estrutural) gerando subsídios para sua utilização em conjunto. Num contexto mais amplo - o do projeto PLAVIS - visa a estabelecer uma estratégia de teste baseada em critérios funcionais e estruturais e que possam, juntamente com as ferramentas que dão suporte a eles, compor um ambiente de teste disponível à utilização em aplicações espaciais dentro do INPE / Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation & Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE
|
36 |
Proposta de um método para coleta, processamento e análise de dados da qualidade em obras de habitação de interesse social por parte de um agente externo à produçãoBerr, Leticia Ramos January 2010 (has links)
As dificuldades de entendimento dos conceitos relacionados à qualidade, sua operacionalização e medição na construção civil têm sido evidenciadas em diversos trabalhos, apesar da ampla disseminação dos sistemas de certificação de sistemas de gestão da qualidade baseada na ISO9001 e, no caso do Brasil, do Programa Brasileiro da Qualidade e Produtividade no Habitat (PBQP-H). O setor vem sendo exigido a melhorar seu desempenho e gerar produtos mais conformes, confiáveis, duráveis e de acordo com as necessidades dos clientes, principalmente devido ao aumento da demanda de empreendimentos habitacionais de interesse social. Também, neste segmento as empresas necessitam estar preparadas para atuar em um contexto de grandes volumes de construção e limitada margem de lucro, o que exige processos e organização bem ajustados para evitar perdas. Neste trabalho, foi proposto um método para a medição da qualidade a partir da coleta, processamento, análise e distribuições de informações sobre a conformidade dos principais processos construtivos. Buscou-se identificar as atividades que mais impactam na qualidade do produto habitação, baseado na bibliografia, na percepção de especialistas e nas reclamações dos usuários. Em se tratando de habitações de interesse social, objetiva-se auxiliar nos esforços de melhoria dessas atividades através da aplicação de listas de acompanhamento de obra. Os dados gerados pela aplicação deste método resultam em indicadores de qualidade relacionados à conformidade de execução dos processos construtivos. A pesquisa foi constituída das seguintes etapas: (a) revisão bibliográfica; (b) identificação dos processos construtivos com maior incidência de problemas; (c) desenvolvimento dos instrumentos de coleta individuais para cada processo construtivo em versão digital e em papel; (d) análise de especialistas; (e) três ciclos de desenvolvimento, avaliação e melhorias; e (f) avaliação da proposta final do método. Como principais contribuições do trabalho destacam-se o próprio método proposto, assim como a identificação das facilidades e barreiras que foram encontradas na sua operacionalização, os indicadores de conformidade das obras, levantados em empreendimentos na Região Metropolitana de Porto Alegre, em Caxias do Sul e em Pelotas, bem como a identificação das informações que cada agente envolvido pode utilizar em suas atividades. / The difficulties of understanding concepts related to quality, its implementation, and measurement in the construction industry have been pointed out in several studies, despite the wide dissemination of certified quality management systems, based on ISO9001 and, in the case of Brazil, on the Brazilian Program for Quality and Productivity in the Habitat (PBQP-H). Moreover, the construction sector has been demanded to improve its performance, and produce more compliant, reliable, and durable products, according to the needs of customers, mainly due to the increasing demand for social interest housing projects. Also, companies in this segment need to be prepared to act in a context of large volumes of construction and limited margins of profit, which calls for well adjusted processes and organizations to avoid waste. This research work proposes a method for measuring quality in terms of conformance of the most critical processes in social interest housing projects, including data collection, processing, and analysis, as well as distributing information. The activities that most affect the quality of housing projects were identified based on the literature, on the perception of experts, and on complaints from users. As far as social housing is concerned, the aim of this method is to support the effort of improving quality through the application of check-lists. The data produced by the application of this method results in a set of quality indicators related to the conformance of construction processes. This study was divided into six main stages: (a) literature review; (b) identification of the construction processes with the highest incidence of problems; (c) development of data collection instruments for each individual building process; (d) expert analysis; (e) three cycles of development, evaluation, and improvement of the method; and (f) evaluation of the final proposal of the method. The main contribution of this investigation is the method itself, as well as the identification of opportunities and barriers for its implementation. The study also provided a set of evaluations for a number of construction projects, from the Metropolitan Area of Porto Alegre, Caxias do Sul, and Pelotas. Finally, the information that each agent involved can use was identified.
|
37 |
Qualidade da alvenaria estrutural em habitações de baixa renda : uma análise de confiabilidade e da conformidade / Quality of structural masonry in low-income housing projects : an analysis of reliability and conformanceRichter, Cristiano January 2007 (has links)
A alvenaria estrutural tem sido amplamente empregada na construção civil brasileira, sendo o segmento de empreendimentos habitacionais de baixa renda uma de suas principais aplicações. Neste segmento de mercado, a qualidade das edificações tem sido estudada por diversos autores. Porém, poucos destes estudos reconheceram o caráter multidimensional da qualidade e tampouco explicitaram a perspectiva da qualidade que estava sendo utilizada. Nos empreendimentos habitacionais de baixa renda, as dimensões da qualidade de confiabilidade e conformidade são fundamentais. Neste sentido, o presente trabalho teve como objetivo principal analisar a relação das não-conformidades do processo construtivo de alvenaria estrutural em empreendimentos habitacionais de baixa renda com a confiabilidade do produto. Esta análise foi realizada em oito empreendimentos concluídos e em oito empreendimentos em construção no Estado do Rio Grande do Sul, relativos a dois programas promovidos pela CAIXA: o Programa de Arrendamento Residencial e do Programa Imóvel na Planta. Para mensurar a confiabilidade do produto foi proposto um método de análise sistemática por observação direta de manifestações patológicas. A aplicação deste método resultou num coeficiente de defeitos por unidades (CDU), o qual apresentou diferenças significativas entre os empreendimentos estudados. A partir da análise das não-conformidades foi possível identificar as principais oportunidades e barreiras à melhoria da alvenaria estrutural nestes empreendimentos. Estes fatores foram analisados tanto no processo de construção destes empreendimentos como no processo de avaliação da qualidade adotado pela CAIXA. / Structural masonry has been widely used in the Brazilian construction industry. One of the main applications in Brazil has been in the low-income housing project segment. Several authors have studied the quality of construction in this segment. However, most studies do not take into account the multidimensional character of quality, and only a few define the dimension of quality that has been considered. The dimensions of reliability and conformance are fundamental in low-income housing projects. The main objective of this dissertation is to analyze the relationship between nonconformances of structural masonry in low-income housing and product reliability. This analysis involved eight housing projects already delivered to the users as well as eight housing projects under construction, all of them located in the state of Rio Grande do Sul, Brazil. Those housing projects are part of two programs promoted by the Brazilian Public Savings Bank: The Residential Leasing Program and the Building Plan Program (Programa Imóvel na Planta). In order to measure the reliability of the product, a method of systematic analysis by direct observation of structural masonry failures was used. The application of this method resulted in a measure of defective elements (CDU), which indicated significant differences on the quality between the housing projects that were studied. It was possible to identify opportunities for improvement in structural masonry based on the analysis of non conformances. These factors were analyzed during the construction process as well as during the quality control process conducted by the Public Savings Bank.
|
38 |
Automated test generation for production systems with a model-based testing approach / Génération de tests automatisés pour des systèmes de production avec une approche basée modèleDurand, William 04 May 2016 (has links)
Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâche. De plus, un modèle est utile lorsqu’il est à jour par rapport à ce qu’il décrit, ce qui implique de le maintenir dans le temps. Pour autant, conserver une documentation à jour reste compliqué puisqu’il faut souvent le faire manuellement. Dans notre contexte, il est important de souligner le fait qu’un système de production fonctionne en continu et ne doit être ni arrêté ni perturbé, ce qui limite l’usage des techniques de test classiques. Pour pallier le problème de l’écriture de modèles, nous proposons une approche pour construire automatiquement des modèles depuis des séquences d’événements observés (traces) dans un environnement de production. Pour se faire, nous utilisons les informations fournies par les données échangées entre les éléments qui composent un système de production. Nous adoptons une approche boîte noire et combinons les notions de système expert, inférence de modèles et machine learning, afin de créer des modèles comportementaux. Ces modèles inférés décrivent des comportements complets, enregistrés sur un système analysé. Ces modèles sont partiels, mais également très grands (en terme de taille), ce qui les rend difficilement utilisable par la suite. Nous proposons une technique de réduction spécifique à notre contexte qui conserve l’équivalence de traces entre les modèles de base et les modèles fortement réduits. Grâce à cela, ces modèles inférés deviennent intéressant pour la génération de documentation, la fouille de données, mais également le test. Nous proposons une méthode passive de test basé modèle pour répondre au problème du test de systèmes de production sans interférer sur leur bon fonctionnement. Cette technique permet d’identifier des différences entre deux systèmes de production et réutilise l’inférence de modèles décrite précédemment. Nous introduisons deux relations d’implantation : une relation basée sur l’inclusion de traces, et une seconde relation plus faible proposée, pour remédier au fait que les modèles inférés soient partiels. Enfin, ce manuscrit de thèse présente Autofunk, un framework modulaire pour l’inférence de modèles et le test de systèmes de production qui aggrège les notions mentionnées précédemment. Son implémentation en Java a été appliquée sur différentes applications et systèmes de production chez Michelin dont les résultats sont donnés dans ce manuscrit. Le prototype développé lors de la thèse a pour vocation de devenir un outil standard chez Michelin. / This thesis tackles the problem of testing (legacy) production systems such as those of our industrial partner Michelin, one of the three largest tire manufacturers in the world, by means of Model-based Testing. A production system is defined as a set of production machines controlled by a software, in a factory. Despite the large body of work within the field of Model-based Testing, a common issue remains the writing of models describing either the system under test or its specification. It is a tedious task that should be performed regularly in order to keep the models up to date (which is often also true for any documentation in the Industry). A second point to take into account is that production systems often run continuously and should not be disrupted, which limits the use of most of the existing classical testing techniques. We present an approach to infer exact models from traces, i.e. sequences of events observed in a production environment, to address the first issue. We leverage the data exchanged among the devices and software in a black-box perspective to construct behavioral models using different techniques such as expert systems, model inference, and machine learning. It results in large, yet partial, models gathering the behaviors recorded from a system under analysis. We introduce a context-specific algorithm to reduce such models in order to make them more usable while preserving trace equivalence between the original inferred models and the reduced ones. These models can serve different purposes, e.g., generating documentation, data mining, but also testing. To address the problem of testing production systems without disturbing them, this thesis introduces an offline passive Model-based Testing technique, allowing to detect differences between two production systems. This technique leverages the inferred models, and relies on two implementation relations: a slightly modified version of the existing trace preorder relation, and a weaker implementation proposed to overcome the partialness of the inferred models.Overall, the thesis presents Autofunk, a modular framework for model inference and testing of production systems, gathering the previous notions. Its Java implementation has been applied to different applications and production systems at Michelin, and this thesis gives results from different case studies. The prototype developed during this thesis should become a standard tool at Michelin.
|
39 |
Metodologia para a homologação dos equipamentos do Sistema Canal Azul da Carne - MHECAC. / Methodology for Blue Path Technology equipments compliance.Leandro Ruzene Sergio 28 April 2016 (has links)
Este trabalho de pesquisa apresenta a Metodologia para a Homologação dos Equipamentos do Sistema Canal Azul da Carne - MHECAC. Esta proposta de metodologia é complementar ao desenvolvimento do Sistema Canal Azul da Carne e tem o objetivo de apoiar o MAPA (Ministério da Agricultura, Pecuária e Abastecimento) no estabelecimento de um processo de verificação da conformidade de equipamentos, buscando garantir a interoperabilidade, o desempenho e a segurança de seus componentes de hardware. O Sistema Canal Azul é uma realização do MAPA em conjunto com o GAESI da Escola Politécnica da Universidade de São Paulo (EPUSP) e a iniciativa privada, e tem o objetivo de reduzir o tempo empregado nos processos de exportação de carnes no Brasil. A MHECAC baseia-se na estrutura de processo de avaliação de conformidade estabelecida pelo Sistema Brasileiro de Avaliação da Conformidade - SBAC e seus requisitos gerais podem ser aplicados à avaliação de conformidade de produtos em setores variados. No desenvolvimento da MHECAC foram aplicadas as principais referências técnicas e normativas correspondentes aos equipamentos que compõe a arquitetura do sistema Canal Azul. Além disto, foram definidos os modelos de homologação, auditoria e inspeção, os planos de amostragem, os requisitos mínimos e a metodologia de ensaio. A MHECAC subdivide-se em dois segmentos principais. O primeiro apresenta os requisitos gerais para o estabelecimento de sistemas de avaliação da conformidade e certificação de produtos, a aplicação destes requisitos não se limita ao Sistema Canal Azul, e o segundo apresenta requisitos específicos ao sistema estabelecido pelo MAPA. A aplicação da MHECAC favorece o tratamento isonômico de fornecedores e é um importante balizador para a seleção de equipamentos, pois permite a qualificação e a comparação de soluções, por meio de um embasamento técnico, pautado pela qualidade. / This research presents a methodology to the Blue Path Technology equipments\' certification, MHECAC (Metodologia para a Homologação dos Equipamentos do Sistema Canal Azul da Carne). The MHECAC is a propose methodology, which aims to support the MAPA in the definition of a process of certification, based on the analysis of compliance with minimum requirements, so that there is a mechanism of standardization and interoperability assurance, quality and safety where equipment of Blue Path Technology are applied. The Blue Path Technology is a project developed by MAPA in conjunction with the GAESI (Department of Electrical Energy and Automation) of the Polytechnic School (POLI) of the University of São Paulo (USP) and the private sector, and aims to reduce the time spent in meat export processes in Brazil. The MHECAC is based on SBAC (Sistema Brasileiro de Avaliação da Conformidade) and can be expanded for other sectors. In the development of MHECAC were applied the main technical references and standards corresponding to the equipment of the Blue Path Technology. In addition,were defined the approval mode, the audit/nspection and sampling plans, the list of minimum requirements and the testing methodology. The MHECAC is divided in two main segments. The first presents the general requirements for establishing conformity assessment and product certification systems, the application of these requirements is not limited to the Blue Path Technology, and the second provides specific requirements to the system established by MAPA. The application of MHECAC contributes to the equal treatment of suppliers and is an important tool for the selection of equipment, it allows the classification and the comparison solutions, by means of a technical basis, based on the quality.
|
40 |
Adapting a system-theoretic hazard analysis method for interoperability of information systems in health careCosta Rocha, Oscar Aleixo 25 April 2022 (has links)
The adoption of Health Information Systems (HIS) by primary care clinics and practitioners has become a standard in the healthcare industry. This increase in HIS utilization enables the informatization and automation of many paper-based clinical workflows, such as clinical referrals, through systems interoperability. The healthcare industry defines several interoperability standards and mechanisms to support the exchange of data among HIS. For example, the health authorities, Interior Health and Northern Health, created the CDX system to provide interoperability for HIS across British Columbia using SOAP Web Services and HL7 Clinical Document Architecture (CDA) interoperability standards. The CDX interoperability allows HIS such as Electronic Medical Record (EMR) systems to exchange information with other HIS, such as patients clinical records, clinical notes and laboratory testing results. In addition, to ensure the EMR systems adhere to the CDX specification, these health authorities conduct conformance testing with the EMR vendors to certify the EMR systems. However, conformance testing can only cover a subset of the systems' specifications and a few use cases. Therefore, systems properties that are not closely associated with the systems (i.e. emergent properties) are hard, or even impractical, to assure using only conformance testing. System safety is one of these properties that are particularly significant for EMR systems because it deals with patient safety. A well-known approach for improving systems safety is through hazard analysis. For scenarios where the human factor is an essential part of the system, such as EMR systems, the System-Theoretic Process Analysis (STPA) is more appropriate than traditional hazard analysis techniques. In this work, we perform a hazard analysis using STPA on the CDX conformance profile in order to evaluate and improve the safety of the CDX system interoperability. In addition, we utilize and customize a tool named FASTEN to support and facilitate the analysis. To conclude, our analysis identified a number of new safety-related constraints and improved a few other already specified constraints. / Graduate
|
Page generated in 0.0927 seconds