Made available in DSpace on 2014-06-12T15:59:31Z (GMT). No. of bitstreams: 2 arquivo5135_1.pdf: 1049051 bytes, checksum: e5be25e2aa87cb17b0788411f129a4a8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Atualmente, sistemas embarcados são ubíquos. Em outras palavras, eles estão em todos os lugares. Desde utilitários domésticos (ex: fornos microondas, refrigeradores, videocassetes, máquinas de fax, máquinas de lavar roupa, alarmes) até equipamentos militares (ex: mísseis guiados, satélites espiões, sondas espaciais, aeronaves), nós podemos encontrar um sistema embarcado. Desnecessário afirmar que a vida humana tem se tornado mais e mais dependente desses sistemas. Alguns sistemas embarcados são classificados como sistemas de tempo real, onde o comportamento correto depende não somente da integridade dos resultados, mas também nos tempos em que tais resultados são produzidos. Em sistemas embarcados de tempo real críticos, se as restrições temporais não forem satisfeitas, as conseqüências podem ser desastrosas, incluindo grandes danos aos equipamentos ou mesmo perdas de vidas humanas. Devido a tarefas que possuem alta taxa de utilização de processador, alguns sistemas embarcados (ex: dispositivos médicos) precisam ser compostos de mais de um processador para obter performance aceitável e, no caso de sistemas embarcados de tempo real críticos, para satisfazer as restrições temporais críticas. Entretanto, questões adicionais precisam ser consideradas para lidar com um ambiente multiprocessado, tal como comunicação entre processadores e sincronização. Nessa dissertação, um método de síntese de software baseado no formalismo matemático redes de Petri com tempo é apresentado para lidar com sistemas embarcardos de tempo real críticos com múltiplos processadores. A abordagem inicia a partir de uma especificação (usualmente composta de tarefas concorrentes e comunicantes) e automaticamente gera o código fonte de um programa considerando: (i) as funcionalidades e restrições; e (ii) o suporte operacional para execução das tarefas em um ambiente multiprocessado. Síntese de software é uma alternativa para sistemas operacionais especializados para dar suporte a execução de um programa. Sistemas operacionais são usualmente genéricos e podem introduzir atrasos no tempo de execução, e ao mesmo tempo produzir alto consumo de memória. Por outro lado, a síntese de software é uma alternativa de projeto, dado que este método automaticamente gera o código fonte do programa, satisfazendo a funcionalidade, as restrições especificadas, o suporte para execução, e a minimização dos atrasos e uso de memória

Orientador: Paulo Licio de Geus / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T19:10:45Z (GMT). No. of bitstreams: 1 Kropiwiec_DiogoDitzel_M.pdf: 1443116 bytes, checksum: e21c7e873f831958ffc9ce27db574054 (MD5) Previous issue date: 2005 / Resumo: A Internet trouxe grandes benefícios às organizações e usuários de computadores, porém causou também uma maior exposição dos sistemas computacionais interligados em rede. Inúmeros têm sido os esforços para conter o crescente aumento dos ataques que ocorrem no mundo todo, dentre os quais inclui-se o desenvolvimento de sistemas operacionais mais seguros. Entretanto, a adoção desses sistemas ainda é incipiente, devido a várias dificul-dades envolvidas no processo, dentre as quais destaca-se a complexidade de configuração e gerenciamento de políticas de segurança. Nesta dissertação, são apresentados os aspectos estudados durante o desenvolvimento do mestrado, que permitiram a identificação dos problemas atuais associados a segu-rança de sistemas operacionais e políticas de segurança. Isso resultou no projeto e imple-mentação do Policy Viewer, uma ferramenta de visualização de políticas de segurança. Sua finalidade é auxiliar o administrador de políticas na compreensão, visualização e verificação das políticas de segurança especificadas para o sistema operacional. Utilizando as características apresentadas no projeto, foi desenvolvida uma imple-mentação parcial da ferramenta contendo um subconjunto das funcionalidades previstas, sobre o qual foram elaborados exemplos para demonstrar sua utilidade no auxilio da configuração de políticas e na identificação de problemas da política especificada / Abstract: The Internet brought great benefits to organizations and computer users, but has also caused a larger exposure of the computing systems connected to the network. Countless efforts are being made to contain the increasingly higher leveI of attacks that happen ali over the world, among which stands the development of safer operating systems. Un-fortunately, the adoption of these systems is still incipient, because of several obstacles involved in the processo One of them is the complexity of configuring and managing security policies.This dissertation shows aspects of operating system security and security policies stu-died during the Masters program, leading to the identification of current problems asso-ciated with them. This resulted in the project and implementation of Policy Viewer, a tool for the visualization of security policies. Its purpose is to aid the policy administrator in the comprehension, visualization and validation of operating systems security policies. The tool has been partialiy implemented with a subset of the intended functions, using the features presented in the project. Also, examples are shown to demonstrate its utility toward aiding in the process of policy configuration and in the identification of possible problems of such policies / Mestrado / Mestre em Ciência da Computação

