Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)

This paper presents Lotus@Runtime, an extensible tool that uses models@runtime to monitor and verify self-adaptive systems. The tool monitors the execution traces generated by a self-adaptive system and annotates the probabilities of occurrence of each system action on their respective transition on the system model, which is created at design time in the tool as a Labelled Transition System (LTS). Then, runtime checks of a set of reachability properties are performed against the updated probabilistic model. If a property is violated, the self-adaptive system can be informed by a notification mechanism provided by Lotus@Runtime. The applicability of the proposed tool has been demonstrated by two service-based self-adaptive systems taken and adapted from the literature

UMA ANÁLISE QUANTITATIVA DA UTILIZAÇÃO DE TÉCNICAS DE VALIDAÇÃO DE REQUISITOS NO MERCADO DE TI EM FORTALEZA

The requirements validation process aims at showing that the requirements meet the real needs of users or customers before the implementation of the system, thereby reducing the cost to correct the errors found. For this, some techniques are proposed, as review, prototyping and testing. However, few papers show how those techniques are applied in practice in the companies. This paper presents a quantitative analysis of the use of the requirement validation techniques in the context of IT companies of Fortaleza. To this end, professionals from 35 companies with different profiles answered a questionnaire. The analysis showed that review and prototyping are the most widely used techniques, regardless the type of company and methodology adopted by the company.O processo de validação de requisitos propõe mostrar que os requisitos atendem às necessidades reais dos usuários ou clientes antes da implementação do sistema, reduzindo assim o custo para correção dos erros encontrados. Para isso, algumas técnicas são propostas, como revisão, prototipação e testes. Contudo, poucos trabalhos mostram como essas técnicas são aplicadas na prática pelas empresas. Este trabalho apresenta uma análise quantitativa da utilização das técnicas de validação de requisitos no cenário de empresas de TI de Fortaleza. Para tanto, um questionário foi respondido por profissionais de 35 empresas e de diferentes perfis. A análise mostrou que revisão e prototipação são as técnicas mais utilizadas, independente do tipo de Organização e metodologia de desenvolvimento adotada pela empresa

LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS

Este artigo apresenta LoTuS, uma ferramenta para modelagem gráfica, análise e verificação de comportamento de software usando LTS e PLTS. Suas principais contribuições são: facilitar o processo de modelagem formal através de um mecanismo de drag and drop que permite criar tanto modelos não probabilísticos como probabilísticos; permitir a geração de modelos a partir de outras fontes, como diagramas de sequencia da UML ou rastros de execução; prover um conjunto de técnicas de análise de modelos, como simulação, execução, detecção de deadlock e verificação probabilísticas de propriedades de alcançabilidade; e por fim, fornecer uma API para que desenvolvedores possam adicionar novas funcionalidades através da criação de plugins. A ferramenta foi avaliada em termos de sua usabilidade e desempenho e através de um estudo de caso no qual suas principais funcionalidades foram exercitadas

Práticas e Experiências no Ensino de Engenharia Dirigida por Modelos

A Engenharia Dirigida por Modelos (Model-driven Engineering - MDE) é uma abordagem para o desenvolvimento de software que visa produzir código fonte a partir da especificação e transformação de modelos. Apesar de sua aplicação ser bem sucedida na indústria, a MDE ainda não se tornou um padrão de fato na implementação de sistemas devido a, dentre outros fatores, a forma que ela tem sido ensinada nas universidades. Este artigo relata a experiência no ensino de uma disciplina sobre esse assunto no Mestrado Acadêmico em Ciência da Computação da Universidade Estadual do Ceará, descrevendo a metodologia adotada, as principais dificuldades enfrentadas e soluções encontradas. Também é apresentada uma avaliação da disciplina, na qual a maioria dos alunos aprovaram a metodologia proposta e afirmaram que a disciplina ajudou na compreensão e na forma de realizar e usar a modelagem de software

Desenvolvimento de uma bancada didática de motor stirling / Development of a stirling motor stand

A criação do motor stirling antecede a do motor a diesel e sua introdução no mercado foi um avanço para a época, mas ficou obsoleta com a evolução da ciência de materiais para construções mecânicas e o surgimento de necessidades de máquinas mais potentes. Para verificar a aplicabilidade dos motores stirling e levantar dados técnico-científicos, foi construída uma planta didática através do processo de usinagem em torno universal, em fresadora, utilizando o alumínio como material a ser usinado, de forma que os alunos do Centro Universitário FIPMoc pudessem estudar os princípios de funcionamento desse equipamento. A planta didática foi construída com design simples que possibilitou a aplicação de materiais reutilizados e de baixo custo além da transcrição do seu processo de funcionamento. Assim, esse estudo poderá contribuir com a capacidade de aprendizado dos futuros engenheiros, e a divulgação do motor Stirling do tipo gama como motor de alta eficiência e baixo consumo. 

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear un derstanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5–7 vast areas of the tropics remain understudied.8–11 In the American tropics, Amazonia stands out as the world’s most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepre sented in biodiversity databases.13–15 To worsen this situation, human-induced modifications16,17 may elim inate pieces of the Amazon’s biodiversity puzzle before we can use them to understand how ecological com munities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple or ganism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region’s vulnerability to environmental change. 15%–18% of the most ne glected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lostinfo:eu-repo/semantics/publishedVersio

