Assurance of dynamic adaptation in distributed systems

DOI10.1016/J.JPDC.2008.02.005zbMath1243.68209OpenAlexW2065460291MaRDI QIDQ436856

Sandeep S. Kulkarni, Karun N. Biyani

Publication date: 26 July 2012

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpdc.2008.02.005

zbMATH Keywords

verificationcorrectnessfault-tolerancespecificationassurancedynamic adaptation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (5)

Synthesizing structural and behavioral control for reconfigurations in component-based systems ⋮ Assurance of dynamic adaptation in distributed systems ⋮ Formal modeling of evolving self-adaptive systems ⋮ Development of global specification for dynamically adaptive software ⋮ A White Box Perspective on Behavioural Adaptation

Cites Work

• Assurance of dynamic adaptation in distributed systems
• Verification of evolving software via component substitutability analysis
• Defining liveness
• The theorem of E. Hopf under uniform magnetic fields
• The Conic toolkit for building distributed systems
• Proving Liveness Properties of Concurrent Programs
• Self-stabilizing systems in spite of distributed control
• Distributed reset
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Assurance of dynamic adaptation in distributed systems