Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

Model-Centric, Context-Aware Software Adaptation

Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-dependent adaptations can be particularly difficult to realize in long-lived, large-scale software systems. We argue that, in order to effectively and efficiently deploy such changes, adaptive applications must be built on an infrastructure that is not just model-driven, but is both model-centric and context-aware. Specifically, this means that high-level, causally-connected models of the application and the software infrastructure itself should be available at run-time, and that changes may need to be scoped to the run-time execution context. We first review the dimensions of software adaptation and evolution, and then we show how model-centric design can address the adaptation needs of a variety of applications that span these dimensions. We demonstrate through concrete examples how model-centric and context-aware designs work at the level of application interface, programming language and runtime. We then propose a research agenda for a model-centric development environment that supports dynamic software adaptation and evolution.

Back to the future in one week - implementing a Smalltalk VM in PyPy

We report on our experiences with the Spy project, including implementation details and benchmark results. Spy is a re-implementation of the Squeak (i.e., Smalltalk-80) VM using the PyPy toolchain. The PyPy project allows code written in RPython, a subset of Python, to be translated to a multitude of different backends and architectures. During the translation, many aspects of the implementation can be independently tuned, such as the garbage collection algorithm or threading implementation. In this way, a whole host of interpreters can be derived from one abstract interpreter definition. Spy aims to bring these benefits to Squeak, allowing for greater portability and, eventually, improved performance. The current Spy codebase is able to run a small set of benchmarks that demonstrate performance superior to many similar Smalltalk VMs, but which still run slower than in Squeak itself. Spy was built from scratch over the course of a week during a joint Squeak-PyPy Sprint in Bern last autumn.

Towards Self-Learning Radio-Based Localization Systems

Location-awareness indoors will be an inseparable feature of mobile services/applications in future wireless networks. Its current ubiquitous availability is still obstructed by technological challenges and privacy issues. We propose an innovative approach towards the concept of indoor positioning with main goal to develop a system that is self-learning and able to adapt to various radio propagation environments. The approach combines estimation of propagation conditions, subsequent appropriate channel modelling and optimisation feedback to the used positioning algorithm. Main advantages of the proposal are decreased system set-up effort, automatic re-calibration and increased precision.

Self-sufficient control of urate homeostasis in mice by a synthetic circuit

Synthetic biology has shown that the metabolic behavior of mammalian cells can be altered by genetic devices such as epigenetic and hysteretic switches, timers and oscillators, biocomputers, hormone systems and heterologous metabolic shunts. To explore the potential of such devices for therapeutic strategies, we designed a synthetic mammalian circuit to maintain uric acid homeostasis in the bloodstream, disturbance of which is associated with tumor lysis syndrome and gout. This synthetic device consists of a modified Deinococcus radiodurans-derived protein that senses uric acids levels and triggers dose-dependent derepression of a secretion-engineered Aspergillus flavus urate oxidase that eliminates uric acid. In urate oxidase-deficient mice, which develop acute hyperuricemia, the synthetic circuit decreased blood urate concentration to stable sub-pathologic levels in a dose-dependent manner and reduced uric acid crystal deposits in the kidney. Synthetic gene-network devices providing self-sufficient control of pathologic metabolites represent molecular prostheses, which may foster advances in future gene- and cell-based therapies.

Predicting the risk of hospital admission in older persons--validation of a brief self-administered questionnaire in three European countries