Diretriz da Sociedade Brasileira de Cardiologia sobre Diagnóstico e Tratamento de Pacientes com Cardiomiopatia da Doença de Chagas

This guideline aimed to update the concepts and formulate the standards of conduct and scientific evidence that support them, regarding the diagnosis and treatment of the Cardiomyopathy of Chagas disease, with special emphasis on the rationality base that supported it.  Chagas disease in the 21st century maintains an epidemiological pattern of endemicity in 21 Latin American countries. Researchers and managers from endemic and non-endemic countries point to the need to adopt comprehensive public health policies to effectively control the interhuman transmission of T. cruzi infection, and to obtain an optimized level of care for already infected individuals, focusing on diagnostic and therapeutic opportunistic opportunities.   Pathogenic and pathophysiological mechanisms of the Cardiomyopathy of Chagas disease were revisited after in-depth updating and the notion that necrosis and fibrosis are stimulated by tissue parasitic persistence and adverse immune reaction, as fundamental mechanisms, assisted by autonomic and microvascular disorders, was well established. Some of them have recently formed potential targets of therapies.  The natural history of the acute and chronic phases was reviewed, with enhancement for oral transmission, indeterminate form and chronic syndromes. Recent meta-analyses of observational studies have estimated the risk of evolution from acute and indeterminate forms and mortality after chronic cardiomyopathy. Therapeutic approaches applicable to individuals with Indeterminate form of Chagas disease were specifically addressed. All methods to detect structural and/or functional alterations with various cardiac imaging techniques were also reviewed, with recommendations for use in various clinical scenarios. Mortality risk stratification based on the Rassi score, with recent studies of its application, was complemented by methods that detect myocardial fibrosis.  The current methodology for etiological diagnosis and the consequent implications of trypanonomic treatment deserved a comprehensive and in-depth approach. Also the treatment of patients at risk or with heart failure, arrhythmias and thromboembolic events, based on pharmacological and complementary resources, received special attention. Additional chapters supported the conducts applicable to several special contexts, including t. cruzi/HIV co-infection, risk during surgeries, in pregnant women, in the reactivation of infection after heart transplantation, and others.     Finally, two chapters of great social significance, addressing the structuring of specialized services to care for individuals with the Cardiomyopathy of Chagas disease, and reviewing the concepts of severe heart disease and its medical-labor implications completed this guideline.Esta diretriz teve como objetivo principal atualizar os conceitos e formular as normas de conduta e evidências científicas que as suportam, quanto ao diagnóstico e tratamento da CDC, com especial ênfase na base de racionalidade que a embasou. A DC no século XXI mantém padrão epidemiológico de endemicidade em 21 países da América Latina. Investigadores e gestores de países endêmicos e não endêmicos indigitam a necessidade de se adotarem políticas abrangentes, de saúde pública, para controle eficaz da transmissão inter-humanos da infecção pelo T. cruzi, e obter-se nível otimizado de atendimento aos indivíduos já infectados, com foco em oportunização diagnóstica e terapêutica. Mecanismos patogênicos e fisiopatológicos da CDC foram revisitados após atualização aprofundada e ficou bem consolidada a noção de que necrose e fibrose sejam estimuladas pela persistência parasitária tissular e reação imune adversa, como mecanismos fundamentais, coadjuvados por distúrbios autonômicos e microvasculares. Alguns deles recentemente constituíram alvos potenciais de terapêuticas. A história natural das fases aguda e crônica foi revista, com realce para a transmissão oral, a forma indeterminada e as síndromes crônicas. Metanálises recentes de estudos observacionais estimaram o risco de evolução a partir das formas aguda e indeterminada e de mortalidade após instalação da cardiomiopatia crônica. Condutas terapêuticas aplicáveis aos indivíduos com a FIDC foram abordadas especificamente. Todos os métodos para detectar alterações estruturais e/ou funcionais com variadas técnicas de imageamento cardíaco também foram revisados, com recomendações de uso nos vários cenários clínicos. Estratificação de risco de mortalidade fundamentada no escore de Rassi, com estudos recentes de sua aplicação, foi complementada por métodos que detectam fibrose miocárdica. A metodologia atual para diagnóstico etiológico e as consequentes implicações do tratamento tripanossomicida mereceram enfoque abrangente e aprofundado. Também o tratamento de pacientes em risco ou com insuficiência cardíaca, arritmias e eventos tromboembólicos, baseado em recursos farmacológicos e complementares, recebeu especial atenção. Capítulos suplementares subsidiaram as condutas aplicáveis a diversos contextos especiais, entre eles o da co-infecção por T. cruzi/HIV, risco durante cirurgias, em grávidas, na reativação da infecção após transplante cardíacos, e outros.    Por fim, dois capítulos de grande significado social, abordando a estruturação de serviços especializados para atendimento aos indivíduos com a CDC, e revisando os conceitos de cardiopatia grave e suas implicações médico-trabalhistas completaram esta diretriz.&nbsp

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear understanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5,6,7 vast areas of the tropics remain understudied.8,9,10,11 In the American tropics, Amazonia stands out as the world's most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepresented in biodiversity databases.13,14,15 To worsen this situation, human-induced modifications16,17 may eliminate pieces of the Amazon's biodiversity puzzle before we can use them to understand how ecological communities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple organism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region's vulnerability to environmental change. 15%–18% of the most neglected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lost