The Experts below are selected from a list of 6058656 Experts worldwide ranked by ideXlab platform
Bradley Schmerl - One of the best experts on this subject based on the ideXlab platform.
-
software engineering for self adaptive systems research challenges in the provision of assurances
Software Engineering for Self-Adaptive Systems, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
software engineering for self adaptive systems research challenges in the provision of assurances
International Seminar on Software Engineering for Self-Adaptive Systems: Assurances 2013, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
RADIANCE 2015 Keynote: Challenges in Engineering Dependable Self-Adaptive System
2015 IEEE International Conference on Dependable Systems and Networks Workshops, 2015Co-Authors: Bradley SchmerlAbstract:To provide some levels of dependency in software systems, self-adaptive systems have been proposed as a principled approach to engineering software systems to adapt systems to meet requirements even in the face of changes and uncertainty in the environment. But how can we show that changing a system at run time will make systems more dependable? In this keynote, I will outline a set of challenges for providing assurances for self-adaptive systems, and describe work that our group has been doing that can provide evidence for assurances in a number of contexts, including collaborative self-adaptation with humans-in-the-loop. I will discuss how probabilistic model checking can be used to explore the state space of self-adaptive systems, and how they can provide more realistic models of the impacts that adapting a system may have on the system.
Barbara Gallina - One of the best experts on this subject based on the ideXlab platform.
-
amass a large scale european project to improve the assurance and certification of cyber physical systems
Product Focused Software Process Improvement, 2019Co-Authors: Jose Luis De La Vara, Eugenio Parra, Alejandra Ruiz, Barbara GallinaAbstract:Most safety-critical systems must undergo assurance and certification processes. The associated activities can be complex and labour-intensive, thus practitioners need suitable means to execute them. The activities are further becoming more challenging as a result of the evolution of the systems towards cyber-physical ones, as these systems have new assurance and certification needs. The AMASS project (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) tackled these issues by creating and consolidating the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of cyber-physical systems. The project defined a novel holistic approach for architecture-driven assurance, multi-concern assurance, seamless interoperability, and cross- and intra-domain reuse of assurance assets. AMASS results were applied in 11 industrial case studies to demonstrate the reduction of effort in assurance and certification, the reduction of (re)certification cost, the reduction of assurance and certification risks, and the increase in technology harmonisation and interoperability.
Pierre-olivier Cheptou - One of the best experts on this subject based on the ideXlab platform.
-
high lifetime inbreeding depression counteracts the reproductive assurance benefit of selfing in a mass flowering shrub
BMC Evolutionary Biology, 2014Co-Authors: Chloe E L Delmas, Nathalie Escaravage, Pierre-olivier Cheptou, Andre PornonAbstract:Background: Decreases in mate and/or pollinator availability would be expected to affect the selective pressure on plant mating systems. An increase in self-fertilization may evolve to compensate for the negative effects of pollination failure. However, the benefit of selfing in variable pollination environments depends on the relative fitnesses of selfed and outcrossed progeny. We investigated the potential for selfing to provide reproductive assurance over the lifetime of a long-lived perennial species and its variation between plant patches of various sizes. Patch size is likely to affect mate and pollinator availabilities, thereby affecting pollination success and the rate of selfing. We estimated fruit and seed set, reproductive assurance, self-compatibility, the multilocus patch selfing rate and lifetime inbreeding depression in natural patches of Rhododendron ferrugineum (Ericaceae), a mass-flowering species characterized by considerable patch size variation (as estimated by the total number of inflorescences). Results: Open seed set declined linearly with increasing patch size, whereas pollinator-mediated seed set (emasculated flowers) was not significantly affected. Progeny array analysis indicated that the selfing rate declined with increasing patch size, consistent with greater reproductive assurance in small sparse patches than in large, dense patches. However, fruit set and adult fitness decreased with decreasing patch size, with an estimated mean lifetime inbreeding depression of 0.9 (obtained by comparing F values in adults and progenies). Conclusions: Lifetime inbreeding depression strongly counteracts the advantage of reproductive assurance due to selfing in this long-lived species. The poor fitness of selfed offspring should counteract any evolution towards selfing, despite its potential to alleviate the negative consequences of pollen limitation. This study highlights the need to estimate lifetime inbreeding depression, together with mating system and pollination parameters, if we are to understand the actual benefit of selfing and avoid the overestimation of reproductive assurance.
-
allee effect and self fertilization in hermaphrodites reproductive assurance in a structured metapopulation
Evolution, 2008Co-Authors: Antoine Dornier, Francois Munoz, Pierre-olivier CheptouAbstract:Reproductive assurance through selfing during colonization events or when population densities are low has often been put forward as a mechanism selecting for the evolution of self-fertilization. Such arguments emphasize on the role of both local demography and metapopulation processes. We developed a model for the evolution of self-fertilization in a structured metapopulation in which local densities are not steady because of population growth. Reproduction by selfing is density-independent (reproductive assurance) but selfed seeds endure inbreeding depression, whereas reproduction by outcrossing is density-dependent (Allee effect). First, we derived an analytical criterion for metapopulation viability as a function of the selfing rate and metapopulation parameters. We show that outcrossers can develop a viable metapopulation when they produce a high amount of dispersal seeds that counterbalances their incapacity to found new populations from low densities. Second, the model shows there is a positive feedback between demography and outcrossing rates, leading to either complete outcrossing or selfing. Specifically, we illustrate that inbreeding depression can paradoxically favor the evolution of selfing because of its negative effect on density. Also, complete outcrossing can be selected despite pollen limitation, although it does not provide a full seed set. This model underlines the influence of the mating system both on demography and gene dynamics in a metapopulation context.
-
allee effect and self fertilization in hermaphrodites reproductive assurance in demographically stable populations
Evolution, 2004Co-Authors: Pierre-olivier CheptouAbstract:The fact that selfing increases seed set (reproductive assurance) has often been put forward as an important selective force for the evolution of selfing. However, the role of reproductive assurance in hermaphroditic populations is far from being clear because of a lack of theoretical work. Here, I propose a theoretical model that analyzes self-fertilization in the presence of reproductive assurance. Because reproductive assurance directly influences the per capita growth rate, I developed an explicit demographic model for partial selfers in the presence of reproductive assurance, specifically when outcrossing is limited by the possibility of pollen transfer (Allee effect). Mating system parameters are derived as a function of the underlying demographical parameters. The functional link between population demography and mating system parameters (reproductive assurance, selfing rate) can be characterized. The demographic model permits the analysis of the evolution of self-fertilization in stable populations when reproductive assurance occurs. The model reveals some counterintuitive results such as the fact that increasing the fraction of selfed ovules can, in certain circumstances, increase the fraction of outcrossed ovules. Moreover, I demonstrate that reproductive assurance per se cannot account for the evolution of stable mixed selfing rates. Also, the model reveals that the extinction of outcrossing populations depends on small changes in population density (ecological perturbations), while the transition from outcrossing to selfing can, in certain cases, lead the population to extinction (evolutionary suicide). More generally, this paper highlights the fact that self-fertilization affects both the dynamics of individuals and the dynamics of selfing genes in hermaphroditic populations.
Rogerio De Lemos - One of the best experts on this subject based on the ideXlab platform.
-
software engineering for self adaptive systems research challenges in the provision of assurances
International Seminar on Software Engineering for Self-Adaptive Systems: Assurances 2013, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
software engineering for self adaptive systems research challenges in the provision of assurances
Software Engineering for Self-Adaptive Systems, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
software engineering for self adaptive systems a research roadmap
Lecture Notes in Computer Science, 2009Co-Authors: Betty H C Cheng, Yuriy Brun, Holger Giese, Rogerio De Lemos, Jesper Andersson, Paola Inverardi, Jeff Magee, Basil Becker, Nelly Bencomo, Bojan CukicAbstract:The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems," which took place in January 2008.
-
08031 software engineering for self adaptive systems a research road map
Dagstuhl Seminar Proceedings, 2008Co-Authors: Betty H C Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogerio De LemosAbstract:Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of today's software-intensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimize themselves, protect themselves, and recover themselves, while keeping most of their complexity hidden from the user and administrator. In this paper, we present research road map for software engineering of self-adaptive systems focusing on four views, which we identify as essential: requirements, modelling, engineering, and assurances.
Nelly Bencomo - One of the best experts on this subject based on the ideXlab platform.
-
software engineering for self adaptive systems research challenges in the provision of assurances
Software Engineering for Self-Adaptive Systems, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
software engineering for self adaptive systems research challenges in the provision of assurances
International Seminar on Software Engineering for Self-Adaptive Systems: Assurances 2013, 2017Co-Authors: Rogerio De Lemos, Bradley Schmerl, David Garlan, Danny Weyns, Holger Giese, Marin Litoiu, Jesper Andersson, Carlo Ghezzi, Luciano Baresi, Nelly BencomoAbstract:The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.
-
software engineering for self adaptive systems a research roadmap
Lecture Notes in Computer Science, 2009Co-Authors: Betty H C Cheng, Yuriy Brun, Holger Giese, Rogerio De Lemos, Jesper Andersson, Paola Inverardi, Jeff Magee, Basil Becker, Nelly Bencomo, Bojan CukicAbstract:The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems," which took place in January 2008.
