Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015 / Made available in DSpace on 2015-06-02T04:10:14Z (GMT). No. of bitstreams: 1 333796.pdf: 3550462 bytes, checksum: 7eaaf170fea7fb722e02d0801299ad1b (MD5) Previous issue date: 2015 / Sistemas de Tempo Real (STRs) são sistemas computacionais que estão submetidos, alem de a requisitos lógicos, a requisitos de natureza temporal. A especificação ARINC 653 descreve a interface funcional a ser oferecida ao software de aplicação e os requisitos temporais a serem atendidos por Sistemas Operacionais (SOs) sobre os quais são executados STRs aviônicos, ou seja, aplicações relacionadas aos sistemas eletrônicos empregados em aeronaves. Uma das principais definições dessa especificação e a utilização de partições com isolamento temporal e espacial, permitindo a execução de múltiplas aplicações com diferentes objetivos e criticalidades numa mesma plataforma de hardware, e garantindo, ainda, que eventuais falhas ocorridas em uma partição não afetem a execução das demais. Este trabalho descreve a implementação de um SO compatível com a especificação ARINC 653 destinado ao treinamento de profissionais e a experimentação de novas aplicações aviônicas, não tendo por objetivo, portanto, a certificação para operação em voo, executado sobre a plataforma de hardware comercialmente conhecida como BeagleBone. Foi desenvolvido ainda um conjunto de ferramentas de configuração destinadas a validação de arquivos de configuração no padrão exigido pela ARINC 653 e a geração de modelos de aplicação para execução no SO. O atendimento as exigências da ARINC 653 pelo SO foi evidenciado através de um conjunto de casos de teste, que servem também como exemplos de utilização e auxiliam, ainda, no processo demigração do SO a outras plataformas.<br> / Abstract: Real-Time Systems (RTSs) are computer systems that are subject to, in addition to logical requirements, temporal requirements. The ARINC 653 specication describes the functional interface that must be oered to the application software and the time requirements that must be met by Operating Systems (OSs) on which avionics RTSs are executed, i.e. applications related to electronic systems used on aircrafts. One of the key definitions of this specification is the use of temporally and spatially isolated partitions, allowing the execution of multiple applications with different objectives and criticality levels onthe same hardware platform, and also ensuring that any failures inone partition do not affect the execution of the others. This work describes the implementation of an ARINC 653 compatible OS aimed for professionals training and test of new avionics applications, and thus does not aim certification for in-ight operation, which is executed on the hardware platform commercially known as BeagleBone. We also developed a set of configuration tools for the validation of ARINC 653 standard configuration files and the generation of application templates to be run in the OS. The compliance of the OS with the ARINC 653 requirements is evidenced through a set of test cases, which also serve as examples of use and are useful in the process of migration of the OS to other platforms.

