Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

A influência da feminilização da Aids sobre a prática da enfermeira em relação ao aleitamento materno

Trata-se de uma pesquisa qualitativa cujo objeto é a percepção da enfermeira sobre a prática do aleitamento materno no contexto da feminilização da Aids. Tem por objetivos: analisar a percepção das enfermeiras de maternidade sobre a prática do aleitamento materno e a feminilização da Aids e discutir a prática da enfermeira em relação ao aleitamento materno a partir da feminilização da Aids. Os sujeitos do estudo foram nove enfermeiras de três maternidades municipais do Rio de Janeiro que possuem título de Hospitais Amigo da Criança. A coleta de dados foi realizada através de entrevistas semi-estruturadas. A técnica de análise do conteúdo foi baseada em Bardin. Emergiram três categorias: a) A percepção da enfermeira sobre sua prática quanto ao aleitamento materno; b) As percepções da enfermeira sobre a feminilização da Aids; c) A prática da enfermeira em relação ao aleitamento materno a partir da feminilização da Aids. Constatamos que a enfermeira percebe sua prática em relação ao aleitamento materno sob influência das Políticas Públicas voltadas para a promoção e proteção do mesmo, como a Iniciativa Hospital Amigo da Criança e o Alojamento Conjunto. Em relação à Aids, o advento da feminilização surpreende as enfermeiras que reagem com indignação, tristeza, medo e angústia. Estes sentimentos justificam-se, pois, para elas, pensar soropositividade em mulheres significa privá-las de exercer sua saúde reprodutiva e sexual plenamente, ou seja, os papéis esperados socialmente de uma mulher, como ser mãe e amamentar. A condição social e sexual da mulher (gênero) também emergiu dos depoimentos como determinantes para soropositividade. Ao perceberem sua prática às mulheres soropositivas nas maternidades, as enfermeiras apontam dificuldades geradas pela dicotomia (incentivo ao aleitamento materno e inibição da lactação) tanto para elas profissionais quanto para as mulheres que não podem amamentar. O processo de feminilização e os investimentos e recursos voltados para este acarretaram mudanças na prática da enfermeira, que refere mais segurança pessoal após disponibilização de teste rápido para HIV e cursos de capacitação para os profissionais. Além da prática voltada para as questões técnicas, apontam uma nova abordagem às mulheres soropositivas, como o objetivo de não expô-las às outras puérperas nas enfermarias de alojamento conjunto. Desta maneira, constatamos que as mudanças ocorridas nas práticas das enfermeiras estão relacionadas com o estabelecimento de políticas públicas voltadas para a amamentação e o HIV/Aids. Os valores pessoais ainda interferem na prática das enfermeiras, e a Aids ainda é vista como uma doença possuidora de estigmas tanto sociais quanto culturais. Reforçamos a necessidade de estratégias que possam diminuir a divergência das Políticas de Incentivo ao Aleitamento Materno e as de Prevenção à Transmissão Vertical, a fim de qualificar a prática de enfermagem às mulheres soropositivas.

NAFTA Itunaren ondorioak Mexikoko ekonomian

The objective of this Final Project focuses on explaining how the North American Free Trade Agreement (NAFTA) has affected the economy of Mexico. To achieve this, we have conducted a documentary research based on analysis of existing general and specific scientific literature on the subject from the objectives and hypotheses a priori. The framework is divided into several sections where the following issues are addressed: the processes of negotiation and adjustment plans that occurred before to signing the agreement; the aim and purpose of the agreement; the consequences of the covenant in the economy of Mexico, considering the decomposition of the status and importance of immigration; and finally, an analysis of the current situation of Mexico. This paper concludes with a set of final thoughts with hypothesis testing, and a theory about how different countries should cooperate in order to have a beneficial development in all parties.

Efeitos da ingestão materna de sorbitol na lactação sobre o perfil nutricional, bioquímico e toxicológico das proles amamentadas