Orientador: Luis Geraldo Pedroso Meloni / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-07T00:07:09Z (GMT). No. of bitstreams: 1 Silva_HelcioWagnerda_D.pdf: 1116023 bytes, checksum: af2589c5ac30703b51fc2be872fc186a (MD5) Previous issue date: 2006 / Resumo: Apesar das iniciativas surgidas ao longo dos anos no âmbito da IETF, alguns aspectos relacionados à conjuração e manutenção dos sistemas desenvolvidos atualmente para a gerencia de redes TCP/IP ainda são endereçados de maneira ad-hoc. Muitas vezes, e necessária à intervenção humana, principalmente na ocorrência de falhas parciais. Esta Tese apresenta um estudo sobre o uso da tecnologia JINI na construção daqueles sistemas para torná-los mais flexíveis e auto-resilientes. As considerações gerais feitas neste estudo remetem: a associação de Serviços JINI a sistemas gerenciados; ao agrupamento destes Serviços de Domínios Gerenciados; à incorporação de Interfaces com Usuário flexíveis nos proxies para estes Serviços; à utilização dos mecanismos de segurança e de suporte a transações providos por JINI na interação entre Aplicações de Gerencia e Serviços JINI; e ao emprego de plataformas com baixo poder computacional. A ?m de validá-las, dois sistemas foram desenvolvidos. O primeiro deles tem seu foco no nível de dispositivo, sendo denominado de Baía de Equipamentos. O outro sistema, mais escapável, tem seu foco na rede como um todo, consistindo na implementação de um PNMS utilizando JINI nas comunicações entre a PMA e o PDP. Neste sistema, SNMPv3 e a MIB de Evento são utilizados para reforço de Políticas junto ao PEP. Um projeto alternativo para este PNMS e também descrito, concebendo o PEP como um Serviço JINI e realizando tal reforço mediante invocação remota de métodos junto aquele componente. Em seguida, JINI e comparada com outras tecnologias utilizadas para a criação de abordagens revolucionarias (CORBA e Web Services, mais especificamente). Esta comparação, que inclui também a tecnologia utilizada no modelo tradicional, é feita com base na modelagem de aplicações, utilização da infra-estrutura pré-existente, possibilidade de utilização de Interfaces com o Usuário flexíveis e aplicação de tais tecnologias em dispositivos com baixo poder computacional. O resultado daquela comparação aponta para uma viabilidade equivalente, e às vezes ate superior, de JINI frente a demais tecnologias. Esta conclusão deve-se em parte a sua considerável infra-estrutura, que prove suporte, inclusive, ao uso de transações. Além disso, mecanismos auxiliares permitem que usuários de sistemas baseados em JINI gerenciem dispositivos e aplicações através de interfaces flexíveis e personalizadas. E outros destes mecanismos permitem o seu uso em dispositivos com restrições computacionais sem comprometimento de funcionalidade. De fato, estas características garantem a sistemas baseados em JINI um nível de flexibilidade e automação sem precedentes. As direções futuras apontadas remetem a construção de mais sistemas baseados nesta tecnologia, endereçando necessidades especificais e até mesmo absorvendo outras tecnologias / Abstract: In spite of the initiatives that appeared over the years in context of the IETF, some aspects related to con?guration and maintenance of systems currently developed for management of TCP/IP-based networks are still addressed in an adhoc manner. Some times, human intervention is needed, mainly during the occurence of parcial failures. This Thesis presents a study on utilization of JINI technology for building of those systems, in order to improve them for more ?exibility and self-resilience. The general considerations performed in this study point to: association of JINI Services to managed systems; grouping them in Managed Domains; incorporation of ?exible User Interfaces in their related proxies; utilization of security and transactions mechanisms provided by JINI on their communications with Management Applications; and deployment of both components into low computing power devices. In order to validate these considerations, two systems were developed. The ?rst one focus on the device level, being named Bay of Devices. The second, more scalable, has its focus on the wide-network level. This latter is an implementation of a PNMS that uses JINI for communication between the PMA and the PDP. It uses SNMP and the Event MIB for enforcement of Policies on PEPs. An alternative design for this PNMS is presented as well, showing the PEP as a JINI Service and performing such enforcement by means of remote method invocations on that component. Next, JINI is compared to other technologies used in creating revolutionary approaches (more speci?cally, CORBA and Web Services). That comparison, which includes the technology used on traditional approach as well, was performed taking into account the following parameters: modelling of applications, utilization of existent infrastructure and capabilities related to the utilization of ?exible User Interfaces and deployment of low computing power devices in these technologies. The results emerged from that comparison point to an equivalent, and sometimes better, suitability of JINI when compared to these technologies. This conclusion is due partially to its infrastruture, that also includes provision for using transactions. Moreover, auxiliary mechanisms allow users of JINI-based systems to manage devices and applications by means of ?exible and customized User Interfaces. Similar mechanisms allow its deployment on devices with lower computing power without loss of functionality. In fact, these features provide to JINI-based systems an unpreceeded level of ?exibility and automation on their operations. The future directions point to building of additional systems based on this technology, addressing aspects speci?c to devices and/or applications, and merging other technologies, when possible / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

