[pt] Software orientado à recuperação é construído com a perspective que falhas de hardware e software bem como erros de operação são fatos com os quais se deve conviver, pois são problemas que não podem ser resolvidos no desenvolvimento de aplicações reais e complexas. Consequentemente, qualquer software sempre terá uma chance diferente de zero de falhar. Algumas dessas falhas podem ser causadas por defeitos que podem ser removidos ou encapsulados. Uma questão chave é aumentar a detectabilidade de erros, ou em outras palavras, aumentar a auto-consciência comportamental de um software. Nesse trabalho, apresentamos os resultados da aplicação sistemática de técnicas conhecidas (design by contract, self-checking software, componentes de software, software depurável, design for testability, mock components e padrões) com o objetivo de criar software orientado à recuperação. Através da medição de cinco aplicações reais de tempo real, analisamos os efeitos da adoção dessas técnicas. Em particular, observamos o balanceamento do esforço gasto em diferentes estágios do desenvolvimento a exploramos o conceito de redundância de raciocínio que, além de prover uma maior detectabilidade de erros e depurabilidade, também leva ao aumento da qualidade por construção. Os resultados foram encorajadores por terem sido sistematicamente melhores do que aqueles reportados pela literatura e obtidos a um custo acessível. / [en] Recovery oriented software is built with the perspective that hardware or software failures as well as operation mistakes are facts to be coped with, since they are problems that cannot be fully solved while developing real complex applications. Consequently, any software will always have a non-zero chance of failure. Some of these failures may be caused by defects that could be removed or encapsulated. A key issue is to increase the detectability of errors, in other words, increase the self-awareness of the software s behavior. In this work, we present the results of systematically applying already well known techniques (design by contract, self-checking software, software components, debuggable software, design for testability, mock components and patterns) with the intent of creating recovery oriented software. Measuring the development of five different real-time and real world applications, we analyzed the effects of the adoption of these techniques. In particular we observed the balancing of the effort spent in different development stages and explore the reduncancy of reasoning concept that, as well as providing a higher detectability and debuggability, also leads to enhancing quality-by-construction. The results were encouraging since they were systematically better than those reported in the literature and were achieved at a feasible cost.

[pt] O crescente uso da simulação computacional de eventos discretos nos sistemas produtivos levou as empresas especializadas a desenvolverem e ofertarem no mercado uma ampla variedade de softwares com diferentes características e custos. Assim, a escolha correta de um simulador é de extrema importância, já que uma seleção incorreta pode levar a consequências negativas nos resultados e, por conseguinte, no desempenho organizacional. Nesse contexto, foi possível identificar que há uma lacuna a ser suprida no tocante à seleção de um software de simulação que considere as necessidades dos usuários. Esta tese tem como objetivo, por conseguinte, apresentar uma metodologia estruturada em duas etapas para avaliação e seleção de softwares de simulação de eventos discretos para manufaturas. Na primeira etapa propôs-se um quadro de avaliação dos processos operacionais com base nos modelos de maturidade. Dessa maneira, será possível analisar se a empresa em estudo possui algumas das condições básicas para se adotar a simulação computacional. Na segunda etapa propôs-se um conjunto de critérios que servirá de base para analisar e selecionar os softwares de simulação. A seleção será feita por meio do uso do método AHP (Analytic Hierarchy Process), utilizado na resolução de problemas de multicritérios. Tanto a avaliação dos processos operacionais quanto a ponderação do conjunto de critérios serão feitas através da aplicação de questionários, de modo a identificar as necessidades específicas dos processos. Quatro aplicações práticas foram feitas com o modelo proposto, e os seus resultados foram apresentados descrevendo as análises realizadas durante a execução dos trabalhos. / [en] The increasing use of discrete event simulation in production systems led the specialized companies to develop and to offer market a wide range of software with different features and costs. Thus, the correct choice of a simulator is extremely important, since an incorrect selection can lead to negative consequences in the results and hence on organizational performance. In this context, it was possible to identify that there is a gap to be met regarding the selection of simulation software that consider the needs of users. Consequently this thesis aims to present a methodology structured in two stages for the evaluation and selection of discrete event simulation software for manufacturers. In the first stage it was proposed an evaluation framework of operational processes based on maturity models. In this way, it will be possible to analyze whether the company under study has some of the basic conditions to adopt the computer simulation. In the second stage it was proposed a set of criteria as a basis to analyze and select the simulation software. Selection will be made through the use of AHP (Analytic Hierarchy Process) used in multi-criteria problem solving. Both the assessment of operational processes as a set of criteria weighing will be made through the use of questionnaires in order to identify the specific needs of the processes. Four practical applications were made with the proposed model and its results were presented describing the analysis performed during the execution of the work. Four practical applications were made with the proposed model and its results were presented describing the analysis performed during the execution of the work.