OBJECTIVES: To validate the Probability of Repeated Admission (Pra) questionnaire, a widely used self-administered tool for predicting future healthcare use in older persons, in three European healthcare systems. DESIGN: Prospective study with 1-year follow-up. SETTING: Hamburg, Germany; London, United Kingdom; Canton of Solothurn, Switzerland. PARTICIPANTS: Nine thousand seven hundred thirteen independently living community-dwelling people aged 65 and older. MEASUREMENTS: Self-administered eight-item Pra questionnaire at baseline. Self-reported number of hospital admissions and physician visits during 1 year of follow-up. RESULTS: In the combined sample, areas under the receiver operating characteristic curves (AUCs) were 0.64 (95% confidence interval (CI)=0.62-0.66) for the prediction of one or more hospital admissions and 0.68 (95% CI=0.66-0.69) for the prediction of more than six physician visits during the following year. AUCs were similar between sites. In comparison, prediction models based on a person's age and sex alone exhibited poor predictive validity (AUC or= 0.5) were 2.3 times as likely (95% CI=2.1-2.6) as low-risk individuals to have a hospital admission, and 2.1 times as likely (95% CI=2.0-2.2) to have more than six physician visits. CONCLUSION: The Pra instrument exhibits good validity for predicting future health service use on a population level in different healthcare settings. Administrative data have shown similar predictive validity, but in practice, such data are often not available. The Pra is likely of high interest to governments and health insurance companies worldwide as a basis for programs aimed at health risk management in older persons.

Self-assembly of sensory neurons into ganglia-like microtissues

Unraveling intra- and inter-cellular signaling networks managing cell-fate control, coordinating complex differentiation regulatory circuits and shaping tissues and organs in living systems remain major challenges in the post-genomic era. Resting on the laurels of past-century monolayer culture technologies, the cell culture community has only recently begun to appreciate the potential of three-dimensional mammalian cell culture systems to reveal the full scope of mechanisms orchestrating the tissue-like cell quorum in space and time. Capitalizing on gravity-enforced self-assembly of monodispersed primary embryonic mouse cells in hanging drops, we designed and characterized a three-dimensional cell culture model for ganglion-like structures. Within 24h, a mixture of mouse embryonic fibroblasts (MEF) and cells, derived from the dorsal root ganglion (DRG) (sensory neurons and Schwann cells) grown in hanging drops, assembled to coherent spherical microtissues characterized by a MEF feeder core and a peripheral layer of DRG-derived cells. In a time-dependent manner, sensory neurons formed a polar ganglion-like cap structure, which coordinated guided axonal outgrowth and innervation of the distal pole of the MEF feeder spheroid. Schwann cells, present in embryonic DRG isolates, tended to align along axonal structures and myelinate them in an in vivo-like manner. Whenever cultivation exceeded 10 days, DRG:MEF-based microtissues disintegrated due to an as yet unknown mechanism. Using a transgenic MEF feeder spheroid, engineered for gaseous acetaldehyde-inducible interferon-beta (ifn-beta) production by cotransduction of retro-/ lenti-viral particles, a short 6-h ifn-beta induction was sufficient to rescue the integrity of DRG:MEF spheroids and enable long-term cultivation of these microtissues. In hanging drops, such microtissues fused to higher-order macrotissue-like structures, which may pave the way for sophisticated bottom-up tissue engineering strategies. DRG:MEF-based artificial micro- and macrotissue design demonstrated accurate key morphological aspects of ganglions and exemplified the potential of self-assembled scaffold-free multicellular micro-/macrotissues to provide new insight into organogenesis.

Self-Absorption and Luminescence Quantum Yields of Dye-Zeolite L Composites

Electronic absorption and fluorescence spectra based on transmission measurements of thin layers obtained from new perylene−zeolite L composites and new dye1,dye2−zeolite L sandwich composites, the latter acting as antenna systems, have been investigated and analyzed. The influence of extra- and intraparticle self-absorption on the spectral shape and fluorescence quantum yield is discussed in detail. Due to its intraparticle origin, self-absorption and re-emission can often not be avoided in organized systems such as dye−zeolite L composites where a high density of chromophores is a prerequisite for obtaining the desired photophysical properties. We show, however, that it can be avoided or at least minimized by preparing dye1,dye2−zeolite L sandwich composites where donors are present in a much larger amount than the acceptors because they act as antenna systems.

Learning to drive: learners' self-reported cognitive failure level predicts driving instructor's observation rating of driving performance

