Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783704528> ?p ?o ?g. }
- W2783704528 endingPage "248" @default.
- W2783704528 startingPage "223" @default.
- W2783704528 abstract "Providing assurance that self-adaptive software meets its dependability, performance and other quality-of-service (QoS) requirements is a great challenge. Recent approaches to addressing it use formal methods at runtime, to drive the reconfiguration of self-adaptive software in provably correct ways. One approach that shows promise is runtime quantitative verification (RQV), which uses quantitative model checking to reverify the QoS properties of self-adaptive software after environmental, requirement and system changes. This reverification identifies QoS requirement violations and supports the dynamic reconfiguration of the software for recovery from such violations. More importantly, it provides irrefutable assurance evidence that adaptation decisions are correct. In this paper, we survey recent advances in the development of efficient RQV techniques, the application of these techniques within multiple domains and the remaining research challenges." @default.
- W2783704528 created "2018-01-26" @default.
- W2783704528 creator A5011374280 @default.
- W2783704528 creator A5031145902 @default.
- W2783704528 creator A5055440630 @default.
- W2783704528 creator A5065495068 @default.
- W2783704528 date "2017-01-01" @default.
- W2783704528 modified "2023-10-16" @default.
- W2783704528 title "Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software" @default.
- W2783704528 cites W127306328 @default.
- W2783704528 cites W1532041863 @default.
- W2783704528 cites W1559540003 @default.
- W2783704528 cites W1600556058 @default.
- W2783704528 cites W1608455964 @default.
- W2783704528 cites W1667182463 @default.
- W2783704528 cites W1850679117 @default.
- W2783704528 cites W1862398452 @default.
- W2783704528 cites W1898469110 @default.
- W2783704528 cites W1963894531 @default.
- W2783704528 cites W1967755445 @default.
- W2783704528 cites W1971908606 @default.
- W2783704528 cites W1974641445 @default.
- W2783704528 cites W1977321274 @default.
- W2783704528 cites W1990911977 @default.
- W2783704528 cites W1998284497 @default.
- W2783704528 cites W2015736851 @default.
- W2783704528 cites W2016976222 @default.
- W2783704528 cites W2023721993 @default.
- W2783704528 cites W2028622255 @default.
- W2783704528 cites W2028827800 @default.
- W2783704528 cites W2034225360 @default.
- W2783704528 cites W2039568153 @default.
- W2783704528 cites W2040030484 @default.
- W2783704528 cites W2041226400 @default.
- W2783704528 cites W2043253283 @default.
- W2783704528 cites W2045480369 @default.
- W2783704528 cites W2057124872 @default.
- W2783704528 cites W2057143752 @default.
- W2783704528 cites W2075813176 @default.
- W2783704528 cites W2076449438 @default.
- W2783704528 cites W2090321427 @default.
- W2783704528 cites W2104851058 @default.
- W2783704528 cites W2110836109 @default.
- W2783704528 cites W2111765806 @default.
- W2783704528 cites W2112790424 @default.
- W2783704528 cites W2113113866 @default.
- W2783704528 cites W2113453155 @default.
- W2783704528 cites W2116769849 @default.
- W2783704528 cites W2127414233 @default.
- W2783704528 cites W2130025446 @default.
- W2783704528 cites W2133859873 @default.
- W2783704528 cites W2141738327 @default.
- W2783704528 cites W2141880113 @default.
- W2783704528 cites W2142486130 @default.
- W2783704528 cites W2146044140 @default.
- W2783704528 cites W2146298624 @default.
- W2783704528 cites W2149614712 @default.
- W2783704528 cites W2150189917 @default.
- W2783704528 cites W2154796631 @default.
- W2783704528 cites W2161809262 @default.
- W2783704528 cites W2162429446 @default.
- W2783704528 cites W2170665731 @default.
- W2783704528 cites W2243696877 @default.
- W2783704528 cites W2267833771 @default.
- W2783704528 cites W2294981642 @default.
- W2783704528 cites W2410243683 @default.
- W2783704528 cites W2467435924 @default.
- W2783704528 cites W2987907651 @default.
- W2783704528 cites W3142641116 @default.
- W2783704528 cites W3149068867 @default.
- W2783704528 cites W4229723544 @default.
- W2783704528 cites W4229815554 @default.
- W2783704528 cites W4230027996 @default.
- W2783704528 cites W4238064072 @default.
- W2783704528 cites W50880462 @default.
- W2783704528 cites W801180006 @default.
- W2783704528 cites W82172290 @default.
- W2783704528 doi "https://doi.org/10.1007/978-3-319-74183-3_8" @default.
- W2783704528 hasPublicationYear "2017" @default.
- W2783704528 type Work @default.
- W2783704528 sameAs 2783704528 @default.
- W2783704528 citedByCount "8" @default.
- W2783704528 countsByYear W27837045282019 @default.
- W2783704528 countsByYear W27837045282020 @default.
- W2783704528 countsByYear W27837045282021 @default.
- W2783704528 countsByYear W27837045282022 @default.
- W2783704528 countsByYear W27837045282023 @default.
- W2783704528 crossrefType "book-chapter" @default.
- W2783704528 hasAuthorship W2783704528A5011374280 @default.
- W2783704528 hasAuthorship W2783704528A5031145902 @default.
- W2783704528 hasAuthorship W2783704528A5055440630 @default.
- W2783704528 hasAuthorship W2783704528A5065495068 @default.
- W2783704528 hasConcept C105795698 @default.
- W2783704528 hasConcept C106436119 @default.
- W2783704528 hasConcept C111498074 @default.
- W2783704528 hasConcept C111919701 @default.
- W2783704528 hasConcept C115903868 @default.
- W2783704528 hasConcept C119701452 @default.