Framework orientado a objetos para projeto de hardware e software embarcados para sistemas tempo-real

A crescente complexidade dos sistemas tempo-real embarcados demanda novas metodologias e ferramentas para gerenciar os problemas de projeto, análise, integração e validação de sistemas complexos. Este trabalho aborda o tema co-projeto de sistemas tempo-real embarcados, propondo estratégias para a integração das fases iniciais de modelagem de um sistema tempo-real embarcado com as fases subseqüentes do projeto, como a implementação do software e do hardware. É proposto um framework orientado a objetos que permite a criação de modelos orientados a objetos de sistemas tempo-real embarcados, utilizando conceitos temporais similares aos propostos em UML-RT (ou mais especificamente no UML Profile for Schedulability, Performance and Time). É proposta uma estratégia de mapeamento dos requisitos temporais dos diagramas UMLRT para uma interface de programação (API) baseada na “Especificação Tempo-Real para Java” (Real-Time Specification for Java ou RTSJ), a qual pode ser executada tanto em software – em programas RTSJ executando em máquinas virtuais Java (JVM) tempo-real – ou em hardware – em processadores Java Tempo-Real. Para permitir o mapeamento para hardware são propostas extensões tempo-real ao processador Java FemtoJava, desenvolvido no âmbito de dissertações de mestrado e projetos de pesquisa no PPGC, criando-se um novo processador tempo-real denominado de RT-FemtoJava. Dentre as extensões propostas ao processador FemtoJava destaca-se a inclusão de um relógio de tempo-real e o suporte a instruções para alocação e manipulação de objetos. Os conceitos propostos foram validados no âmbito de estudos de caso, sendo os resultados obtidos descritos na presente dissertação.

Projeto e gestão de redes de transmissão e sistemas auxiliares

Neste relatório de estágio, entregue para obtenção do grau de mestre, é elaborado um sistema de registo e tratamento de alarmes em paralelo com a especificação e implementação de um sistema protótipo de recolha de alarmes em armários exteriores, para otimização da gestão da rede da Portugal Telecom (PT). O início do projeto agrupa o contato com as tecnologias de transmissão e alarmística da rede através do estado da arte e estudo dos equipamentos existentes, sobretudo Synchronous Digital Hierarchy (SDH) no que concerne aos débitos, à interligação de tecnologias, à sua monitorização e configuração. É indicado, ao longo do procedimento prático, o trabalho elaborado para a concentração dos dados do departamento numa única plataforma, disponibilizada aos utilizadores, a qual também é capaz de realizar um cruzamento dos alarmes da rede com os padrões encontrados para a ocorrência de determinados alarmes. O módulo implementado para a recolha de alarmes, que satisfaz um dos problemas de adaptação de estruturas remodeladas, é igualmente descrito, atendendo às necessidades de implementação e requisitos impostos pela empresa. O estudo das estruturas núcleo existentes, o acompanhamento do projeto de monitorização de alarmes de uma área de agregação de serviços e o desenvolvimento do trabalho são realizados através do gabinete de projeto e gestão de rede do departamento de operações da Madeira. Os resultados favorecem a Portugal Telecom em termos de atualização da sua estrutura de monitorização de alarmes, aumento da eficiência de resolução de problemas e optimização da gestão de recursos humanos.

Treinamento e desenvolvimento de pessoas e a nova gestão pública : o caso do projeto Formação de tecnólogos em gestão pública do governo do Rio Grande do Norte

This thesis aims to identify how civil servants perceive changes made inthe carrying out of their work after their taking part in the Course forTechnicians in Public Management of the Government of Rio Grande do NorteState. As for the methodological procedures, an exploratory-descriptivequantitative research has been carried out through structured questionnaires appliedto 118 civil servants from the first groups of the Course for Technicians, thusshowing a margin of error of 4.18% to 95% of confidence, according to theprocedures of finite sampling. The table processing and analysis rested uponthe Statistical Package for the Social Sciences SPSS and was carried outthrough univariate, bivariate and multivariate techniques with emphasis on thetechnique called Factor Analysis. It was possible to identify that the level ofsatisfaction of the students was high and there was a clear perception by themthat the course assisted to changes in their work. Through Factor Analysis itwas verified that the factors that may be related to changes in the work of thecivil servants are "Contribution to Society", "Efficiency andEfficacy in the Work Environment", "Applicability of Contents"and "Capacitating for Leadership". The conclusion of the studyindicates that the factors obtained are directly related to the basis of thenew public management by means of guidance toward efficiency and efficacy in aperspective of leadership, the contents of the course being thus made into newattitudes toward work which end up yielding better results for society

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Gestão ambiental em grandes obras hídricas: Projeto Sobradinho integrante do Plano Global de Desenvolvimento do Vale do Rio São Francisco (Brasil)

Incluye Bibliografía

Tecnologias que influenciam no processo de concepção do design para a indústria da moda: projeto MEG: um estudo de caso

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Projeto trilha de letras: uma análise do software como recurso didático no processo ensino-aprendizagem da leitura e da escrita

Pós-graduação em Educação - FCT

Gestão de conflitos pelo uso da água em bacias hidrográficas urbanas

Estuda a gestão de conflitos pelo uso da água em bacias hidrográficas urbanas. Propõe a utilização de medidas não-estruturais no equacionamento destes conflitos utilizando como ferramenta de apoio metodologias informacionais, mais precisamente, o software de análise de dados qualitativos, Nvivo. A pesquisa foi realizada na Bacia do Igarapé Tucunduba e contou com a revisão bibliográfica a respeito da área estudada e da problemática abordada, além do uso do Nvivo, obtendo como resultado tabela, matrizes e gráficos comparativos, fazendo assim o teste da hipótese levantada. Conclui que as medidas não-estruturais são amplamente indicadas no que concerne a conflitos originados pela poluição hídrica, especialmente, no que tange a questão do lixo. Recomenda ainda um Projeto de Educação Ambiental para o local, que seja posteriormente ampliado, contínuo e concomitante a todo e qualquer outro projeto.