Orientador: Ettore Bresciani Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-26T15:28:33Z (GMT). No. of bitstreams: 1 Silva_IrisBentoda_D.pdf: 12670398 bytes, checksum: b8094c576b44042cdf6112d4950c4bb6 (MD5) Previous issue date: 2000 / Resumo: A emergência da microeletrônica e da transmissão de informação propiciou uma maior integração entre o desenvolvimento do produto e do processo de fabricação no setor de forjados. Além disso, a reorientação desse setor, sobretudo no ramo das autopeças, levou-nos a pensar, como Taylor e Ford o fizeram em sua época, sobre a forma na qual se deve pautar a organização do trabalho nas forjarias, a fim de garantir a qualidade e a competitividade. No entanto, o desafio hoje é diferente, principalmente no que diz respeito ao elemento humano. Nossa proposta do modelo de sistema integrado de produto e processo com melhoria contínua da qualidade surgiu dessa reflexão e traz algumas propostas que pudemos desenvolver. Desde 1990, com a abertura da economia, a forjaria, no Brasil, passou a enfrentar mudanças e desafios agravados pela redução progressiva das tarifas alfandegárias. Tal fato permitiu a vinda de produtos estrangeiros com preço e qualidade mundiais, influenciando o perfil do mercado consumidor, que se tornou mais exigente tendo em vista os parâmetros internacionais. As forjarias brasileiras depararam-se com uma concorrência acirrada, principalmente com as forjarias da índia, Turquia e China em razão do preço e com as forjarias do Japão, Alemanha e Estados Unidos, que além disso possuem tecnologia. Ante tal contexto, em que a competitividade é fator essencial para a sobrevivência de nossas forjarias, o que implica a obtenção de qualidade e baixo custo, faz-se necessário um modelo de melhoria contínua da qualidade cujo principal ponto de apoio seja a mudança no gerenciamento que, como vimos, tem aparecido historicamente como fator essencial no desenvolvimento da indústria. Para enfrentar tal desafio, no nosso modelo, o projeto do produto e do processo é mais integrado e, por meio do treinamento, procuramos qualificar os colaboradores para que acompanhem o constante processo de mudança organizacional, absorvam novas tecnologias e possam implementar o processo de melhoria contínua. O ponto central deste trabalho consiste em desenvolver um modelo de qualidade em uma forjaria pertencente a uma empresa do setor metalo-mecânico. Partimos, assim, do princípio de que o fator mais importante na operação de uma forjaria é o conhecimento dos sistemas que se relacionam com as variáveis e os parâmetros do nível de qualidade. Por intermédio da análise desses sistemas, pode-se estabelecer condições para um modelo adequado a um fabricante "classe mundial", buscando-se satisfazer o cliente. O modelo de qualidade proposto foi desenvolvido por meio de pesquisa, de análise e de desenvolvimento de três sistemas: processo de negócios, sistema de qualidade (SQ) e melhoria contínua. O estudo desses processos foi apoiado na teoria do sistema geral. Considerando o processo de negócios e o sistema de qualidade da forjaria (SQF) foi desenvolvido, neste trabalho, o modelo inicial de qualidade (MIQ). A implantação do MIQ mostrou que o resultado do nível de qualidade, quando comparado com o sistema de qualidade anterior da forjaria, apresentou melhor desempenho, porém, ainda aquém dos valores encontrados nas forjarias chamadas de ponta. Observando o modelo MIQ e considerando o sistema de melhoria contínua, foi desenvolvido o modelo de qualidade (MQ) da forjaria. A análise da implantação do MQ deu-se por intermédio do indicador de qualidade, do custo de qualidade, da avaliação da satisfação do cliente e da evolução do modelo com base na teoria do sistema geral. Os resultados obtidos com essa implantação foram comparados com os valores encontrados anteriormente na forjaria e pôde-se notar que houve uma melhoria do nível de qualidade compatível com as forjarias de primeiro mundo / Abstract: The advent of microelectronics and of the transmission of information has created a greater integration between the development of the product and the fabrication process in the sector of forge. Besides, the orientation of this sector, especially in the branch of the auto parts, caused us to think, as Taylor and Ford had already done at their time, about the way whereby the organization of labor should be done in the forges to assure quality and competitiveness. However, the challenge is different today, mainly as regards the human resource. Our proposal of the model for a product and process integrated system with continuous improvement of the quality arose from this thought and brings some propositions that we could develop. Since 1990, with the lifting of the economy barriers, the forge, in the Brazil, began to face changes and challenges on top of which there was the factor of the reduced import taxes. This brought about the importation of products at worldwide quality and price levels, thus influencing the profile of the consumer market, which became more demanding in face of the international parameters. The Brazilian forges faced a strong competition mainly from India, Turkey and China with reference to price, and from Japan, Germany and United States with reference to technology on top of price. In this industrial and commercial environment, in which competitiveness is the essential facto r for the survival of the Brazilian forges - because it demands quality and low cost - a model of continuous improvement of the quality became necessary. The core point of this model is the change in the management that, as we have seen, has historically been present as the essential factor in the development of the industry. To face this challenge, our model proposes a closer integration between the project of the product and that of the processo By means of training, we have searched to qualify the employees to interact with the constant process of organization change. They should also be prepared to absorb new technologies and to. be able to implement the process of continuous improvement. The central point of this work consists in the development of a quality model in a forge of the auto parts sector. We started from the principie that the most important factor in the operation of a forge is the knowledge of systems that interrelate themselves with the variables and the parameters of the quality leveI. Through the analysis of these systems, conditions may be established for a model adequate for a world class manufacturer and at the same time looking forward, to the satisfaction of the customer. The quality model proposed was developed through the research, analysis and development of three systems: business process, quality system (QS) and continuous improvement. The study of these processes was based on the theory of the general system. Taking into consideration the business process and the quality system of the forge, we developed the FQS (Forge Quality System) and the initial IQM (Initial Quality Model). The implementation of the IQM revealed that the results of the quality level, when compared to previous quality system of the forge, presented better performance, even if not to the full expectation of the values that are present in the state-of-the-art forges. Observing the IQM and considering the continuous improvement system, we developed the QM (Quality Model) of the forge. The analysis of the implementation of the QM was made through the indicator of quality, the cost of quality, the assessment of the customer satisfaction and the evolution of the model with base on the theory of the general system. The results obtained with this implementation were then compared with the values that existed before in the forge and the outcome was an improvement of the level of quality compatible with that of forges in the developed countries / Doutorado / Materiais e Processos de Fabricação

Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-11T00:52:22Z (GMT). No. of bitstreams: 1 Kollross_Diogo_M.pdf: 31909718 bytes, checksum: 107b2440c38f63fc3880fa52f54ea0d7 (MD5) Previous issue date: 2007 / Resumos: Sistemas reativos têm grande importância em muitas áreas da engenharia e da computação, mas a qualidade e maturidade das metodologias e ferramentas de apoio ao desenvolvimento deixam a desejar em relação às voltadas a sistemas transformacionais. Uma das metodologias de destaque é a Arquitetura Orientada a Modelos, onde os sistemas reativos são descritos por modelos que podem ser diretamente traduzidos em formas executáveis. A linguagem mais bem sucedida na modelagem de sistemas reativos é Statechart, que deu origem a variações como os diagramas de máquinas de estado do padrão UML e à linguagem Xchart. Essa linguagem é uma extensão de Statechart que introduz construções para controle de processos externos, história de ativações e hierarquização de eventos. Para superar as limitações da ferramenta já existente para edição de diagramas Xchart conhecida como Smart, foi desenvolvido o editor Sins (Sins 1s Not Smart), implementado como plugin para o ambiente integrado de desenvolvimento Eclipse. Com o editor Sins é possível editar os diagramas através de manipulação direta, diagramar a especificação automaticamente e gerar o código fonte correspondente na linguagem textual TEXchart. O algoritmo de layout implementado é uma variação do algoritmo de Sugiyama, modificado para melhorar a legibilidade do dia:grama ao garantir a consistência na apresentação de suas estruturas e gerar mapas semelhantes aos desenhados livremente / Abstract: Reactive systems have great importance in many areas of Engineering and Computing, but the quality and maturity of the development support methodologies and tools Iack when compared to those directed to transformational systems. One of the outstanding methodologies is Model Oriented Architecture, where the reactive systems are described by models that can be directly translated to executable form. The best succeeded language for modeling of reactive systems is Statechart, which is the origin of variations like state machine diagrams from the UML standard and the Xchart Language. This language is an extension of Statechart that introduces eIements for external process control, activation history and hierarchization of events. To overcome the limitations of the already existing tool for the edition of Xchart diagramas known as Smart, the Sins editor was developed (Sins Is Not Smart), implemented as a plugin for the Eclipse IDE. With the Sins editor it is possible to edit diagramas through direct manipulation, layout the specification automatically and generate the corresponding source code in the textual Language TEXchart. The implemented layout algorithm is a variation of the Sugiyama algorithm, modified for better legibility of the diagram by assuring consistency in the presentation of its structures and generation of layouts similar to those freely drawn / Mestrado / Sistemas de Computação / Mestre em Ciência da Computação

