A globalização reforça a necessidade das empresas aprimorarem seus processos e produtos continuamente para se manterem competitivas e atenderem às expectativas de um mercado dinâmico e de acionistas cada vez mais exigentes, que buscam maximizar seus lucros. A melhoria contínua acima mencionada não se refere apenas à qualidade percebida pelo consumidor final, mas também à qualidade e confiabilidade dos processos de produção. Desta forma, quando as empresas têm melhores processos, melhores são os produtos originados e também os seus custos. Porém, a questão é como esses processos são modelados na fase de projeto e como ferramentas de qualidade, sobretudo o Seis Sigma metodologia mais em voga na atualidade podem utilizar tais modelos para obter melhores resultados. Essa dissertação propõe a utilização de ferramentas de modelagem e simulação tais como as Redes de Petri para modelagem de processos produtivos fornecem um modelo formal para a representação de sistemas de produção, capturando aspectos inerentes a tais sistemas como concorrência, paralelismo e sincronização suportando a aplicação da metodologia Seis Sigma, a qual geralmente atua somente no nível de melhoria do processo produtivo e não do projeto que o originou. Dessa forma, essa dissertação trás uma proposta de integração entre os times que projetam o processo e os que executam a produção, demonstrando tal viabilidade por meio da análise dos projetos/modelos durante a aplicação da metodologia Seis Sigma. É realizado um estudo de caso na estamparia de uma indústria automotiva que ilustra a aplicação da metodologia proposta. / The globalization strengthens the necessity for companies to improve its processes and products in order to remains competitive and to attend expectations of a dynamic market and shareholders each time more demanding and eager to maximize their profits. The continuous improvement mentioned above, is not related only to the quality perceived by the final consumer, but also to the quality and reliability of the production processes. Therefore, as better processe the company gets, as better would be their final products and as lower would be the costs. However, the question is wheter a continuous improvement using Six Sigma could benefit from the design documentation for the target process returning also an improved documentation after the cycle is completed. This work considers the use of Petri Nets for production processes modeling - even if any other design and modeling representation would return similar results - supporting the Six Sigma methodology application. The main result is a proposition of continuous improvement life cycle that maintains the design documentation consistent and up-to-date. Thus, this work pursuits the integration between the teams that design processes and those who implement them in the manufacturing plant. To show the potential of the models analysis during Six Sigma projects a case study is analyzed for the Press Shop area in an Automotive Industry.

Pacientes críticos tratados em uma UTI comumente apresentam quadros severos de hiperglicemia. Estudos mostram que o controle da glicemia a níveis restritos leva à melhoria no prognóstico de tais pacientes. O controle glicêmico é feito através da medição freqüente da glicemia através de um exame de \"ponta de dedo\", aliada à infusão de insulina, numa atividade bastante trabalhosa para a equipe de enfermagem. Nos últimos anos, surgiram os primeiros sistemas comerciais de monitoramento contínuo de glicose para uso ambulatorial. Entretanto, há uma série de limitações que dificultam seu uso em uma UTI. No presente trabalho, foi desenvolvido um sistema de monitoramento contínuo de glicose para pacientes críticos hiperglicêmicos, batizado de vMonGluco. Esse sistema utiliza um monitor contínuo de glicose, disponível comercialmente, conectado a um palmtop, de forma a obter leituras de glicose em tempo real. Os dados coletados são enviados a um servidor seguindo a norma Health Level Seven (HL7). O servidor redireciona os dados a um monitor de beira de leito, disponibilizando as leituras de maneira prática. As informações também são armazenadas em um sistema de Prontuário Eletrônico do Paciente. Testes realizados em pacientes comprovaram a validade das leituras obtidas. Assim, com o presente trabalho, espera-se trazer uma contribuição prática e significativa no tratamento de pacientes críticos hiperglicêmicos. / Critical patients in an ICU usually experience severe hyperglycemia. Studies show that the control of glycemia to restricted levels can increase the prognosis of these patients. This control is usually done through the frequent reading of glycemia using a fingerstick test, together with the infusion of insulin, in a troublesome activity for the nursery team. In the last few years, the first commercial glucose monitoring systems for ambulatory use have been created. However, several difficulties limit its use in an ICU. In the present work, a continuous glucose monitoring system, named as vMonGluco, was developed. The system uses a commercially available continuous glucose monitor connected to a palmtop, in order to get glucose readings in real time. The collected data are sent to a server using the Health Level Seven (HL7) standard. The server redirects the data to a bedside monitor, so the readings can be accessed in practical way. The information is also stored in an Electronic Health Record system. Tests applied to patients showed the validity of the obtained readings. This way, with the present work, it is expected to bring a practical and significant contribution to the treatment of critical hyperglycemic patients.