Sorbitol é um poliol encontrado em produtos para fins especiais, como diet e light, Dentro deste contexto, incluem-se as lactantes como grandes consumidoras, almejando o retorno mais rápido ao peso pré-gestacional. Devido à grande carência em dados referentes às consequências metabólicas do consumo excessivo destes tipos de produtos, o objetivo deste trabalho foi avaliar os possíveis efeitos da ingestão materna de sorbitol na lactação sobre os perfis nutricional, bioquímico e toxicológico nas proles amamentadas. O teste da Salmonella/microssoma foi utilizado, inicialmente, na avaliação mutagênica e citotóxica com linhagens de S. enterica sorovar Typhimurium (TA97, TA98, TA100, TA102, TA104 e TA1535). Verificamos a capacidade de reversão da mutação (I.M.) e sobrevivência (%), em diferentes concentrações (0,4; 4; 40; 400; 4000 e 5000 μg/placa). Os resultados foram considerados positivos para valores de I.M. ≥ 2,0. Ratas wistar lactantes (6 por grupo experimental), cada uma com 6 filhotes, receberam sorbitol (0,00015 mg/g/dia; 0,0015 mg/g/dia e 0,15 mg/g/dia), nos primeiros 14 dias da lactação. Neste período, avaliamos a biometria das mães e proles, consumo de ração e ingestão hídrica das mães. Após a lactação, as ratas mães foram ordenhadas, e, junto com as proles, sacrificadas por punção cardíaca, para coleta de sangue total. Os fígados das proles foram submetidos ao método de perfusão, para obtenção de hepatócitos em cultura primária, ao final dos 14 dias de lactação. Os fêmures das proles foram retirados, para obtenção da medula óssea. A bioquímica de sangue das proles (glicose, triglicerídeo, colesterol total, LDL, proteínas totais, albumina, ALT, AST, cálcio total e ionizado) foi analisada, assim como a bioquímica do leite ordenhado (triglicerídeos). Os testes do micronúcleo em medual óssea e hepatócitos, assim como o teste Cometa em sangue total, foram utilizados para avaliação genotóxica e citotóxica, de acordo com as diretrizes da OECD. Os resultados mostraram que, em concentrações mais baixas (0,00015 e 0,0015 mg/g), o sorbitol induziu o ganho de peso, principalmente na menor concentração (0,00015 mg/g), e alterações no perfil lipídico do sangue em todas as concentrações. As quantidades de triglicerídeo no leite variaram em função da dose ingerida, reduzida na maior concentração (0,15 mg/g) e aumentada na menor (0,00015 mg/g). A maior concentração (0,15 mg/g) resultou em perda de peso das mães e proles, diminuição de proteínas viscerais totais, albumina e aumento de enzimas hepáticas (ALT e AST) nas proles. Os resultados do teste da Salmonella/microssoma não indicaram mutagenicidade, entretanto, uma relação de dependência entre dose e Índice de Mutagenicidade (I.M.). Ambos os testes, micronúcleos de medula óssea e hepatócitos, apresentaram uma citotoxicidade dose dependente, estatisticamente significativa em relação ao grupo controle, corroborando com a genotoxicidade do teste Cometa e dependência de dose encontrada no teste da Salmonella/microssoma. Em concentrações mais baixas, parece existir modulação das vias lipogênicas, em contrapartida, nas mais altas a toxicidade parece dificultar tais alterações, induzindo o efeito contrário. Concluimos que o consumo excessivo de sorbitol resulta em alterações metabólicas e toxicológicas em lactentes, mesmo sendo considerado seguro pelo FDA e ANVISA.

Inovação biomédica e o animal não humano em pesquisa: controvérsias científicas e reflexões éticas para contribuição na implementação de políticas públicas de técnicas substitutivas ao uso de animais em pesquisa, ensino e indústria

A experimentação animal é uma prática extremamente incorporada à ciência biomédica moderna, com raízes desde a Antiguidade, mas que foi cada vez mais se desenvolvendo, adquirindo características bem definidas. O animal não humano, no contexto da experimentação, é um ser vulnerado, enclausurado dentro de uma estrutura muito bem definida, que mantém um discurso focado na excelência do modelo do animal na pesquisa e testes, com o objetivo de garantir a manutenção dessas práticas. No entanto, ao analisarmos os dados científicos obtidos com a experimentação animal, que visa primariamente um possível benefício humano, assim como as argumentações éticas relativas ao respeito à vida e ao sofrimento do animal envoltas nesta situação, a argumentação ética prepondera sobre uma base científica cuja eficácia é também extremamente questionável. Partindo de uma análise crítica da aplicação do modelo animal como padrão da pesquisa científica e da concepção ética do reconhecimento da vulnerabilidade do animal não humano na experimentação, propomos que esta reflexão colabore com políticas públicas que incentivem e implementem as técnicas substitutivas ao uso de animais não humanos em pesquisa, testes da indústria e ensino na área biomédica no Brasil.

Sistema inteligente com entrada e saída remota sem fio.

Este trabalho avalia o desempenho de um controlador fuzzy (tipo Takagi-Sugeno-Kang) quando, utilizando tecnologia sem fio para conectar as entradas e a saída do controlador aos sensores/atuadores, sofre perda das informações destes canais, resultado de perdas de pacotes. Tipicamente são utilizados controladores PID nas malhas de controle. Assim, o estudo realizado compara os resultados obtidos com os controladores fuzzy com os resultados dos controladores PID. Além disso, o trabalho visa estudar o comportamento deste controlador implementado em uma arquitetura microprocessada utilizando números inteiros nos cálculos, interpolação com segmentos de reta para as funções de pertinência da entrada e singletons nas funções de pertinência da saída. Para esse estudo foi utilizado, num ambiente Matlab/Simulink, um controlador fuzzy e o aplicativo True Time para simular o ambiente sem fio. Desenvolvido pelo Departamento de Controle Automático da Universidade de Lund, o True Time é baseado no Matlab/Simulink e fornece todas as ferramentas necessárias para a criação de um ambiente de rede (com e sem fio) virtual. Dado o paradigma de que quanto maior for a utilização do canal, maior a degradação do mesmo, é avaliado o comportamento do sistema de controle e uma proposta para diminuir o impacto da perda de pacotes no controle do sistema, bem como o impacto da variação das características internas da planta e da arquitetura utilizada na rede. Inicialmente são realizados ensaios utilizando-se o controlador fuzzy virtual (Simulink) e, posteriormente, o controlador implementado com dsPIC. Ao final, é apresentado um resumo desses ensaios e a comprovação dos bons resultados obtidos com um controlador fuzzy numa malha de controle utilizando uma rede na entrada e na saída do controlador.