Verification based decision-making for self-adaptive systems: a model-driven approach

DOI10.13328/J.CNKI.JOS.005257MaRDI QIDQ4640959zbMATH OpenFDO

Authors Zhuo-Qun Yang, Zhi Jin

Publication date 25 May 2018

zbMATH Keywords

optimal decision-makingself-adaptive systemrequirements verificationrequirements modelingmodel-driven

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Reliability, availability, maintenance, inspection in operations research (90B25) Adaptive control/observation systems (93C40)

Recommendations

• scientific article; zbMATH DE number 1958165
• Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
• scientific article; zbMATH DE number 1958166
• A formal approach to adaptive software: continuous assurance of non-functional requirements
• Model-based dependable composition of self-adaptive systems

Cited in

(7)

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• scientific article; zbMATH DE number 1958166 (Why is no real title available?)
• Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration
• Model-based dependable composition of self-adaptive systems
• A formal approach to adaptive software: continuous assurance of non-functional requirements
• scientific article; zbMATH DE number 1958165 (Why is no real title available?)
• Architecture-based resilience evaluation for self-adaptive systems

This page was built for publication: Verification based decision-making for self-adaptive systems: a model-driven approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4640959)