Made available in DSpace on 2012-05-07T14:43:58Z (GMT). No. of bitstreams: 2 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) 000012.pdf: 1246092 bytes, checksum: d5b6f0ce0677ea5bd6058a2774dd146b (MD5) Previous issue date: 2006 / O principal objetivo deste trabalho é analisar a implantação, cobertura e desempenho do sistema integrado de gestão acadêmica (SIGA) no Centro de Pesquisas Aggeu Magalhães (CPqAM) da Fundação Oswaldo Cruz (Fiocruz). Trata-se de uma pesquisa qualitativa, de natureza exploratória e de corte fenomenológico, a partir de um estudo de caso. Foi realizada uma análise documental e observação participante para descrever as formas de procedimento utilizadas pelo CPqAM, antes da implantação do sistema SIGA-FIOCRUZ, para o controle e gerenciamento das atividades acadêmicas que desenvolve. Foram realizadas entrevistas com 14 pessoas, consideradas atores-chaves. As entrevistas seguiram um roteiro semi-estruturado, obedecendo temas de interesse para a pesquisa. Os resultados mostram que todos entrevistados consideram ser de suma importância o controle acadêmico no CPqAM, inclusive seu caráter legal, como também a informatização desse controle. Com relação ao processo de concepção e condução do SIGA-FIOCRUZ e sua implantação no CPqAM, os entrevistados consideram que apesar do esforço dos gestores do CPqAM em participar desse processo, o mesmo aconteceu de forma vertical e pouco democrática. Foi constatado como inexpressível, o conhecimento e utilização do sistema pela comunidade usuária, decorrentes da pouca divulgação do sistema e ausência de treinamento para seus usuários. Entendendo-se como estrutura física do sistema, a disposição de suas telas e ícones, cores etc, esta foi considerada pela maioria dos entrevistados como pouco interativa. O sistema apresenta falha na comunicação entre os módulos, fato este também registrado pelos entrevistados. Aspectos que fortalecem e/ou debilitam o sistema foram citados pelos entrevistados e registrados no presente trabalho. Ao final de cada entrevista, o informante foi convidado a conceituar o sistema, considerando a escala A (excelente); B (bom); c(regular); D (insuficiente). Apesar das críticas apresentadas o sistema foi considerado bom por mais da metade dos entrevistados.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015 / Made available in DSpace on 2016-04-19T04:21:34Z (GMT). No. of bitstreams: 1 337900.pdf: 1272450 bytes, checksum: 9c72137fd16e935bed3d2f3677290b3a (MD5) Previous issue date: 2015 / Neste trabalho propõe-se uma técnica para estimação conjunta das variáveis de estado e parâmetros de sistemas dinâmicos. A estimação baseia-se em um observador chaveado cujo ganho e lei de chaveamento são determinados através da resolução de um problema LMI. O método não requer nenhuma representação específica no espaço do estado para que seja aplicado e no caso onde nenhum parâmetro precisa ser estimado o método reduz-se a um observador Luenberger padrão. Considera-se a classe de sistemas afins e os parâmetros do modelo a serem estimados são supostamente limitados por um politopo conhecido. Sob certas condições, que são verificados através da resolução de um problema LMI, garante-se que os erros de estimação de parâmetro e de variáveis de estados convergem para zero. Quando essas condições de convergência do erro de estimação de parâmetros não são verificadas, propõe-se condições alternativas para a estimação robusta de estados.<br> / Abstract : In this work it is proposed a technique for joint estimation of the state variables and parameters of dynamic systems. The estimation is based on a switched observer whose gain and switching rule are determined by solving an LMI problem. The method does not require a specific state space representation of the system to be applied and the case where no parameter need to be estimated the method reduces to a standard Luenberger observer. The class of affine systems is considered and the parameters of the model to be estimated are supposed to be bounded by a given polytope. Under certain conditions, that are checked by solving an LMI problem, the state variable and parameter estimation errors are guaranteed to converge to zero. When the conditions for the convergence to zero of the parameter estimation error are not met, we propose alternative conditions for robust state estimation.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013. / Made available in DSpace on 2013-12-05T22:46:01Z (GMT). No. of bitstreams: 0 Previous issue date: 2013Bitstream added on 2014-09-24T20:22:23Z : No. of bitstreams: 1 318649.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / As Redes Veiculares Ad hoc (VANETs) são redes dinâmicas, não estruturadas, auto-organizáveis, com características assíncronas e distribuídas, cujo principal objetivo é oferecer suporte de comunicação às aplicações dos Sistemas Inteligentes de Transporte (ITS). Porém, a grande mobilidade dos veículos, o severo ambiente de comunicação e problemas na escalabilidade destas redes tornaram seu uso em aplicações ITS um grande desafio. Nos últimos anos, a demanda dos sistemas ITS por informações sobre o tráfego nas vias tem crescido, porém são escassas as propostas que visam gerenciar a comuni-cação entre os nodos das VANETs, de modo que estas redes possam vir a ser utilizadas por estes sistemas. Nesta tese propõe-se um sistema de gerenciamento de agrupamentos em redes veiculares - SIGA. O principal objetivo do SIGA é viabilizar a coleta dos dados individuais dos veículos que estejam trafegando sobre as pistas, permitindo seu uso em aplicações ITS para o controle e gerenciamento do tráfego urbano. Entre as principais contribuições desta tese estão: uma solução para a organizar hierarquicamente os nodos das VANETs através da formação de agrupamentos virtuais e uma solução para detecção confiável de vizinhos baseada nos mecanismos de tolerância a falhas. O sistema SIGA não só acrescenta melhorias as atuais propostas para comunicação em VANETs, mas apresenta uma nova abordagem para o tratamento dos principais problemas destas redes, que são os frequentes atrasos e perdas de mensagens. Com isso, a comunicação entre os nodos das VANETs torna-se mais robusta e a coleta de dados para as aplicações ITS mais eficaz. O SIGA é avaliado através de experimentos simulados, nos quais os fenômenos que mais afetam a comunicação em VANETs estão presentes, tais como a variação de densidade do tráfego, mobilidade veicular realista, interferência de dispositivos de controle de tráfego e disputas de acesso ao canal. Os resultados obtidos demonstram que o SIGA atinge seus objetivos e proporciona não só melhorias na robustez e eficácia da comunicação em VANETs, mas informações precisas sobre o tráfego nas vias <br>

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013 / Made available in DSpace on 2013-12-05T22:50:48Z (GMT). No. of bitstreams: 1 319083.pdf: 7274794 bytes, checksum: 5a95f88993d251a6a1bc233e2d956be1 (MD5) Previous issue date: 2013 / Abstract: The Intelligent Transportation Systems (ITS) apply telecommunications and information technologies to the transport infrastructure, performing task coordination and control between various types of components and users. To assist inits planning, design and implementation, were developed speci?c reference architectures, aiming to use a common language to identify its components, systems and informations. Among them, we can highlight the U.S. National ITSArchitecture(NIA), which provides a framework for developing regional ITS architectures. On the other hand, the World Wide Web, considered the largest existing information system, provides a platform for distributed hypermedia systems on a planetary scale. Its properties and constraints, formalized by the Representational State Transfer(REST) architectural style, allow its use as a solution for a wide variety of integration problems. This dissertation proposes a method to project NIA based ITS using the Web architectural style, keeping its qualities in handling scale, communication, integration and interoperability problems. The proposed method is then applied to model an Advanced Traveler Information System (ATIS)

