Testing the robustness of controllers for self-adaptive systems

Self-Adaptive systems are software-intensive systems endowed with the ability to respond to a variety of changes that may occur in their environment, goals, or the system itself, by adapting their structure and behavior at run-time in an autonomous way. Controllers are complex components incorporated in self-adaptive systems, which are crucial to their function since they are in charge of adapting the target system by executing actions through effectors, based on information monitored by probes. However, although controllers are becoming critical in many application domains, so far very little has been done to assess their robustness. In this paper, we propose an approach for evaluating the robustness of controllers for self-adaptive software systems, aiming to identify faults in their design. Our proposal considers the stateful nature of the controller, and identifies a set of robustness tests, which includes the provision of mutated inputs to the interfaces between the controller and the target system (i.e., probes). The feasibility of the approach is evaluated on Rainbow, a framework for architecture-based self-adaptation, and in the context of the Znn.com case study

Distribuição espacial de hymenoptera parasitoides em uma reserva florestal na amazônia central, manaus, am, Brasil

Parasitoids are of great importance to forest ecosystems due to their ecological role in the regulation of the population of other insects. The species richness and abundance of parasitoids in the forest canopy and understory, both on the borders and in the interior of a tropical forest reserve in Central Amazonia were investigated. For a12-month period, specimen collections were made every 15days from suspended traps placed in the forest canopy and in the understory strata, both on the border and in the interior of forest areas. A total of 12,835Hymenoptera parasitoids from 23families were acquired. Braconidae, Diapriidae, Mymaridae, Eulophidae, and Scelionidae were the most represented in the area and strata samples. The results indicate that there were no significant differences in the species richness or abundance of Hymenoptera between the forest borders and the inner forest. The data does show that the presence of Hymenoptera is significantly greater in the understory in both the border and interior areas than in the canopy (vertical stratification). Aphelinidae and Ceraphronidae were significantly associated with the inner forest, while the other seven families with the border of the reserve. The abundance of Hymenoptera parasitoids presented seasonal variations during the year related to the rainy and dry seasons

Bico pneumático eletrostático para aplicação de inseticidas biológicos em floresta de eucalipto.

O objetivo deste trabalho foi desenvolver e testar um modelo de bico pneumático eletrostático adaptável aos pulverizadores tratorizados do tipo canhão, tendo em vista o uso desse equipamento nos tratamentos fitossanitários de floresta. Foram testadas diferentes dimensões de eletrodo de indução, orifício de pulverização, vazão de liquido e de ar. Uma das melhores combinações proporcionou um nível de carga da ordem de 7,5 uC/g para uma vazão de liquido de 2,7 mL/s, tensão de 1,000 V e consumo de ar de 368 L/min. Esse bico operou com diâmetros de orifício de pulverização e eletrodo de indução de 9,5 mm e 8,0 mm respectivamente, proporcionando um campo eletrostático com, aproximadamente, 660.000 V/m.bitstream/item/87935/1/BP03-1.pd

Pluronic gel-based burrowing assay for rapid assessment of neuromuscular health in C. elegans

Whole-organism phenotypic assays are central to the assessment of neuromuscular function and health in model organisms such as the nematode C. elegans. In this study, we report a new assay format for engaging C. elegans in burrowing that enables rapid assessment of nematode neuromuscular health. In contrast to agar environments that pose specific drawbacks for characterization of C. elegans burrowing ability, here we use the optically transparent and biocompatible Pluronic F-127 gel that transitions from liquid to gel at room temperature, enabling convenient and safe handling of animals. The burrowing assay methodology involves loading animals at the bottom of well plates, casting a liquid-phase of Pluronic on top that solidifies via a modest temperature upshift, enticing animals to reach the surface via chemotaxis to food, and quantifying the relative success animals have in reaching the chemoattractant. We study the influence of Pluronic concentration, gel height and chemoattractant choice to optimize assay performance. To demonstrate the simplicity of the assay workflow and versatility, we show its novel application in multiple areas including (i) evaluating muscle mutants with defects in dense bodies and/or M-lines (pfn-3, atn-1, uig-1, dyc-1, zyx-1, unc-95 and tln-1), (ii) tuning assay conditions to reveal changes in the mutant gei-8, (iii) sorting of fast burrowers in a genetically-uniform wild-type population for later quantitation of their distinct muscle gene expression, and (iv) testing proteotoxic animal models of Huntington and Parkinson's disease. Results from our studies show that stimulating animals to navigate in a dense environment that offers mechanical resistance to three-dimensional locomotion challenges the neuromuscular system in a manner distinct from standard crawling and thrashing assays. Our simple and high throughput burrowing assay can provide insight into molecular mechanisms for maintenance of neuromuscular health and facilitate screening for therapeutic targets