Dentro do conceito de "Edifício Inteligente", que tem como objetivo a otimização da infra-estrutura física e do ambiente em relação a aspectos de produtividade e comportamentais, este trabalho apresenta uma metodologia para modelagem e simulação de estratégias de gerenciamento de sistemas de ar condicionado onde focaliza-se a integração do ar condicionado com os demais sistemas de um edifício. Para tanto introduz-se uma abordagem híbrida onde são considerados aspectos de Sistemas a Eventos Discretos e de Sistemas de Variáveis Contínuas. Como estudo de caso apresenta-se a modelagem do sistema de ar condicionado do Prédio dos Ambulatórios do Hospital das Clínicas da Faculdade de Medicina de São Paulo, para o qual se aplica o método proposto para análise do tratamento de perturbações no sistema de ar condicionado resultantes de variações da carga térmica. / Considering "Intelligent Buildings", which have as one of its purpose to improve its structure and environment in order maximise the effectiveness of its occupants, this work introduce a methodology for modelling and simulation of HVAC systems. The focus is on the integration of the HVAC system with other building systems. A hybrid approach is introduced to consider both discrete and continuous aspects. As case study, we present the models for the Ambulatory Building of Hospital of the Medical School of São Paulo University. Particularly, the proposed methodology is used to analyse if the response of the HVAC system to thermal load variations can be enhanced, improving the thermal comfort, when integration between systems is considered.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Atualmente, sabe-se que grande parte dos acidentes graves ocorridos envolvendo uma diversidade de sistemas como plataformas de petróleo, aeronaves ou plantas de processos industriais, poderiam ser evitados caso possuíssem dispositivos de controle projetados especificamente para manter a segurança durante a ocorrência de falhas no funcionamento dos mesmos. Por outro lado, observam-se complicações em realizar o controle de sistemas remotos em que é possível não haver garantia de monitoração em tempo real, como o caso de sondas espaciais ou robôs de exploração. Neste contexto, podem-se encontrar ambas as dificuldades no controle do funcionamento de um Dispositivo de Assistência Ventricular (DAV) que desempenha a função de auxiliar o bombeamento de sangue para o sistema circulatório de um paciente com insuficiência cardíaca. Este tipo de dispositivo, quando usado para terapia de destino, deve apresentar um elevado nível de segurança, pois, caso haja falha, o risco de morte é eminente. Por sua vez, o sistema deve apresentar um elevado índice de autonomia, já que as características comportamentais e fisiológicas de um paciente estão em constante mudança e afetam diretamente o modo como deve ocorrer a interação entre o DAV e o sistema cardiovascular do paciente. Sendo assim, há uma necessidade premente de aprimoramento do projeto de sistemas de controle de DAVs autônomos e seguros. A proposta do presente trabalho consiste em aplicar conceitos mecatrônicos para o projeto de um sistema de controle de DAVs e, considerando a natureza dos sinais que indicam a ocorrência de falhas, considerar a teoria de Sistemas a Eventos Discretos (SED), ferramentas de análise de risco e técnicas de diagnóstico e tratamento de falhas para a obtenção de modelos de controle considerando-se uma arquitetura modular e distribuída. Desta forma, foi desenvolvida uma arquitetura de controle supervisório para DAVs considerando características de variações de comportamento do sistema circulatório do paciente e do próprio DAV. Esta arquitetura de controle contempla o diagnóstico e tratamento de falhas desenvolvendo um método para a classificação de falhas e, de acordo com a severidade de cada uma delas é proposto um sistema de controle que atua na regeneração ou degeneração do DAV para um estado seguro, v observando, também, o cumprimento de normas médicas e técnicas de segurança. Para atingir este objetivo, propõe-se uma sistemática para o projeto do sistema de controle para DAVs considerando o aspecto multidisciplinar pertinente a este contexto. A base dessa sistemática consiste em realizar uma efetiva análise de risco do sistema utilizando a ferramenta de estudo HAZOP (Hazard and Operability Studies). A partir do conhecimento obtido sobre o comportamento do sistema em situações críticas desenvolvem-se modelos formais utilizando rede Bayesiana e rede de Petri para o diagnóstico e tratamento das possíveis falhas. O comportamento do DAV controlado pode ser analisado de duas formas: (i) a partir de ensaios in vitro utilizando técnicas de análise por simulação e ferramentas computacionais adequadas, além de testes em simuladores cardiovasculares físicos que emulam interação com o sistema circulatório humano; (ii) a partir de ensaios in vivo em animais que poderão ser utilizados para simular modelos físicos de insuficiência cardíaca e permitir uma avaliação fidedigna dos efeitos do implante do DAV. O procedimento proposto foi aplicado para um caso real de desenvolvimento de um DAV envolvendo uma equipe de pesquisadores da Escola Politécnica da USP e do Instituto Dante Pazanesse de Cardiologia. Assim, é possível obter-se um sistema de controle autônomo e seguro que atenda normas técnicas aderentes a esse assunto e os rigorosos requisitos de projeto impostos a essa classe de sistema. / Nowadays, it is kwon that the several of severe disasters compromising a great variety of systems such as oil platforms, aircrafts or industrial plants, could have been avoided if these systems had controllers designed specifically to maintain the safety levels in case of fault. On the other side, many complications are observed on performing the control of remote systems, where there is no guarantee of real time monitoring of the system, as in space probes or reconnaissance robots. In this context, both obstacles can be found on the control of ventricular assist devices (VAD), which have the role of assisting to pump the blood into the patients circulatory system, in case of irregular heartbeat or heart failure. Devices such as the VAD must possess very high safety levels, as in case of fault, the consequences are severe and might result on the dead of the patient. Nevertheless, these systems must have high degree of autonomy, as the patients physiology and behavior are constantly changing, and these changes impact directly the interactions between the VAD and the patient´s cardiovascular system. Thus, there is a pressing need to improve the design of safe and autonomous control systems for VADs. The present work proposes applying mechatronic concepts to the development of control systems for VADs, considering the nature of the fault indicating signals, as well as the Discrete Event Systems (DES) theory and through the application of tools for risk analysis, and fault diagnostic and treatment techniques aiming the development of control models based on modular and distributed architectures. Thereby, a VAD supervisory control architecture was developed, where the behavior variations of the patient´s circulatory system as well as of the VAD were taken into consideration. This control architecture features the diagnostic and treatment of faults, where methods for faults classification where developed, and according to the severity each fault is proposed a control system that performs the regeneration or degeneration of the VAD to a secure state and is according to medical standards and safety techniques. To achieve this goal is proposed a systematic for the design of the VAD control system considering the multidisciplinary context of the device. The foundation of this systematic is the performance of an effective risk analysis through the use of the toolset known vii as HAZOP (Hazard and Operability Studies). From the knowledge acquired about the system behavior during critical conditions, formal models are developed employing Bayesian Networks and Petri Nets for the diagnostic and treatment of faults. The behavior of the controlled VAD can be analyzed in two possible ways: (i) from in vitro experiments, through the use of simulation analysis tools and proper computational tools, as well as tests on real cardiovascular simulators, where the interactions between the VAD and the human circulatory system can be emulated; (ii) from in vivo experiments, animals can be used to simulate physical models of irregular heartbeat or heart failure and allow reliable valuations of the VAD implant. The proposed procedure was applied on the VAD development, which was performed by a team of researchers from the Escola Politécnica da USP and from the Instituto Dante Pazanesse de Cardiologia. Thus, is possible to achieve an autonomous and safe control system that complies with the applicable technical standards, as well as the strict project requirements for this class of system.

