RELAX:a language to address uncertainty in self-adaptive systems requirement

Self-adaptive systems have the capability to autonomously modify their behavior at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In order to support the rigorous specification of adaptive systems requirements, this paper introduces RELAX, a new requirements language for self-adaptive systems that explicitly addresses uncertainty inherent in adaptive systems. We present the formal semantics for RELAX in terms of fuzzy logic, thus enabling a rigorous treatment of requirements that include uncertainty. RELAX enables developers to identify uncertainty in the requirements, thereby facilitating the design of systems that are, by definition, more flexible and amenable to adaptation in a systematic fashion. We illustrate the use of RELAX on smart home applications, including an adaptive assisted living system.

RELAX:incorporating uncertainty into the specification of self-adaptive systems

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements explicitly relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present RELAX, a new requirements language for selfadaptive systems and illustrate it using examples from the smart home domain. © 2009 IEEE.

Resveratrol stimulates hydrogen sulfide (H2S) formation to relax murine corpus cavernosum

Introduction: Resveratrol (RVT) found in red wine protects against erectile dysfunction and relaxes penile tissue (corpus cavernosum) via a nitric oxide (NO) independent pathway. However, the mechanism remains to be elucidated. Hydrogen sulfide (H2S) is a potent vasodilator and neuromodulator generated in corpus cavernosum. Aims: We investigated whether RVT caused the relaxation of mice corpus cavernosum (MCC) through H2S. Methods: H2S formation is measured by methylene blue assay and vascular reactivity experiments have been performed by DMT strip myograph in CD1 MCC strips. Main Outcome Measures: Endothelial NO synthase (eNOS) inhibitor Nω-Nitro-L-arginine (L-NNA, 0.1mM) or H2S inhibitor aminooxyacetic acid (AOAA, 2mM) which inhibits both cystathionine-β-synthase (CBS) and cystathionine-gamma-lyase (CSE) enzyme or combination of AOAA with PAG (CSE inhibitor) has been used in the presence/absence of RVT (0.1mM, 30min) to elucidate the role of NO or H2S pathways on the effects of RVT in MCC. Concentration-dependent relaxations to RVT, L-cysteine, sodium hydrogen sulfide (NaHS) and acetylcholine (ACh) were studied. Results: Exposure of murine corpus cavernosum to RVT increased both basal and L-cysteine-stimulated H2S formation. Both of these effects were reversed by AOAA but not by L-NNA. RVT caused concentration-dependent relaxation of MCC and that RVT-induced relaxation was significantly inhibited by AOAA or AOAA+PAG but not by L-NNA. L-cysteine caused concentration-dependent relaxations, which are inhibited by AOAA or AOAA+PAG significantly. Incubation of MCC with RVT significantly increased L-cysteine-induced relaxation, and this effect was inhibited by AOAA+PAG. However, RVT did not alter the effect of exogenous H2S (NaHS) or ACh-induced relaxations. Conclusions: These results demonstrate that RVT-induced relaxation is at least partly dependent on H2S formation and acts independent of eNOS pathway. In phosphodiesterase 5 inhibitor (PDE-5i) nonresponder population, combination therapy with RVT may reverse erectile dysfunction via stimulating endogenous H2S formation. Yetik-Anacak G, Dereli MV, Sevin G, Ozzayim O, Erac Y, and Ahmed A. Resveratrol stimulates hydrogen sulfide (H2S) formation to relax murine corpus cavernosum.