FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105706714> ?p ?o ?g. }

• W3105706714 abstract "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." @default.
• W3105706714 created "2020-11-23" @default.
• W3105706714 creator A5013103539 @default.
• W3105706714 creator A5027446457 @default.
• W3105706714 creator A5039374886 @default.
• W3105706714 creator A5043774905 @default.
• W3105706714 creator A5059659219 @default.
• W3105706714 date "2019-05-01" @default.
• W3105706714 modified "2023-09-25" @default.
• W3105706714 title "Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach" @default.
• W3105706714 cites W117911312 @default.
• W3105706714 cites W1834093633 @default.
• W3105706714 cites W1872744038 @default.
• W3105706714 cites W1886563687 @default.
• W3105706714 cites W1898469110 @default.
• W3105706714 cites W1925666667 @default.
• W3105706714 cites W1971139410 @default.
• W3105706714 cites W1986565925 @default.
• W3105706714 cites W2015244008 @default.
• W3105706714 cites W2022106311 @default.
• W3105706714 cites W2065236943 @default.
• W3105706714 cites W2086502833 @default.
• W3105706714 cites W2098895708 @default.
• W3105706714 cites W2140597298 @default.
• W3105706714 cites W2144819523 @default.
• W3105706714 cites W2146044140 @default.
• W3105706714 cites W2342076274 @default.
• W3105706714 cites W2487350312 @default.
• W3105706714 cites W2520705332 @default.
• W3105706714 cites W2523338773 @default.
• W3105706714 cites W2589085733 @default.
• W3105706714 cites W2700307383 @default.
• W3105706714 cites W2783187656 @default.
• W3105706714 cites W2801750434 @default.
• W3105706714 cites W2886168462 @default.
• W3105706714 cites W3101049346 @default.
• W3105706714 cites W3141976039 @default.
• W3105706714 cites W4233784018 @default.
• W3105706714 cites W4243369158 @default.
• W3105706714 doi "https://doi.org/10.1109/seams.2019.00020" @default.
• W3105706714 hasPublicationYear "2019" @default.
• W3105706714 type Work @default.
• W3105706714 sameAs 3105706714 @default.
• W3105706714 citedByCount "4" @default.
• W3105706714 countsByYear W31057067142021 @default.
• W3105706714 countsByYear W31057067142022 @default.
• W3105706714 countsByYear W31057067142023 @default.
• W3105706714 crossrefType "proceedings-article" @default.
• W3105706714 hasAuthorship W3105706714A5013103539 @default.
• W3105706714 hasAuthorship W3105706714A5027446457 @default.
• W3105706714 hasAuthorship W3105706714A5039374886 @default.
• W3105706714 hasAuthorship W3105706714A5043774905 @default.
• W3105706714 hasAuthorship W3105706714A5059659219 @default.
• W3105706714 hasBestOaLocation W31057067142 @default.
• W3105706714 hasConcept C105795698 @default.
• W3105706714 hasConcept C112930515 @default.
• W3105706714 hasConcept C115903868 @default.
• W3105706714 hasConcept C117251300 @default.
• W3105706714 hasConcept C120665830 @default.
• W3105706714 hasConcept C121332964 @default.
• W3105706714 hasConcept C127413603 @default.
• W3105706714 hasConcept C139807058 @default.
• W3105706714 hasConcept C15744967 @default.
• W3105706714 hasConcept C163258240 @default.
• W3105706714 hasConcept C195094911 @default.
• W3105706714 hasConcept C199360897 @default.
• W3105706714 hasConcept C200601418 @default.
• W3105706714 hasConcept C33923547 @default.
• W3105706714 hasConcept C41008148 @default.
• W3105706714 hasConcept C43214815 @default.
• W3105706714 hasConcept C62520636 @default.
• W3105706714 hasConcept C71924100 @default.
• W3105706714 hasConcept C77805123 @default.
• W3105706714 hasConcept C84653758 @default.
• W3105706714 hasConcept C98045186 @default.
• W3105706714 hasConceptScore W3105706714C105795698 @default.
• W3105706714 hasConceptScore W3105706714C112930515 @default.
• W3105706714 hasConceptScore W3105706714C115903868 @default.
• W3105706714 hasConceptScore W3105706714C117251300 @default.
• W3105706714 hasConceptScore W3105706714C120665830 @default.
• W3105706714 hasConceptScore W3105706714C121332964 @default.
• W3105706714 hasConceptScore W3105706714C127413603 @default.
• W3105706714 hasConceptScore W3105706714C139807058 @default.
• W3105706714 hasConceptScore W3105706714C15744967 @default.
• W3105706714 hasConceptScore W3105706714C163258240 @default.
• W3105706714 hasConceptScore W3105706714C195094911 @default.
• W3105706714 hasConceptScore W3105706714C199360897 @default.
• W3105706714 hasConceptScore W3105706714C200601418 @default.
• W3105706714 hasConceptScore W3105706714C33923547 @default.
• W3105706714 hasConceptScore W3105706714C41008148 @default.
• W3105706714 hasConceptScore W3105706714C43214815 @default.
• W3105706714 hasConceptScore W3105706714C62520636 @default.
• W3105706714 hasConceptScore W3105706714C71924100 @default.
• W3105706714 hasConceptScore W3105706714C77805123 @default.
• W3105706714 hasConceptScore W3105706714C84653758 @default.
• W3105706714 hasConceptScore W3105706714C98045186 @default.
• W3105706714 hasLocation W31057067141 @default.
• W3105706714 hasLocation W31057067142 @default.
• W3105706714 hasOpenAccess W3105706714 @default.
• W3105706714 hasPrimaryLocation W31057067141 @default.

• next