Made available in DSpace on 2016-08-17T14:53:22Z (GMT). No. of bitstreams: 1 dissertacao Vladimir Bezerra.pdf: 1689359 bytes, checksum: a70169a92374db41ad6ea24d036d2b23 (MD5) Previous issue date: 2012-06-26 / FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DO PIAUÍ / Mobile devices such as Smartphones, have become indispensable nowadays, due their increased processing power, more room for data storage, batteries with greater time autonomy, connection to wireless networks and 3G networks. . The Android Operating System is a complete platform for mobile devices principally for Smartphones developed by Google in 2008. It is gaining an increasingly global market space, due to its open-source code. Attacks on mobile phones are not a current practice. The first virtual virus called Cabir, was developed in 2004, and it is concerned only the Symbian operating system. Studies show great evolution of digital attacks to the Android operating system. Honeypots (tools that have many features such as deceive the attacker) can be quite useful in the context of network security. They make the attacker think that he is actually interacting with an operating system, but in fact the attacker is being monitored. Therefore, the present thesis is aimed to develop a Framework (framework) to generate a virtual Honeypot at the level of application for the Android operating system. The methodological procedures for the preparation of this work are the: bibliography research articles, essays and literature specific.. In this work, we show that the attacker can be monitored in mobile devices through a Honeypot generated by the framework developed here in order to be used as a tool in network security based on deception. From our experience in this study, we report some essential recommendations points for improving and expanding this work. / Os dispositivos móveis, como os Smartphones, tornaram-se indispensáveis nos dias atuais, devido ao aumento do poder de processamento, maior espaço de armazenamento de dados, baterias com maior autonomia de tempo, conexão a rede wireless e à rede 3g. O Sistema Operacional Android é uma plataforma completa para dispositivos móveis principalmente para aparelhos celulares inteligentes, desenvolvida pela Google em 2008. Ganhando nesse contexto cada vez mais espaço no mercado mundial, devido ser open-source, ou seja, código fonte aberto. Ataques a telefones celulares não é uma prática atual, o primeiro vírus virtual denominado de Cabir, foi desenvolvido em 2004, e visava exclusivamente o sistema operacional Symbiam. Estudos apresentam grande evolução de ataques digitais ao sistema operacional Android. Os Honeypots (ferramentas que dispõem de diversas funcionalidades e que tem como objetivo principal enganar o invasor) podem ser bastante úteis no âmbito de segurança de rede. Eles fazem com que o atacante pense que está interagindo de fato com um sistema operacional, mas na verdade o atacante está sendo monitorado. Neste sentido, o presente trabalho foi realizado com o objetivo de desenvolver um Framework (arcabouço) para gerar Honeypot virtual a nível de aplicação para o sistema operacional Android. Os procedimentos metodológicos para elaboração deste trabalho foram: pesquisa bibliográfica (artigos, dissertações e literaturas especificas). Conclui-se que é possível monitorar o atacante de dispositivos móveis através do Honeypot gerado pelo Framework desenvolvido, de forma a ser usado como uma ferramenta em segurança de redes baseados em iludir. Diante da experiência vivenciada neste estudo, expomos algumas recomendações, pontos imprescindíveis para melhorias do tema abordado, como: mais visibilidade ao Honeypot e ampliação para outros sistemas operacionais móveis.