[pt] A logística humanitária (LH) pode ser definida como um processo de planejamento, implementação e controle da eficácia, fluxo eficiente de custos, armazenagem e movimentação de equipamentos e materiais, assim como informações, com o propósito de atender às necessidades das pessoas afetadas por desastres naturais (tsunamis, terremotos) ou gerados pelo homem (desabamentos, explosões). A importância deste tema recai sobre o número significativo de desastres registrados ao longo das últimas décadas, pelo volume financeiro transacionado e pelo fator comoção humana . Neste contexto, observa-se a necessidade de criação de um sistema centralizado que possa ser utilizado por diferentes entidades com o objetivo de evitar desperdício ou escassez de material, permitir uma visão global das necessidades de múltiplos desastres e possibilitar uma melhor comunicação em relação à situação real dos desastres. Esta dissertação, portanto, tem como objetivo principal propor um framework para um sistema de gerenciamento de resposta a desastres baseado em três evidências: revisão da literatura, utilização de software de gestão de desastres e entrevistas com especialistas. Adicionalmente, o estudo buscou hierarquizar, através de um modelo multicritério de decisão, as funcionalidades mais importantes, para que estas possam ser priorizadas em um possível desenvolvimento do sistema de gestão de desastres ou durante a fase operacional dos mesmos. Conclui-se que atualmente não existe uma ferramenta completa com todas as funcionalidades apresentadas e, portanto, o framework proposto pode ser considerado de grande utilidade caso venha a ser desenvolvido. / [en] Humanitarian logistics (HL) can be defined as a process of planning, implementation and effectiveness control, efficient flow of costs, storage and handling of equipment and materials, as well as information in order to meet the needs of people affected by natural (tsunamis, earthquakes) or man-made (landslides, explosions) disasters. The importance of this issue lies with the significant number of disasters reported over the past decades, the financial volume traded, and due human emotion factor. In this context, there is a need for a centralized system that can be used by different entities in order to avoid waste or material shortages, providing a global view of multiple disasters needs, and enabling a better communication about the real situation of the disaster. This study aims to propose a conceptual disaster response management system based on three evidences: literature review, disaster management software usage, and expert interviews. In addition, the study sought to prioritize, through a multicriteria decision model, the most important features, so they can be prioritized on a possible development of the disaster management system or during its operational phase. It is concluded that currently there is no tool with all needed features presented herein and therefore the proposed framework, once implemented, can be considered very useful for a better humanitarian aid.

[pt] Como em toda grande empresa da indústria de óleo e gás, fortemente integrada e altamente rentável, várias são as oportunidades de buscar e encontrar processos logísticos com reais possibilidades de otimização e melhoria. Neste tipo de companhia, encontramos diversas cadeias de suprimento subjacentes ao processo, que por seu porte e complexidade, seriam consideradas principais em diversas outras indústrias ou ramos de serviços. Neste contexto, a presente dissertação se propõe a analisar as etapas e percalços para implantação e manutenção de um software de roteirização como ferramenta para planejamento de frota e rota de transporte de funcionários em regime de turno de uma refinaria. O cenário escolhido para o piloto é uma refinaria de grande porte do estado do Rio de Janeiro. O estudo revisa a bibliografia existente, descreve as principais etapas de coleta e tratamento de dados, mede através do software TRANSCAD as distâncias das rotas propostas e verifica se o potencial ganho obtido em relação à solução em análise justificaria a aquisição de uma ferramenta para este fim. / [en] As in many big oil and gas companies, there are a lot of opportunities to search and find logistics processes with real possibilities for optimization and improvement. In this kind of company there are some supply chains, that are not core chains wich could be considered as main chains in many other industries or service areas due to their size and complexity. Regarding that issue, the present work proposes to analyze the steps and problems related to launching and maintaining a routing software as a solution for vehicle fleet planning and refinery s employees transportation routing. A big refinery placed in Rio de Janeiro state is the chosen scenario. This study reviews the present literature on the theme, describes the main steps on this research and data treatment, uses the software TRANSCAD to measure de length of the proposed routes and finds out if the potential gain with the software solution justifies the acquisition of this tool.

