Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause uncertainty that the SAS has to address to achieve its goals. Moreover, besides the environment, other classes of uncertainty have been identified. However, these various classes and their sources are not systematically addressed by current approaches throughout the life cycle of the SAS. In general, uncertainty typically makes the assurance provision of SAS goals exclusively at design time not viable. This calls for an assurance process that spans the whole life cycle of the SAS. In this work, we propose a goal-oriented assurance process that supports taming different sources (within different classes) of uncertainty from defining the goals at design time to performing self-adaptation at runtime. Based on a goal model augmented with uncertainty annotations, we automatically generate parametric symbolic formulae with parameterized uncertainties at design time using symbolic model checking. These formulae and the goal model guide the synthesis of adaptation policies by engineers. At runtime, the generated formulae are evaluated to resolve the uncertainty and to steer the self-adaptation using the policies. In this paper, we focus on reliability and cost properties, for which we evaluate our approach on the Body Sensor Network (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our approach is able to systematically tame multiple classes of uncertainty, and that it is effective and efficient in providing assurances for the goals of self-adaptive systems

Managing Access to Service Providers in Federated Identity Environments: A Case Study in a Cloud Storage Service

© 2015 IEEE. Currently the diversity of services, which are adhering to Identity Federation, has raised new challenges in the area. Increasingly, service providers need to control the access to their resources by users from the federation as, even though the user is authenticated by the federation, its access to resources cannot be taken for granted. Each Service Provider (SP) of a federation implements their own access control mechanism. Moreover, SPs might need to allow different access control granularity. For instance, all users from a particular Identity Provider (IdP) may access the resources due to some financial agreement. On the other hand, it might be the case that only specific users, or groups of users, have access to the resources. This paper proposes a solution to this problem through a hierarchical authorization system. Our approach, which can be customized to different SPs, allows the SP administrator to manage which IdPs, or users, have access to the provided resources. In order to demonstrate the feasibility of our approach, we present a case study in the context of a cloud storage solution

Species richness in natural and disturbed habitats: Asteraceae and Flower-head insects (Tephritidae: Diptera)

Anthropogenic changes in the landscape result in an environmental mosaic with serious consequences for biodiversity. The aim of the present study was to assess the effects of the anthropogenic changes on Asteraceae richness and abundance, and to evaluate the consequences for the richness of Tephritidae assemblages in five sampling sites, with three sampled habitats in each: cerrado (Brazilian savanna), eucalyptus stands and pasture. Sampling was carried out in 15 random transects (cerrados and one pasture) and in 30 transects (eucalyptus stands and the remaining pastures). Composition, species richness and insect abundance in each habitat type was estimated by sampling the flower heads for each species of host plant, collected by four people for 1h. Differences in mean abundance of plant population between habitats and sites were tested by two-way ANOVA. Differences in plant species richness between habitats and sites and effects of habitat, site and host plant richness on insect richness were tested using a generalized linear model with Poisson errors. Within each sampling site, cerrados showed higher species richness of Asteraceae than pastures and eucalyptus stands. There were also significant differences in plant richness among sites. Mean population abundance values were significantly different among habitats, but not among sites. Increased host plant richness led to significant insect species richness. There were no additional significant effects of habitat on insect richness. Therefore, anthropogenic alterations in landscape determined the impoverishment of plant assemblages and therefore of insect assemblages, because of the positive relationship between host plant richness and insect richness.163171Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES

Asteroid taxonomic signatures from photometric phase curves

We explore the correlation between an asteroid's taxonomy and photometric phase curve using the H, G12 photometric phase function, with the shape of the phase function described by the single parameter G12. We explore the usability of G12 in taxonomic classification for individual objects, asteroid families, and dynamical groups. We conclude that the mean values of G12 for the considered taxonomic complexes are statistically different, and also discuss the overall shape of the G12 distribution for each taxonomic complex. Based on the values of G12 for about half a million asteroids, we compute the probabilities of C, S, and X complex membership for each asteroid. For an individual asteroid, these probabilities are rather evenly distributed over all of the complexes, thus preventing meaningful classification. We then present and discuss the G12 distributions for asteroid families, and predict the taxonomic complex preponderance for asteroid families given the distribution of G12 in each family. For certain asteroid families, the probabilistic prediction of taxonomic complex preponderance can clearly be made. The Nysa-Polana family shows two distinct regions in the proper element space with different G12 values dominating in each region. We conclude that the G12-based probabilistic distribution of taxonomic complexes through the main belt agrees with the general view of C complex asteroid proportion increasing towards the outer belt. We conclude that the G12 photometric parameter cannot be used in determining taxonomic complex for individual asteroids, but it can be utilized in the statistical treatment of asteroid families and different regions of the main asteroid belt.Comment: submitted to Icaru

A hybrid approach combining control theory and AI for engineering self-adaptive systems

Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guarantees poses severe constraints when it comes to dynamic adaptation. In order to solve these limitations, in this paper, we propose a hybrid approach combining software engineering, control theory, and AI to design for software self-adaptation. Our solution proposes a hierarchical and dynamic system manager with performance tuning. Due to the gap between high-level requirements specification and the internal knob behavior of the managed system, a hierarchically composed components architecture seek the separation of concerns towards a dynamic solution. Therefore, a two-layered adaptive manager was designed to satisfy the software requirements with parameters optimization through regression analysis and evolutionary meta-heuristic. The optimization relies on the collection and processing of performance, effectiveness, and robustness metrics w.r.t control theoretical metrics at the offline and online stages. We evaluate our work with a prototype of the Body Sensor Network (BSN) in the healthcare domain, which is largely used as a demonstrator by the community. The BSN was implemented under the Robot Operating System (ROS) architecture, and concerns about the system dependability are taken as adaptation goals. Our results reinforce the necessity of performing well on such a safety-critical domain and contribute with substantial evidence on how hybrid approaches that combine control and AI-based techniques for engineering self-adaptive systems can provide effective adaptation

Integrating economic costs and biological traits into global conservation priorities for carnivores

Background: Prioritization schemes usually highlight species-rich areas, where many species are at imminent risk of extinction. To be ecologically relevant these schemes should also include species biological traits into area-setting methods. Furthermore, in a world of limited funds for conservation, conservation action is constrained by land acquisition costs. Hence, including economic costs into conservation priorities can substantially improve their conservation cost-effectiveness. Methodology/Principal Findings: We examined four global conservation scenarios for carnivores based on the joint mapping of economic costs and species biological traits. These scenarios identify the most cost effective priority sets of ecoregions, indicating best investment opportunities for safeguarding every carnivore species, and also establish priority sets that can maximize species representation in areas harboring highly vulnerable species. We compared these results with a scenario that minimizes the total number of ecoregions required for conserving all species, irrespective of other factors. We found that cost-effective conservation investments should focus on 41 ecoregions highlighted in the scenario that consider simultaneously both ecoregion vulnerability and economic costs of land acquisition. Ecoregions included in priority sets under these criteria should yield best returns of investments since they harbor species with high extinction risk and have lower mean land cost. Conclusions/Significance: Our study highlights ecoregions of particular importance for the conservation of the world’s carnivores defining global conservation priorities in analyses that encompass socioeconomic and life-history factors. We consider the identification of a comprehensive priority-set of areas as a first step towards an in-situ biodiversity maintenance strategy

AVAST Survey 0.4-1.0 {\mu}m Spectroscopy of Igneous Asteroids in the Inner and Middle Main Belt

We present the spectra of 60 asteroids, including 47 V-types observed during the first phase of the Adler V-Type Asteroid (AVAST) Survey. SDSS photometry was used to select candidate V-type asteroids for follow up by nature of their very blue $i-z$ color. 47 of the 61 observed candidates were positively classified as V-type asteroids, while an additional six show indications of a 0.9 $\mu$m feature consistent with V-type spectra, but not sufficient for formal classification. Four asteroids were found to be S-type, all of which had $i-z$ values very near the adopted AVAST selection criteria of $i-z \le -0.2$, including one candidate observed well outside the cut (at a mean $i-z$ of -0.11). Three A-type asteroids were also identified. Six V-type asteroids were observed beyond the 3:1 mean motion resonance with Jupiter, including the identification of two new V-type asteroids (63085 and 105041) at this distance. Six V-type asteroids were observed with low ($<5\deg$) orbital inclination, outside of the normal dynamical range of classic Vestoids, and are suggestive of a non-Vesta origin for at least some of the population.Comment: 1 table, 3 figures, To appear to Icaru

Influenza Virus A (H1N1) in Giant Anteaters (Myrmecophaga tridactyla)

In February 2007, an outbreak of respiratory disease occurred in a group of giant anteaters (Myrmecophaga tridactyla) at the Nashville Zoo. Isolates from 2 affected animals were identified in March 2007 as a type A influenza virus related to human influenza subtype H1N1