Este trabalho se inicia com uma discussão sobre as principais características dos Sistemas de Arquivos Distribuídos, ou seja, espaço de nomes, localização, cache, consistência, replicação, disponibilidade, escalabilidade, heterogeneidade, tolerância a falhas e segurança. Analisamos diversos sistemas de arquivos existentes quanto a estas características dando especial atenção aos sistemas NFS, Andrew, Coda, Sprite, Zebra, Harp, Frolic e Echo. Descrevemos alguns modelos analíticos para o comportamento de sistemas de arquivos distribuídos e, em seguida, apresentamos um novo modelo para sistemas baseados em leases - um mecanismo para a garantia de consistência em sistemas distribuídos. Finalmente, descrevemos a nossa implementação do sistema de arquivos distribuído SODA - que utiliza leases - apresentando dados sobre o seu desempenho. / We begin with a discussion of some of the main characteristics of Distributed File Systems, namely locality, name space, cache, consistency, replication, availability, scalability, heterogeneity, fault tolerance and security. We analyze several file systems based on these characteristics. We focus mainly on NFS, Andrew, Coda, Sprite, Zebra, Harp, Frolic, and Echo. We then describe some analytical models of the behavior of distributed file systems. After that we present a new model of systems based on leases - a mechanism to assure consistency on a distributed system. Finally we describe our implementation of the SODA distributed file system - which uses leases - presenting some results on its performance.