[pt] A confiabilidade absoluta do software é considerada inatingível, pois mesmo quando confeccionado seguindo regras rígidas de qualidade, o software não está livre da ocorrência de falhas durante a sua vida útil. O nível de confiabilidade do software está relacionado, entre outros, à quantidade de defeitos remanescentes que serão exercitados durante seu uso. Contendo menos defeitos remanescentes, espera-se que o software falhe menos frequentemente, embora muitos desses defeitos sejam exercitados nenhuma vez durante a vida útil do software. Mas desenvolvedores, além de redigir programas, utilizam cada vez mais bibliotecas e serviços remotos que muitas vezes possuem qualidade duvidosa. Na tentativa de tornar o software capaz de observar erros em tempo de execução, surge a hipótese que o uso dos Métodos Formais Leves, por meio do emprego sistemático de assertivas executáveis, pode ser eficaz e economicamente viável para assegurar a confiabilidade do software, tanto em tempo de teste como em tempo de uso. O objetivo principal desta pesquisa é avaliar a eficácia de assertivas executáveis para prevenção e observação de falhas em tempo de execução. As avaliações da eficácia foram feitas por intermédio de uma análise quantitativa utilizando experimentos. Estes, utilizam, implementações de estruturas de dados instrumentadas com assertivas executáveis, submetidas a testes baseados em mutações. Os resultados mostraram que todos os mutantes não equivalentes foram identificados pelas assertivas, embora os testes não foram capazes disso. Também é apresentada uma estimativa do custo computacional relativo ao uso de assertivas executáveis. Com base na infraestrutura criada para realização dos experimentos é proposta uma política de instrumentação de programas utilizando assertivas executáveis a serem mantidas ativas tanto durante os testes como durante o uso produtivo. / [en] Absolute reliability of software is considered unattainable, because even when it is build following strict quality rules, software is not free of failure occurrences during its lifetime. Software s reliability level is related, among others, to the amount of remaining defects that will be exercised during its use. If software contains less remaining defects, it is expected that failures will occur less often, although many of these defects will never be exercised during its useful life. However, libraries and remote services of dubious quality are frequently used. In an attempt to enable software to check mistakes at runtime, hypothetically Lightweight Formal Methods, by means of executable assertions, can be effective and economically viable to ensure software s reliability both at test time as well as at run-time. The main objective of this research is to evaluate the effectiveness of executable assertions for the prevention and observation of run-time failures. Effectiveness was evaluated by means of experiments. We instrumented data structures with executable assertions, and subjected them to tests based on mutations. The results have shown that all non-equivalent mutants were detected by assertions, although several of them were not detected by tests using non-instrumented versions of the programs. Furthermore, estimates of the computational cost for the use of executable assertions are presented. Based on the infrastructure created for the experiments we propose an instrumentation policy using executable assertions to be used for testing and to safeguard run-time.

