Architecture-based resilience evaluation for self-adaptive systems

DOI10.1007/S00607-013-0311-7zbMATH Open1314.68104OpenAlexW2062877251WikidataQ62040629 ScholiaQ62040629MaRDI QIDQ488390FDOQ488390

Authors: Javier Cámara, Rogério De Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura 

Publication date: 26 January 2015

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/40556/1/10.1007_s00607-013-0311-7.pdf

Recommendations

• Towards a component framework for architecture-based self-adaptive applications
• scientific article; zbMATH DE number 1958165
• Model-based dependable composition of self-adaptive systems
• Verification based decision-making for self-adaptive systems: a model-driven approach
• scientific article; zbMATH DE number 2087292

zbMATH Keywords

resiliencearchitecture-based approachself-adaptive software systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Foundations of component-based systems.
• Stochastic model checking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Modeling and Analysis of Timed Systems

Cited In (4)

• Towards a component framework for architecture-based self-adaptive applications
• Title not available (Why is that?)
• A conceptual framework for resilience: fundamental definitions, strategies and metrics
• Title not available (Why is that?)

This page was built for publication: Architecture-based resilience evaluation for self-adaptive systems

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