Assurance of dynamic adaptation in distributed systems

DOI10.1016/J.JPDC.2008.02.005MaRDI QIDQ436856zbMATH OpenOpenAlexFDO

Authors Karun N. Biyani, Sandeep S. Kulkarni

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

verificationfault-tolerancespecificationcorrectnessassurancedynamic adaptation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1728497
• scientific article; zbMATH DE number 2089408
• scientific article; zbMATH DE number 2087292
• Synthesizing structural and behavioral control for reconfigurations in component-based systems
• scientific article; zbMATH DE number 2089385

Cites work

• scientific article; zbMATH DE number 1629831 (Why is no real title available?)
• scientific article; zbMATH DE number 2089385 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• Assurance of dynamic adaptation in distributed systems
• Defining liveness
• Distributed reset
• Proving Liveness Properties of Concurrent Programs
• Self-stabilizing systems in spite of distributed control
• The Conic toolkit for building distributed systems
• The theorem of E. Hopf under uniform magnetic fields
• Verification of evolving software via component substitutability analysis

Cited in

(5)

• Formal modeling of evolving self-adaptive systems
• Synthesizing structural and behavioral control for reconfigurations in component-based systems
• Assurance of dynamic adaptation in distributed systems
• Development of global specification for dynamically adaptive software
• A white box perspective on behavioural adaptation

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

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