Made available in DSpace on 2014-06-12T15:57:26Z (GMT). No. of bitstreams: 2 arquivo3197_1.pdf: 4431351 bytes, checksum: 2fe5116cce72e40371649fcf5ace0323 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Centro de Estudos e Sistemas Avançados do Recife / É comum nas empresas de desenvolvimento de software o interesse da alta direção em definir programas para medição da performance organizacional. Esse interesse está relacionado com a necessidade de acompanhar se os resultados das equipes estão alinhados com as metas estratégicas organizacionais e se estão alcançando os níveis de produtividade esperados, sejam financeiros, de satisfação do cliente, qualidade do produto, entre outros. Nesse contexto, as organizações de desenvolvimento de software têm buscado diversas estratégias para aumento de sua produtividade, através do reuso de artefatos, implantação de ferramentas no processo de desenvolvimento de software etc. Porém, há evidência empírica que sugere que programas de recompensas influenciam o comportamento e a performance dos membros das organizações. Uma estratégia que vem ganhando destaque é o uso dos indicadores presentes nos programas de medição como forma de definir um sistema de recompensa, também conhecido como sistema de incentivo, que estimule a motivação das equipes através de compensações financeiras, promoções, prêmios ou benefícios. Com o objetivo de explorar mais essa estratégia com dimensões menos voltadas para os aspectos técnicos e com maior ênfase nos aspectos culturais, sociais e psicológicos, este trabalho fornece um conjunto de recomendações, em forma de guidelines, com o objetivo de orientar os gestores a definirem e implantarem um programa de recompensa como parte da estratégia organizacional de aumento de produtividade das equipes nos projetos de desenvolvimento de software. Além disso, também aborda os impactos negativos que tais programas podem causar na produtividade das equipes quando são mal aplicados, gerando o efeito da disfunção do sistema de medição

Orientador: João Bosco Ribeiro do Val / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T07:41:54Z (GMT). No. of bitstreams: 1 Costa_EduardoFontoura_D.pdf: 1045262 bytes, checksum: 5bcf68ea32b1a0910148e4c8d865675b (MD5) Previous issue date: 2002 / Doutorado