OBJECTIVES Evidence increases that cognitive failure may be used to screen for drivers at risk. Until now, most studies have relied on driving learners. This exploratory pilot study examines self-report of cognitive failure in driving beginners and error during real driving as observed by driving instructors. METHODS Forty-two driving learners of 14 driving instructors filled out a work-related cognitive failure questionnaire. Driving instructors observed driving errors during the next driving lesson. In multiple linear regression analysis, driving errors were regressed on cognitive failure with the number of driving lessons as an estimator of driving experience controlled. RESULTS Higher cognitive failure predicted more driving errors (p < .01) when age, gender and driving experience were controlled in analysis. CONCLUSIONS Cognitive failure was significantly associated with observed driving errors. Systematic research on cognitive failure in driving beginners is recommended.

Bonding of simplified adhesive systems to caries-affected dentin of primary teeth.

PURPOSE To evaluate the bonding of simplified adhesive systems to sound and caries-affected dentin of primary teeth with microtensile (µTBS) and nanoleakage (NL) tests. MATERIALS AND METHODS Occlusal cavities were prepared in 36 sound second primary molars. Half of the specimens were submitted to pH cycling to simulate caries-affected dentin. Teeth were randomly restored with one of three materials: the etch-and-rinse adhesive system Adper Single Bond 2 (SB), the two-step self-etching adhesive system Adper SE Plus (SE), and the one-step self-etching adhesive system Adper Easy One (EASY). After storage for 24 h, specimens with cross-sectional areas of 0.8 mm2 were prepared for microtensile testing (1 mm/min). One stick from each tooth was immersed in silver nitrate solution (24 h) and allowed to develop for 8 h in order to score the nano leakage with SEM. The fracture pattern was evaluated using a stereomicroscope (400X). The µTBS means were analyzed by two-way ANOVA and Tukey's post-hoc test. For NL, the Kruskal- Wallis and Mann-Whitney tests were used (α < 0.05). RESULTS SB (35.5 ± 3.5) showed the highest µTBS value to sound dentin, followed by EASY (26.3 ± 1.9) and SE (18.2 ± 6.5) (p < 0.05). No difference among materials was observed for caries-affected dentin (SB: 17.8 ± 4.2; SE: 13.9 ± 3.2; EASY: 14.4 ± 4.2, p > 0.05). For all groups, adhesive/mixed fracture prevailed. Caries affected dentin promoted silver nitrate uptake into the adhesive interface; however, with SE, the nano leakage was more pronounced than in the other adhesive systems, even in sound dentin. CONCLUSION Caries-affected dentin negatively influences the bond strength and nano leakage of the two-step etch-and-rinse and one-step self-etching adhesive systems tested in primary teeth.

Self-disclosure and privacy calculus on social networking sites: the role of culture

Social Networking Sites (SNSs) have become extremely popular around the world. They rely on user-generated content to offer engaging experience to its members. Cultural differences may influence the motivation of users to create and share content on SNS. This study adopts the privacy calculus perspective to examine the role of culture in individual self-disclosure decisions. The authors use structural equation modeling and multi-group analysis to investigate this dynamics. The findings reveal the importance of cultural dimensions of individualism and uncertainty avoidance in the cognitive processes of SNS users.

"It won't happen to me!": self-disclosure in online social networks

Despite the considerable amount of self-disclosure in Online Social Networks (OSN), the motivation behind this phenomenon is still little understood. Building on the Privacy Calculus theory, this study fills this gap by taking a closer look at the factors behind individual self-disclosure decisions. In a Structural Equation Model with 237 subjects we find Perceived Enjoyment and Privacy Concerns to be significant determinants of information revelation. We confirm that the privacy concerns of OSN users are primarily determined by the perceived likelihood of a privacy violation and much less by the expected damage. These insights provide a solid basis for OSN providers and policy-makers in their effort to ensure healthy disclosure levels that are based on objective rationale rather than subjective misconceptions.