No contexto da gerência de memória em sistemas operacionais, vários grupos de pesquisa desenvolvem trabalhos na área de algoritmos para gerência de memória virtual e alguns algoritmos para substituição de páginas têm sido propostos na literatura recente. No entanto, essas propostas não chegaram a um algoritmo que resolva satisfatoriamente o problema de desempenho na gerência de memória. Ainda não existe um consenso entre os pesquisadores de como essa questão deve ser tratada de maneira eficiente, e as propostas de algoritmos desenvolvidas possuem grande sobrecarga devido à sua complexidade. O objetivo deste trabalho é propor uma forma eficiente de gerenciar a memória com a composição de técnicas de busca, posicionamento e substituição de páginas. A hipótese aqui adotada é que para tratar o problema da gerência da memória é melhor consumir recursos computacionais determinando quais páginas deveriam estar na memória em um determinado instante de tempo do que gastar recursos determinando qual página será retirada da memória. A tese apresenta uma reanálise dos principais trabalhos que têm como objetivo o desempenho da gerência de memória, tornando possível retirar conclusões e ideias sobre quais fatores influenciam de maneira positiva com relação ao desempenho do sistema. A partir deste estudo, é determinado o conceito de qualidade do conteúdo da memória e criada uma métrica para medi-la. Aplicando tal conceito, formula-se um método sistêmico de construção de algoritmos de gerência de memória. Realiza-se uma aplicação desse método, criando-se então, os algoritmos RR+ng e RRlock+ng. A métrica é aplicada em simulações na fase final do método, mostrando-se adequada para realizar as análises. Os resultados obtidos mostram que a hipótese tratar o problema da gerência da memória, consumindo recursos computacionais determinando quais páginas devem estar na memória ao invés de quais devem deixá-la mostrou-se válida e parece promissora. / When it comes to memory management in operating systems, many research groups have been developing works in the memory management algorithms area and some page replacement algorithms have been proposed in the recent literature. Such proposals were not successful in developing algorithms that worked well as far as the performance in memory management is concerned. There is no consensus among the researches about how this problem can be treated efficiently, and the algorithms proposed have high overhead because of their complexity. The objective of this work is to propose an efficient memory management with the composition of page fetch, placement and replacement techniques. This thesis hypothesis is that to treat the memory management problem it is better to consume computational resources determining which pages must be in the memory in a given time than to waste resources defining which pages would be evicted from the memory. This work presents a reanalysis of the main works whose objective is memory management performance, making it possible to draw different conclusions and ideas about what factors may have a positive influence with respect to system performance. This study develops both the concept of quality of memory contents and a metric to measure it. Besides, a systemic method to create memory management algorithms is devised, applying the concept just created. Then, the method is followed, creating the RR+ng and RRlock+ng algorithms. In the final phase of the method, the metric is applied in simulations, proving to be adequate to perform the analysis. The results show that the idea of treating the memory management problem, consuming computational resources to determine which pages must be in the memory instead of which ones must leave it, hold true and seems to be promising.