Planejamento, participação popular e gestão de políticas urbanas: a experiência do projeto de macrodrenagem da Bacia do Una (Belém-PA)

O presente trabalho objetiva analisar o papel que a participação popular desempenha no processo de planejamento e gestão da política urbana em Belém, tendo como referência o Projeto de Macrodrenagem da Bacia do Una. Busca-se, também, reconhecer o processo de incorporação da participação popular no Projeto de Macrodrenagem, assim como sua dinâmica, composição, articulação e ações que direcionam e são direcionadas pelo Estado; analisar a importância e as repercussões dessa participação popular no Projeto, buscando entender as estratégias adotadas pelos setores populares e sua possível contribuição ou não para o desenvolvimento do mesmo; além de constatar a permanência ou não das organizações populares na fase de conclusão das obras físicas, identificando os avanços e as dificuldades em relação à sua inserção no processo de planejamento e gestão de política urbana, via Projeto Una. Esse Projeto foi concebido na década de 1980 com a finalidade de sanear as áreas de baixadas da cidade, que sempre foram tidas como um problema a ser solucionado pelo poder público A questão do saneamento básico tornou-se um dos mais graves e sérios problemas, pois os governos que se elegeram, pouco ou quase nada fizeram para resolver essa situação, sendo efetivadas apenas algumas medidas corretivas e paliativas, sem que as camadas populares tivessem seus problemas de enchentes ou alagamentos, falta de esgoto, pontes deterioradas, dentre outros, solucionados. Esse fato provocou uma ampla luta das organizações populares em prol da superação dessas condições de vida as quais estavam submetidas, exigindo, assim, medidas eficazes por parte do poder público, bem como a participação na gestão da cidade. A metodologia utilizada foi pesquisa bibliográfica, pesquisa documental, observação direta e pesquisa de campo, que se realizou no período de 2004 a 2005, junto a 100 organizações comunitárias dispostas em 09 bairros da cidade (área de abrangência do Projeto de Macrodrenagem), onde se aplicaram questionários para verificar o processo de inserção, importância, avanços e dificuldades da participação popular no Projeto. Foram realizadas ainda entrevistas com técnicos do Projeto Una e lideranças. Dentre os resultados da análise dos dados, pode-se dizer que a participação popular exerceu um papel importante na implementação do Projeto, conseguindo intervir nas ações do mesmo na medida em que se organizaram e pressionaram o governo estadual. Outro resultado relevante é que, nessa fase final do Projeto, as organizações populares criaram o Conselho Gestor, mostrando, assim, a importância da experiência acumulada com as lutas reivindicatórias e mudando suas estratégias mobilizatórias, através da capacitação dos setores populares, levando-os a pensar a dimensão da cidade a partir de sua totalidade, percebendo os seus elementos constitutivos, onde emergem as contradições sociais.

Projeto de Urbanização Empreendimento Riacho Doce: a contradição entre o discurso e a prática no processo de gestão democrática do Governo do Estado do Pará

Este trabalho discute as múltiplas determinações exógenas e endógenas que envolvem o processo de participação popular desenvolvido pelo Governo do Estado do Pará, mediante sua Política de Desenvolvimento Urbano, possuindo como recorte temporal o Projeto Urbanístico Empreendimento Riacho Doce e possui o compromisso de identificar e analisar as diretrizes presentes na concepção de planejamento do Governo do Estado do Pará, verificando em que medida há articulação entre essas diretrizes e o processo de participação popular desenvolvido no referido Projeto de urbanização, considera-se que a participação popular se utilizada como instrumento de emancipação e democratização do uso e ocupação do solo urbano em Belém, invertendo as prioridades historicamente elitistas, contribuirá na construção de uma cidade justa socialmente.

Gestão de orla urbana e turismo sustentável: reflexões e proposições a partir do projeto do complexo Ver-o-Rio em Belém (PA)

O trabalho tem por objetivo analisar como o turismo contribui para a gestão sustentável de orla urbana, discutindo as concepções e práticas de planejamento e gestão urbana na orla fluvial de Belém (PA), tendo como objeto empírico de pesquisa o Complexo Ver-O-Rio, espaço de lazer e turismo localizado na orla central da cidade. A análise foi realizada a partir do levantamento das diretrizes e instrumentos de planejamento e gestão urbanos das intervenções realizadas pela Prefeitura Municipal de Belém para o espaço orla. Além da temática apresentada o quadro conceitual aborda também estudos acerca do turismo, analisando seus aspectos como fenômeno social, utilizado neste debate como instrumento que contribui tanto para a gestão sustentável de orla urbana, quanto para mobilidade e inclusão da população local envolvida no processo, sob a perspectiva do turismo sustentável levantando dados e refletindo mais especificamente sobre os atores sociais envolvidos no Complexo Ver-O-Rio desde sua inauguração, como os comerciantes do entorno, os permissionários dos quiosques e os vendedores ambulantes que trabalham no espaço. O método utilizado foi um estudo de caso trabalhado através do tipo de abordagem qualitativa com análise do tipo histórico-descritiva. O estudo mostra que o turismo contribui para gestão sustentável de espaços situados em orlas urbanas na medida em que promove a mobilidade socioeconômica, a geração de emprego e renda e a participação da população local nesse processo.