Prédios inteligentes. Green buildings

Este artigo apresenta alguns dos benefícios e a aplicabilidade da automação predial e residencial, cuja denominação atual e Domótica. Esta tecnologia permite a integração dos serviços e tecnologias, aplicados a residências, escritórios, flats, apartamentos e casas com o propósito de automatizá-los buscando sempre como resultado principal um maior conforto, economia de energia eletrica, redução no consumo de recursos hídricos, segurança dos usuários e um gerenciamento mais centralizado e efetivo, integrando todas as soluções de automação. Serão apresentadas as varias classes de aplicação para a criação dos chamados “prédios inteligentes”, assim como as diversas tecnologias desenvolvidas para esta finalidade

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Realização do cadastro e da estratificação de risco de pacientes portadores de hipertensão arterial, diabetes mellitus e doença renal crônica

A hipertensão arterial crônica, o diabetes mellitus e a doença renal crônica figuram entre as morbidades crônicas mais prevalentes do mundo. Adicionalmente, todas configuram fatores de risco importantes para o desenvolvimento de complicações cardiovasculares, que são responsáveis por um elevado número de óbitos e por um alto gasto com a terapêutica aguda e crônica que essas complicações exigem. Por outro lado, com o acompanhamento e tratamento devido, esses fatores de risco modificáveis podem ter seu impacto reduzido e, então, prevenir a ocorrência dessas complicações. Assim, este trabalho objetivou elaborar um plano de ação para o cadastro e estratificação de risco dos pacientes portadores de hipertensão arterial sistêmica, diabetes mellitus tipo 2 e doença renal crônica. Para tal, fez - se pesquisa na Biblioteca Virtual em Saúde e fundamentou-se, também, na Linha Guia do Estado de Minas Gerais. O plano se pautou no Método de Planejamento Estratégico Situacional. Sabe-se que a estratificação de risco de condições crônicas busca guiar o acompanhamento ao fornecer um parâmetro objetivo de risco, baseado em escores já consagrados. No entanto, esses escores requerem vários dados e cálculos que poderiam inviabilizar seu uso na prática clínica diária. Dessa maneira, o desenvolvimento de um aplicativo voltado para dispositivos portáteis se justifica, uma vez que facilitaria o uso da estratificação ao automatizá-la. Adicionalmente, esse mesmo aplicativo poderia ser utilizado por outros membros da equipe, aumentando o número de profissionais capacitados a realizar a estratificação de risco. Por fim, como é voltado para dispositivos móveis, o aplicativo dispensa a necessidade de computadores pessoais no consultório, que ainda não são uma realidade da maioria das Unidades de Atenção Primária em Saúde (UAPS) de Minas Gerais, e permite o uso nas visitas domiciliares, inclusive.