[pt] A necessidade de auxiliar pessoas que trabalham com o ensino de software gráficos em instituições educacionais motivou a presente pesquisa, onde se buscou mostrar a eficiência do uso de tutoriais e a experimentação dos mesmos em métodos de Educação a Distância Mediada por Computador. O objetivo geral da presente tese foi desenvolver um modelo de criação e validação de tutoriais para o ensino de software gráfico. Foram analisadas ferramentas que possibilitam o enriquecimento desse método, mostrando o quanto ele pode ser eficiente, podendo-se até dizer atraente para os sujeitos envolvidos em processos de construção de conhecimentos. Por sua natureza, a pesquisa caracterizou-se como aplicada, tendo cunho qualitativo. Do ponto de vista de seus objetivos, configurou-se como uma pesquisa exploratória e quanto aos procedimentos técnicos, desenvolveu-se como pesquisa bibliográfica e documental. A partir dos modelos gerais para a criação e validação de tutoriais, foi desenvolvido um tutorial específico que oferece, entre outros recursos de conteúdo e gráficos, texto, som, imagem estática, vídeo e arquivos em linguagem de Realidade Virtual. As principais etapas percorridas para o desenvolvimento da presente tese foram, além do estudo de bibliografia relacionada ao tema, o desenvolvimento de parâmetros para identificar a eficácia de um tutorial; a identificação e análise de sistemas que são desenvolvidos para EDMC, com vistas a utilizá-los como ambiente para a experimentação deste trabalho; a identificação e análise de software que envolve o processo de desenvolvimento de tutoriais, neste caso, um software CAD tridimensional, objeto de estudo para o uso do tutorial numa disciplina do curso de Design; a realização de estudos sobre métodos de avaliação de usabilidade de tutoriais visando conhecer as várias modalidades e selecionar uma forma adequada de análise ergonômica e IHC (Interação Humano-Computador), baseada em pesquisa de opinião dos usuários; a verificação e estudo de definições e aplicações de hipermídia dentro de Ambientes Virtuais de Aprendizagem (AVA). A elaboração do tutorial e sua validação junto a estudantes e profissionais permitiram identificar uma série de requisitos que são necessários para um bom projeto de tutoriais. A conclusão do trabalho apresenta uma síntese dos dados levantados no processo de validação do tutorial, além de recomendações para estudos futuros. / [en] The need to assist people working with graphics software for teaching in educational institutions motivated the present research, where we show the efficiency of the use of tutorials and testing of such methods for Distance Education Computer-Mediated. The overall objective of this thesis was to develop models of creation and validation of tutorials for teaching graphics software. We analyzed tools that enable the enrichment of this method, showing how it can be effective and may even say attractive to those involved in processes of knowledge construction. By its nature, the survey characterized as applied, and qualitative. From the perspective of your goals, set up as an exploratory research and the technical procedures, developed as research literature and documents. From the general models for the creation and validation of tutorials, we developed a specific tutorial that offers, among other features content and graphics, text, sound, still image and video files into language Virtual Reality. The main steps followed to develop this thesis were beyond the study of literature related to the theme, the development of parameters to determine the effectiveness of a tutorial, the identification and analysis of systems that are designed to EDMC, aiming to use them as an environment for experimentation of this work, the identification and analysis software that involves the process of developing tutorials, in this case, a three-dimensional CAD software, an object of study for the use of a tutorial course in the design, undertaking of studies on methods for usability evaluation of tutorials in order to know the various terms and select an appropriate form of ergonomic analysis and HCI (Human Computer Interaction), based on survey of users, verification and study of definitions and applications of hypermedia in Virtual Learning Environments (VLE). The development and validation of the tutorial with students and professionals have identified a number of requirements that are needed for a good design tutorials. The completion of the work presents a synthesis of data collected in the validation process of the tutorial, as well as recommendations for future studies.

[pt] Sistemas supervisores envolvendo software embarcados são encontrados com freqüência e são responsáveis pela supervisão de equipamentos que vão desde máquinas industriais e eletrodomésticos, a celulares e PDAs. Muitos possuem severos requisitos de confiabilidade e tolerância a falhas, bem como características de sistemas de tempo real. Esta pesquisa investiga o uso de tecnologias de ponta como Design by Contract, Agentes de Software, Mock Objects e Componentes de Software no auxílio ao desenvolvimento de sistemas de monitoramento e aquisição em tempo real. Explora-se, ainda, o conceito de sistemas orientados à recuperação. Para realizar tal análise é utilizado como estudo de caso um sistema de inspeção de dutos, que foi implementado utilizando tais tecnologias. De maneira resumida, pode-se dizer que neste estudo de caso percebeu-se que o uso dessas tecnologias fez com que o sistema fosse desenvolvido em um curto espaço de tempo, sendo que questões relevantes não foram prejudicadas, como por exemplo o fato do sistema ser robusto e tolerante a falhas. É importante ressaltar que o sistema apresentado se encontra em uso em inspeções de dutos reais. / [en] Supervisory systems allied to embedded software, a common subject in the literature, are responsible by the supervision of equipments like industrial machines, household-electric devices, cellular phones and PDAs. Many of them have severe requisites of fault tolerance and reliability as well as real time systems features. This research investigates the use of state-of-the-art technologies such as Design By Contract, Mock Objects, software agents and components in the development of real-time monitoring and data-acquisition systems. Recovery oriented systems concepts are also explored. The case study carried out to the research is a pipeline inspection software system, which uses such technologies. In a nutshell, it can be said that this case study showed strong evidence that the use of these technologies allowed the development in a very short time, without any loss of robustness, fault tolerance and reliability. The developed system is currently being used in real pipeline inspections.