Wir betrachten offene Systeme; Systeme mit Schnittstelle und Verhalten in Form eines Protokolls. Offener Systeme interagieren durch den Austausch von Nachrichten. Die Interaktion ist korrekt, wenn die interagierende offenen Systeme terminieren können. Die korrekte Interaktion unabhängig entwickelter, offener Systeme ist nicht immer möglich. Obwohl ein offenes Systeme Funktionalität bereitstellt, die ein zweites offenes System benötigt, können Inkompatibilitäten in den Schnittstellen oder im Verhalten dazu führen, dass Nachrichten nicht korrekt ausgetauscht werden. Hier kommt die Idee eines Adapters zum Tragen, der solche Unterschiede ausgleicht. Wir führen eine Technik ein, die Inkompatibilitäten der Schnittstelle und des Verhaltens getrennt voneinander betrachtet. Mit Hilfe von Transformationsregeln geben wir an, wie Nachrichten zweier offener Systeme im Zusammenhang stehen. Wir modellieren so korrekten Datenfluss zwischen den Schnittstellen der offenen Systeme. Mit Hilfe existierender Techniken zur Controllersynthese erzeugen wir korrekten Kontrollfluss, sodass die Transformationsregeln so angewendet werden, dass Inkompatibilitäten im Verhalten überwunden werden. Wir erzeugen korrekten Kontrollfluss. Die Einheit aus Transformationsregeln und Controller bezeichnen wir als Adapter. Aufbauend auf dieser Technik betrachten wir in dieser Arbeit folgende Fragestellungen: - Welche Eigenschaften besitzt die vorgestellte Technik? Wann existiert ein Adapter? Wie lässt sich die Technik allgemein auf offene, kommunizierende Systeme anwenden? - Wie verteilen wir einen generierten Adapter auf verschiedene Komponenten? - Welche Informationen können wir bereitstellen, falls wir keinen Adapter finden? - Wie leiten wir ein formales Modell eines Adapters ab, wenn wir nur aufgezeichnetes Verhalten der offenen Systeme, aber keine formalen Modelle gegeben haben? / We consider open systems being described by an interface and behavior in form of an protocol. Interaction between open systems means exchange of messages. For the interaction to be correct, the interacting open systems must be able to terminate. The interaction of independently developed open systems is not guaranteed to be correct. Although one open system provides functionality a second open system requires, incompatiblities of the interfaces or the behavior may prevent the correct exchange of messages. The idea is to introduce an adapter to overcome the incompatiblities. We present a technique that considers incompatiblities of the interfaces and the behavior separately. With transformation rules we specify how messages of two open systems relate to each other. Using these rules we model the data flow between open systems and overcome incompatiblities of the interfaces. By using existing techniques for controller synthesis we overcome incompatiblities of the behavior. Thus we create correct control flow. We call the composition of transformation rules and controller an adapter. Based on the technique presented in this thesis, we want to answer the following reseach questions: - What are the properties of the proposed technique? When does an adapter exist? How can we apply the technique on open, communicating systems in general? - How do we distribute a generated adapter to different components? - Which information can we provide, if adapter synthesis fails? - How can we discover a formal model of an adapter, when we only have recorded behavior of open systems, but no formal models?