Made available in DSpace on 2015-04-14T13:56:21Z (GMT). No. of bitstreams: 1 434267.pdf: 2520284 bytes, checksum: bbfa8664e6bea88230921db35b045ec5 (MD5) Previous issue date: 2011-03-23 / A alta complexidade dos sistemas de tempo real aumentou significativamente a necessidade da utiliza??o de Sistemas Operacionais de Tempo Real (RTOS - Real Time Operating System) com o objetivo de simplificar o projeto dos mesmos. Neste contexto, sistemas embarcados baseados em RTOS exploram uma s?rie de funcionalidades e facilidades inerentes ao mesmo, tais como o gerenciamento de tarefas, a concorr?ncia, o acesso ? mem?ria e as interrup??es. Assim, o RTOS funciona com uma interface entre o software e o hardware.Por?m, sistemas de tempo real s?o frequentemente afetados por falhas transientes oriundas de diferentes fontes, tal como a interfer?ncia eletromagn?tica (EMI - Eletromagnetic Interference), que pode gerar falhas capazes de degradar seu comportamento, afetando tanto a aplica??o em execu??o quanto o sistema operacional embarcado.Neste contexto, a principal ideia por tr?s deste trabalho ? a implementa??o de uma Infrastructure Intellectual-Property (I-IP) denominado RTOS-Guardian (RTOS-G), baseada em hardware, capaz de monitorar o fluxo de execu??o do RTOS com o intuito de detectar falhas que eventualmente alterem a ordem de execu??o das tarefas que comp?em a aplica??o. Ao final, experimentos pr?ticos baseados em uma t?cnica de inje??o de falhas por hardware demonstram que, quando comparado com os mecanismos implementados pelo RTOS que visam proteger e monitorar a execu??o das principais opera??es de controle funcional e de fluxo do RTOS, o RTOS-G garante uma detec??o de falhas mais elevada e uma lat?ncia de detec??o de falhas bastante inferior.

Com o objetivo de desenvolver eficientemente sistemas conexionistas úteis para a solução de problemas do mundo real, se faz necessária a utilização de ferramentas que facilitem a manipulação de diversos aspectos envolvidos na construção destes sistemas tais como: topologia, métodos e parâmetros de treinamento, processamento de dados de entrada/saída e análise de resultados e desempenho. Nesta dissertação será apresentado um ambiente que utiliza uma arquitetura cliente/servidor para desenvolvimento de sistemas conexionistas denominado Servidor Aniel. Serão detalhados os módulos que compõem o servidor em termos funcionais e quais as necessidades das aplicações clientes para sua utilização.