[pt] A presente dissertação avalia um software médico através de parâmetros e critérios ergonômicos. Primeiramente descrevem- se os conceitos relativos a Tecnologia da Informação e conceitua-se o software como um dos subsistemas de qualquer sistema de Tecnologia da Informação. A partir de então, verificou-se as etapas de desenvolvimento de software, relacionados ao contexto de usabilidade. Levantaram-se também os principais problemas de interação encontrados no software. A segunda parte da pesquisa, um estudo de caso, inclui a realização de heurística, entrevistas, grupo de foco e técnica de eliciação do conhecimento (card sorting), para que os usuários pudessem expressar sua opinião com relação ao software, às dificuldades encontradas e à utilização de menus. / [en] This thesis evaluates a medical software according to ergonomic criteria and parameters. Firstly, the concepts related to Information technology were described and the software was defined as one of the subsystems together whith the presentation of Information Technology. After that, the stages of software design were determined: context of usability. The main problems related to software interfaces were also described. The second part of this research, a case study, included heuristic approach, interview, focus groups and a knowledge elicitation (card sorting). So that users would have the opportunity to express their opinions in relation to the difficulties faced with its use.

[pt] A educação na modalidade a distância tem sido apontada como uma estratégia eficiente para a formação inicial e continuada de professores para a educação básica. Contudo, a expansão dessa modalidade também vem acompanhada de críticas e preocupações quanto à qualidade dessa formação. Uma das problemáticas principais da EAD reside na mediação pedagógica, em relação à díade aluno–mediador e/ou professor. Nesse sentido, esse trabalho teve como objetivo investigar a concepção dos alunos de um curso de especialização na modalidade a distância sobre a mediação pedagógica, partindo das seguintes questões de estudo: Quais atribuições os alunos delegam à mediação pedagógica? Quais as contribuições da mediação pedagógica para a qualidade da formação dos cursistas? Como as tecnologias da comunicação e informação (TIC) potencializam a mediação pedagógica? A fim de compreender o conceito de mediação, procuramos fazer uma pesquisa desse termo em campos interdisciplinares, relacionando-o com os avanços das TICs na educação a distância. Optamos, metodologicamente, por um estudo de caso do Curso de Especialização Tecnologias em Educação – PUC Rio. Para a produção de dados fizemos um recorte das respostas dos cursistas sobre a mediação pedagógica exercida no decorrer do curso, após aplicação de um questionário. As questões fechadas foram analisadas com a ajuda do programa SPSS, e selecionou-se uma questão aberta que foi trabalhada através da análise de conteúdo, utilizando-se o programa Alceste. Os resultados provenientes das questões fechadas mostraram uma grande aceitabilidade da atuação do mediador pedagógico. Na análise qualitativa, o software Alceste originou quatro classes, sendo posteriormente identificadas como: estratégias pedagógicas de mediação e mediador assistente; mediador tira-dúvidas; motivação ao aluno; formação do mediador pedagógico e influências da mediação na atuação profissional do aluno. As concepções dos cursistas revelaram o reconhecimento e a valorização da mediação como essencial para que o aluno construa o conhecimento esperado no processo de aprendizagem. Ficou evidenciada a complexidade da prática profissional do mediador tendo, inclusive, influência na formação e atuação profissional do cursista. / [en] Distance learning has been identified as an effective strategy for initial and continuing teacher training in the primary and secondary education sector. However, expansion in this field has also been followed by criticisms and concerns about the quality of such training. One of the main issues in distance learning is online tutoring, more specifically learner-tutor and/or learner-teacher interaction. Therefore, the objective of the present study was to investigate learners conception on online tutoring in a distance learning specialization course. Our main research study questions were: What do learners expect from their online tutors? Which contributions does online tutoring offer to the quality of learners training? How can ICT enhance the online tutoring practice? In order to understand the concept of online tutoring, an interdisciplinary research of the term was undertaken, relating it to the advances/development of ICT in distance education. The chosen research method was a case study on the specialization course Tecnologias em Educação – PUC Rio. Data on online tutoring were gathered from the learners responses to a questionnaire. Close-ended questions were analysed with the help of the SPSS software. One open-ended question was selected and analysed through the content analysis method and with the help of the Alceste software. Results originated from the close-ended questions showed high acceptance of the online tutor performance. In the qualitative analysis, Alceste originated four classes, identified as: online tutoring pedagogical strategies and assistant online tutor; question answerer online tutor; motivating the learner; online tutor training and influences of online tutoring on the learners professional practice. Learners opinions demonstrated the recognition and appreciation of online tutoring as an essential part of knowledge building during their learning process. The complexity of online tutoring practice and its influence on the training and professional development of the learner were also demonstrated.