Dans ce mémoire, nous présentons différentes approches de synthèse de contrôleurs réseaux de Petri en se basant sur la théorie des régions. Cette théorie présente quelques limites dans la synthèse de contrôle. En effet, la synthèse du contrôleur RdP, s’il existe, n’est pas du tout une tâche facile vue sa complexité de calcul et l’explosion combinatoire des états dans le graphe de marquage. De plus, le système linéaire de la théorie des régions à résoudre peut contenir des combinaisons convexes entre ces équations ce qui rend la théorie insoluble pour calculer les superviseurs RdP. Ce travail vise à simplifier la complexité de calcul de la théorie des régions en réduisant le nombre d’équations du système linéaire de la théorie des régions d’une part, et d’autre part en minimisant le temps de calcul des contrôleurs RdP. De nouveaux concepts de coupes minimales et de marquages canoniques ont été introduits afin d’appliquer la théorie des régions sur des zones précises du graphe et non pas sur la totalité du graphe de marquage. Finalement, deux autres nouvelles approches ont été développées pour synthétiser des contrôleurs RdP sans générer le graphe de marquage / In this work, we present different control synthesis approaches based on Petri nets and the theory of regions. This theory has some limitations in supervisory control. Indeed, the design on the PN controller, if it exists, is not an easy task due to the resolution complexity and the combinatorial explosion of states in the generated reachability graph. In addition, the linear system of the theory of regions may contain convex combinations of its equations making the theory insoluble. This work aims to simplify the computational complexity of the theory of regions by reducing the number of equations of the linear system and decreasing the computation time of PN controllers. Consequently, new concepts of minimal cuts and canonic markings are introduced in order to apply the theory of regions on specific zones of the graph and not on the whole reachability graph. Finally, two new approaches are developed to synthesize PN controllers without generating the reachability graph

Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften erfüllt, schrittweise zu einem komplizierten Algorithmus verfeinert. In jedem Schritt sollen die gewünschten Eigenschaften erhalten bleiben. Für nachrichtenbasierte verteilte Algorithmen haben wir eine neue Verfeinerungsmethmode entwickelt. Wir beginnen mit einem Anfangsalgorithmus, der Aktionen enthält, die gemeinsame Aufgaben mehrerer Agenten beschreiben. In jedem Schritt verfeinern wir eine dieser Aktionen zu einem Netz, das nur solche Aktionen enthält, die die Aufgaben einzelner Agenten beschreiben. Jeder Schritt ist also eine Verteilung einer unverteilten Aktion. Die Analyse solcher Verfeinerungsschritte wird mit Hilfe eines neuen Verfeinerungsbegriffs - der verteilenden Verfeinerung - durchgeführt. Entscheidend dabei ist das Erhaltenbleiben der Halbordnungen des zu verfeinernden Algorithmus. Dies ist durch Kausalitäten der Aktionen der Agenten im lokalen Verfeinerungsnetz zu erreichen. Die Kausalitäten im lokalen Verfeinerungsnetz lassen sich einerseits beim Entwurf direkt durch Nachrichtenaustausch realisieren. Andererseits kann man bei der Verifikation die Gültigkeit einer Kausalität im lokalen Verfeinerungsnetz direkt vom Netz ablesen. Daher ist diese Methode leicht zu verwenden. Die Anwendung der Methode wird in der Arbeit an verschiedenen nicht trivialen Beispielen demonstriert. / In order to make design and verification of complicated distributed algorithms easier and more understandable, a refinement method is often used. A simple algorithm, which fulfills desired properties, is refined stepwise to a complicated algorithm. In each step the desired properties are preserved. For messages-based distributed algorithms we have developed a new refinement method. We begin with an initial algorithm, which contains actions, which describe common tasks of several agents. In each step we refine one of these actions to a net, which contains only such actions, which describe the tasks of individual agents. Thus, each step is a distribution of an undistributed action. The analysis of such refinement steps is accomplished with the help of a new refinement notation - the distributing refinement. Preservation of the partial order of the refined algorithm is important. This can be achieved by causalities of the actions of the agents in the local refinement net. Causalities in the local refinement net can be realized on the one hand at design directly by messages passing. On the other hand, at verification one can read the validity of causality in the local refinement net directly from the net. Therefore, this method is easy to use. The application of the method is demonstrated by several nontrivial examples in this thesis.