No description available.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016 / Made available in DSpace on 2016-09-20T04:04:46Z (GMT). No. of bitstreams: 1 339907.pdf: 4176816 bytes, checksum: fb258b4beb123055d5c12a32945229f1 (MD5) Previous issue date: 2016 / Nesta tese são desenvolvidos resultados de síntese de controladores fuzzy para a estabilização local de sistemas não lineares discretos no tempo com atraso variante nos estados. Para a utilização desses resultados é necessário em um primeiro momento obter-se a representação por modelos fuzzy dos sistemas não lineares. Essa modelagem fuzzy proporciona a obtenção de modelos fuzzy T-S que representam os sistemas não lineares de forma exata no interior de uma região no espaço de estados, chamada de região de validade. As informações dessa região de validade são levadas em consideração na etapa de projeto e, assim, têm-se condições de estabilização locais. Em consequência disso, é proposta uma metodologia original para estimar regiões de estabilidade assintótica tais que as trajetórias dos sistemas não lineares em malha fechada iniciadas a partir de condições iniciais pertencentes a essas regiões de estabilidade sejam assintoticamente estáveis. Vale destacar que na metodologia proposta é feito o desacoplamento do vetor de condições iniciais e, dessa forma, trabalha-se na estimativa de duas regiões: uma para tratar as condições iniciais em k=0 e a outra para lidar com as sequências de condições iniciais atrasadas. Para o desenvolvimento das condições de síntese, utilizam-se candidatas à função de Lyapunov-Krasovskii (L-K) que são dependentes das funções de pertinência dos modelos fuzzy e são compostas de matrizes de Lyapunov inversas. Além disso, essas condições são propostas como desigualdades matriciais lineares. Ressalta-se que são propostas três leis de controle: i) para a primeira realimentam-se o vetor de estados atual e o vetor de estados afetado pelo atraso variante no tempo; ii) para a segunda têm-se a realimentação do vetor de estados atual e do vetor de estados afetado pelo atraso máximo; e iii) para a última calculam-se ganhos de realimentação de todos os vetores de estados. Comparações entre os resultados originais desenvolvidos e condições encontradas na literatura são realizadas por meio de exemplos numéricos. Vale destacar também que uma extensão do resultado referente à primeira lei de controle é apresentada, na qual sintetizam-se controladores fuzzy T-S para estabilização local no sentido l2 de sistemas não lineares discretos no tempo com atraso nos estados afetados por um sinal de perturbação l2.<br> / Abstract: This thesis proposes design conditions for Takagi-Sugeno (T-S) fuzzy controllers guaranteeing local stabilization of nonlinear discrete time systems with time-varying delay in the states. To use this results, in a first moment it is necessary to obtain a representation fuzzy models of the nonlinear systems. This modeling provides T-S fuzzy models that represent the nonlinear systems of exact form inside of a region in the states space, called region of validity. The informations about this region of validity are taken into account in the conditions of local stabilization. In consequence, we propose an original methodology to estimate regions of asymptotic stability such that the trajectories of the the closed-loop nonlinear systems initialized from initial conditions belonging to this region of stability are asymptotically stable. We highlight that the proposed methodology is done by the decoupling of vector initial conditions, therefore, we work on the estimation of two regions: one to treat the initial conditions in k=0 and other to deal with sequences of delayed initial conditions. For the synthesis conditions development, we use Lyapunov-Krasovskii (L-K) fuzzy candidates that are membership functions dependents and are composed of Lyapunov matrices inverse. Furthermore, these conditions are proposed as linear matrix inequalities. We highlight that the proposed control laws have differences, which: i) for one these control laws feedback the current states vector and the affected states vector by the time-varying delay; ii) for the other control law, we have feedback of current states vector and affected states vector by the maximum delay; and iii) the last control law we compute feedback gains of all the states vectors. The comparisons among the original results development and conditions found in the literature are realized from numerical examples. We also highlight that an extension about the result referent to the control law that feedbacks current the states vector and affected the states vector by the time-varying delay is shown, which we design T-S fuzzy controllers for local stabilization in l2 sense of nonlinear discrete time systems with time-varying delay in the states affected by perturbation signals l2.

Orientador: Hermano de Medeiros F. Tavares / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T11:15:27Z (GMT). No. of bitstreams: 1 Aubry_NathanJ.B_M.pdf: 6403424 bytes, checksum: 6cc3fc740033634b69b1a2d983e2def4 (MD5) Previous issue date: 1995 / Resumo / Abstract / Mestrado / Mestre em Engenharia Elétrica