[pt] O presente trabalho tem como objetivo analisar a utilização de barras constituídas por material compósito para atuarem como reforço de vigas de concreto submetidas à flexão. As barras analisadas são constituídas por polímero reforçado com fibras de carbono (PRFC), material este que apresenta comportamento linear elástico até a ruptura. Este material possui algumas vantagens em relação ao aço, como por exemplo, resistência à tração consideravelmente superior além de não ser suscetível ao fenômeno da corrosão ocasionada por intempéries ambientais. Durante o desenvolvimento do trabalho foi obtido um artigo o qual demonstra resultados de ensaios de laboratório nos quais os autores utilizaram vigas de concreto submetidas a ensaio de flexão por quatro pontos e reforçadas com barras de PRFC. Neste trabalho, o mesmo ensaio foi simulado no software Atena, programa este que realiza análise não linear para estruturas de concreto, considerando a fissuração deste material. Os resultados obtidos pelo software apresentaram consistência com os resultados registrados em laboratório pelos autores. Foi ainda analisada uma viga contínua de concreto submetida a um carregamento uniformemente distribuído. Essa viga foi reforçada com barras de mesmo diâmetro alterando-se apenas o material dessas barras (aço e PRFC). Dessa maneira, foi analisado o valor de carregamento que ocasiona a ruptura da viga. Foram constatadas duas importantes desvantagens das barras de PRFC em relação ao aço. A primeira desvantagem está no custo superior ao aço e por apresentar comportamento elástico até o rompimento, o PRFC não confere à estrutura de concreto uma ruptura dúctil. Os objetivos deste trabalho foram cumpridos e ao final são propostos novos estudos a serem realizados sobre o tema. / [en] The aim of the present work is to analyze the use of bars made of composite material to act as reinforcement for concrete beams subjected to bending. The analyzed bars are constituted by polymer reinforced with carbon fibers (PRFC), a material that presents linear elastic behavior until rupture. This material has some advantages in relation to steel, such as considerably higher tensile strength in addition to not being susceptible to the phenomenon of corrosion caused by environmental conditions. During the development of the work, an article was obtained which demonstrates results of laboratory tests in which the authors used concrete beams subjected to flexion testing by four points and reinforced with PRFC bars. In this work, the same test was simulated in the Atena software, a program that performs non-linear analysis for concrete structures, considering the cracking of this material. The results obtained by the software were consistent with the results recorded in the laboratory by the authors. It was also analyzed a continuous concrete beam subjected to a uniformly distributed load. This beam was reinforced with bars of the same diameter, changing only the material of these bars (steel and PRFC. In this way, the loading value that causes the beam to break when it is reinforced with steel bars and when it is reinforced with PRFC bars of the same diameter was analyzed. Two important disadvantages of PRFC bars in relation to steel have been noted. Due to its elastic behavior until breaking, this composite material does not give the concrete structure a ductile rupture. In addition, its cost is considerably higher than steel bars, since no suppliers of this type of reinforcement have been identified in Brazil, thus increasing the cost to purchase this product. The objectives of this work were accomplished and, in the end, new studies are proposed to be carried out on the theme.