A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo. Por outro lado, a eficiência dos equipamentos depende de sua confiabilidade e manutenabilidade. Neste trabalho a análise de performance é avaliada com o uso de Rede de Petri p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise da otimização da saída do sistema, isto é, quantidade de itens produzidos. Nesta abordagem, uma lógica linear foi desenvolvida e validada utilizando-se uma comparação de resultados das classes de estados do algoritmo proposto com a ferramenta de simulação Tina para um modelo de um esquema produtor consumidor. Apresenta-se um estudo de caso na indústria automotiva, consistindo na análise dos problemas reais enfrentados em uma fábrica de carrocerias, com o uso da Rede de Petri p-t-Temporizada. / The necessity of growing in production, with reduction of costs and improvement in the quality of consumption good, has motivated the constant evolution of production systems, transforming traditional production systems into the modern and complex manufacturing systems, where the performance depends on the efficiency of the equipment and process control. On the other hand, the equipment efficiency depends of their reliability and maintainability. In this work it is proposed a performance evaluation and analysis with the use of p-t- Timed Petri Nets using simulations, including process reliability analysis of the system through the throughput optimization, i.e., produced amount of goods. In this approach, a linear logic statement was developed and validated using a comparison of results of classes of states between the Tina simulation environment and the algorithm considered for a model of a producing consuming system. A case study in the automotive industry is presented, consisting of the analysis of the real problems found in a body shop plant, with the use of Timed Petri Net.

Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Gerenciamento de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de atender sua crescente demanda, mantendo (ou melhorando) os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos \"absoluto\" e \"relativo\" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a segurança na mudança do atual paradigma de vigilância aérea, baseado em equipamentos Radar, para o paradigma de Vigilância Dependente Automática por Radiodifusão (ADS-B). Como conclusões, o método proposto mostrou-se promissor para avaliar a segurança de sistemas baseados nos atuais paradigmas de sistema críticos em segurança, especialmente o CNS/ATM, onde o formalismo das RPFE proporcionou modelar suas principais características, e a simulação por eventos discretos permitiu estimar as métricas desejadas. Além disso, a ADS-B mostrou-se uma aplicação viável para a vigilância no Sistema de Controle de Tráfego Aéreo, sendo capaz de reduzir o nível de exposição das aeronaves a eventos de perda de separação e, assim, melhorar os níveis de segurança do tráfego aéreo. / In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied to Communication, Surveillance, Navigation and Air Traffic Management. CNS/ATM intends to reduce the restrictions of current air traffic paradigm, enabling the growth of air traffic capacity without affecting current safety levels. However, this new paradigm brings together new challenges and needs, mainly related to safety assessment. In face of these new challenges, this work proposed a method of risk assessment constituted by the union of the \"absolute\" and \"relative\" assessment methods adopted by the International Civil Aviation Organization (ICAO), by modeling systems using Fluid Stochastic Petri Nets (FSPN) formalism, and by comparison between safety metrics obtained from proposed and legacy system simulations. This method was applied to assess a new concept of air traffic surveillance, named \"Automatic Dependent Surveillance - Broadcasting\" (ADS-B). As main conclusions, the proposed method was promising to assess system safety properties based on current safety critical system paradigm, especially the CNS/ATM, where FSPN formalism provided important modeling capabilities and discrete event simulation allowed estimating the desired safety metric. Besides, ADS-B has meaningfully reduced the separation losses risks and, therefore, it could be used to air traffic control surveillance system to improve capacity and/or safety levels of air traffic system.