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

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

A novel score for predicting alzheimer’s disease risk from late life psychopathological and health risk factors

With the increasing size of the aging population, dementia risk reduction has become a main public health concern. Dementia risk models or indices may help to identify individuals in the community at high risk to develop dementia. We have aimed to develop a novel dementia risk index focused on the late-life (65 years or more) population, that addresses risk factors for Alz-heimer’s disease (AD) easily identifiable at primary care settings. These risk factors include some shown to be associated with the risk of AD but not featured in existing indices, such as hearing loss and anxiety. Our index is also the first to account for the competing risk of death. The Zaragoza Dementia and Depression Project (ZARADEMP) Alzheimer Dementia Risk Score predicts an indi-vidual´s risk of developing AD within 5 years. The probability of late onset AD significantly in-creases in those with risk scores between 21 and 28 and, furthermore, is almost 4-fold higher for those with risk scores of 29 or higher. Our index may provide a practical instrument to identify subjects at high risk of AD and to design preventive strategies targeting the contributing risk factors

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Prevalence of anxiety in medical students during the covid-19 pandemic: A rapid systematic review with meta-analysis

The novel coronavirus disease (COVID-19) pandemic has brought a great deal of pressure for medical students, who typically show elevated anxiety rates. Our aim is to investigate the prevalence of anxiety in medical students during this pandemic. This systematic review and mini meta-analysis has been conducted following the PRISMA guidelines. Two researchers independently searched PubMed on 26 August 2020 for cross-sectional studies on medical students during the COVID-19 outbreak, with no language restrictions applied. We then performed a manual search to detect other potentially eligible investigations. To the 1361 records retrieved in the initial search, 4 more were added by manual search on medRxiv. Finally, eight studies were finally included for qualitative and quantitative analysis, which yielded an estimated prevalence of anxiety of 28% (95% CI: 22–34%), with significant heterogeneity between studies. The prevalence of anxiety in medical students is similar to that prior to the pandemic but correlates with several specific COVID-related stressors. While some preventive and risk factors have been previously identified in a non-pandemic context, knowledge and cognitions on COVID-19 transmission, treatment, prognosis and prevention negatively correlate with anxiety, emerging as a key preventive factor that may provide a rationale for why the levels of anxiety have remained stable in medical students during the pandemic while increasing in their non-medical peers and the general population. Other reasons for the invariability of anxiety rates in this population are discussed. A major limitation of our review is that Chinese students comprised 89% the total sample, which could compromise the external validity of our work

Anxiety and risk of vascular dementia in an elderly community sample: The role of sex

Background: To assess the association between anxiety and risk of vascular dementia (VaD), as well as potential sex differences, in a community-based cohort. Methods: A random sample of 4057 dementia-free community participants aged 55 or older, from the longitudinal, community-based Zaragoza Dementia and Depression Project (ZARADEMP) study were followed for 4.5 years. Geriatric Mental State B (GMS)-Automated Geriatric Examination for Computer Assisted Taxonomy (AGECAT) was used for the assessment and diagnosis of anxiety, and a panel of research psychiatrists diagnosed the incident cases of VaD according to DSM-IV (Diagnostic and Statistical Manual of mental disordes). Multivariate survival analysis with competing risk regression model was performed. Results: In men, the incidence rate of VaD was significantly higher among anxiety subjects compared with non-anxiety subjects (incidence rate ratio (IRR) (95% confidence interval (CI)): 3.24 (1.13–9.35); p = 0.029), and no difference was observed in women (IRR (95%CI): 0.68 (0.19– 2.23); p = 0.168). In the multivariate model, for men, cases of anxiety had 2.6-fold higher risk of VaD (subdistribution hazard ratio (SHR): 2.61; 95%CI: 0.88–7.74) when all potential confounding factors were controlled, with no statistical significance (p = 0.084), but a clinically relevant effect (Cohen’s d: 0.74). No association was found in women. Conclusions: In men, but not in women, risk of VaD was higher among individuals with anxiety, with a clinically relevant effect. Potential anxiety-related preventive interventions for VaD might be tailored to men and women separately

Clinically significant anxiety as a risk factor for dementia in the elderly community

Objective: To evaluate whether clinically significant anxiety is an independent risk factor for dementia, taking into account both depression among potentially confounding factors and the competing risk of death. Method: During the Zaragoza Dementia and Depression (ZARADEMP) study, a random sample of community dwellers aged 55 years or older was assessed (n = 4803), and a two-wave, 4.5-year follow-up was completed. Geriatric Mental State (GMS)-AGECAT criteria were used to diagnose anxiety and DSM-IV criteria were applied to diagnose incident dementia. The multivariate Fine and Gray regression model was implemented to calculate dementia risk. Results: Compared with non-cases (GMS-AGECAT criteria), the incidence rate of dementia was significantly higher in subcases of anxiety, and particularly significant in the cases of anxiety (incidence rate ratio (IRR): 2.77; P = 0.010). Cases of anxiety, but not subcases, at baseline were significantly associated with dementia risk (adjusted subdistribution hazard ratio (SHR): 2.7; P = 0.019). Conclusion: Clinically significant anxiety is associated with an almost threefold increase in the risk of dementia in the population, even when controlling for depression and considering mortality in the competing risks model