Architecture-based resilience evaluation for self-adaptive systems

DOI10.1007/S00607-013-0311-7MaRDI QIDQ488390zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 514032 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Foundations of component-based systems.
• Stochastic model checking

Cited in

(4)

• scientific article; zbMATH DE number 2050823 (Why is no real title available?)
• A conceptual framework for resilience: fundamental definitions, strategies and metrics
• scientific article; zbMATH DE number 1958181 (Why is no real title available?)
• Towards a component framework for architecture-based self-adaptive applications

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)