Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610395280> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2610395280 abstract "Software systems used in mission- and business-critical applications in domains including defence, healthcare, and finance must comply with strict dependability, performance, and other Quality-of-Service (QoS) requirements. Self-adaptive systems achieve this compliance under changing environmental conditions, evolving requirements and system failures by using closed-loop control to modify their behaviour and structure in response to these events. Runtime quantitative verification (RQV) is a mathematically-based approach that implements the closed-loop control of self-adaptive systems. Using runtime observations of a system and its environment, RQV updates stochastic models whose formal analysis underpins the adaptation decisions made within the control loop. The approach can identify and, under certain conditions, predict violation of QoS requirements, and can drive self-adaptation in ways guaranteed to restore or maintain compliance with these requirements. Despite its merits, RQV has significant computation and memory overheads, which restrict its applicability to small systems and to adaptations affecting only the configuration parameters of the system.In this thesis, we introduce RQV variants that improve the efficiency and scalability of the approach and extend its applicability to larger and more complex self-adaptive software systems, and to adaptations that modify the structure of a system. First, we integrate RQV with established efficiency improvement techniques from other software engineering areas. We use caching of recent analysis results, limited lookahead to precompute suitable adaptations for potential future changes, and nearly-optimal reconfiguration to eliminate the need for an exhaustive analysis of the entire reconfiguration space. Second, we introduce an RQV variant that incorporates evolutionary algorithms into the RQV process facilitating the efficient search through large reconfiguration spaces and enabling adaptations that include structural changes. Third, we propose an RQV-driven approach that decentralises the control loops in distributed self-adaptive systems. Finally, we devise an RQV-based methodology for the engineering of trustworthy self-adaptive systems. We evaluate the proposed RQV variants using prototype self-adaptive systems from several application domains, including an embedded system for unmanned underwater vehicles and a foreign exchange service-based system. Our results, subject to the adaptation scenarios used in the evaluation, demonstrate the effectiveness and generality of the new RQV variants." @default.
- W2610395280 created "2017-05-12" @default.
- W2610395280 creator A5055440630 @default.
- W2610395280 date "2016-09-01" @default.
- W2610395280 modified "2023-09-26" @default.
- W2610395280 title "Runtime Quantitative Verification of Self-Adaptive Systems" @default.
- W2610395280 hasPublicationYear "2016" @default.
- W2610395280 type Work @default.
- W2610395280 sameAs 2610395280 @default.
- W2610395280 citedByCount "0" @default.
- W2610395280 crossrefType "dissertation" @default.
- W2610395280 hasAuthorship W2610395280A5055440630 @default.
- W2610395280 hasConcept C115903868 @default.
- W2610395280 hasConcept C119701452 @default.
- W2610395280 hasConcept C120314980 @default.
- W2610395280 hasConcept C120665830 @default.
- W2610395280 hasConcept C121332964 @default.
- W2610395280 hasConcept C127413603 @default.
- W2610395280 hasConcept C139807058 @default.
- W2610395280 hasConcept C149091818 @default.
- W2610395280 hasConcept C149635348 @default.
- W2610395280 hasConcept C199360897 @default.
- W2610395280 hasConcept C200601418 @default.
- W2610395280 hasConcept C2777904410 @default.
- W2610395280 hasConcept C31258907 @default.
- W2610395280 hasConcept C41008148 @default.
- W2610395280 hasConcept C48044578 @default.
- W2610395280 hasConcept C5119721 @default.
- W2610395280 hasConcept C77019957 @default.
- W2610395280 hasConcept C77088390 @default.
- W2610395280 hasConceptScore W2610395280C115903868 @default.
- W2610395280 hasConceptScore W2610395280C119701452 @default.
- W2610395280 hasConceptScore W2610395280C120314980 @default.
- W2610395280 hasConceptScore W2610395280C120665830 @default.
- W2610395280 hasConceptScore W2610395280C121332964 @default.
- W2610395280 hasConceptScore W2610395280C127413603 @default.
- W2610395280 hasConceptScore W2610395280C139807058 @default.
- W2610395280 hasConceptScore W2610395280C149091818 @default.
- W2610395280 hasConceptScore W2610395280C149635348 @default.
- W2610395280 hasConceptScore W2610395280C199360897 @default.
- W2610395280 hasConceptScore W2610395280C200601418 @default.
- W2610395280 hasConceptScore W2610395280C2777904410 @default.
- W2610395280 hasConceptScore W2610395280C31258907 @default.
- W2610395280 hasConceptScore W2610395280C41008148 @default.
- W2610395280 hasConceptScore W2610395280C48044578 @default.
- W2610395280 hasConceptScore W2610395280C5119721 @default.
- W2610395280 hasConceptScore W2610395280C77019957 @default.
- W2610395280 hasConceptScore W2610395280C77088390 @default.
- W2610395280 hasLocation W26103952801 @default.
- W2610395280 hasOpenAccess W2610395280 @default.
- W2610395280 hasPrimaryLocation W26103952801 @default.
- W2610395280 hasRelatedWork W1974641445 @default.
- W2610395280 hasRelatedWork W1979035461 @default.
- W2610395280 hasRelatedWork W1998284497 @default.
- W2610395280 hasRelatedWork W2071477927 @default.
- W2610395280 hasRelatedWork W2089781058 @default.
- W2610395280 hasRelatedWork W2298254653 @default.
- W2610395280 hasRelatedWork W2463704072 @default.
- W2610395280 hasRelatedWork W2464345357 @default.
- W2610395280 hasRelatedWork W2521706480 @default.
- W2610395280 hasRelatedWork W2523338773 @default.
- W2610395280 hasRelatedWork W2750840171 @default.
- W2610395280 hasRelatedWork W2799167071 @default.
- W2610395280 hasRelatedWork W2800971793 @default.
- W2610395280 hasRelatedWork W2807850479 @default.
- W2610395280 hasRelatedWork W2945599217 @default.
- W2610395280 hasRelatedWork W2970679317 @default.
- W2610395280 hasRelatedWork W3017680360 @default.
- W2610395280 hasRelatedWork W3099698644 @default.
- W2610395280 hasRelatedWork W3120587251 @default.
- W2610395280 hasRelatedWork W2595699041 @default.
- W2610395280 isParatext "false" @default.
- W2610395280 isRetracted "false" @default.
- W2610395280 magId "2610395280" @default.
- W2610395280 workType "dissertation" @default.