Reliability assessment for distributed systems via communication abstraction and refinement

• المؤلفون الرئيسيون: GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2015
• الموضوعات: MDPs; reliability assessment; probabilistic model checking; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4955; https://ink.library.smu.edu.sg/context/sis_research/article/5958/viewcontent/2771783.2771794.pdf

Distributed systems like cloud-based services are ever more popular. Assessing the reliability of distributed systems is highly non-trivial. Particularly, the order of executions among distributed components adds a dimension of non-determinism, which invalidates existing reliability assessment metho...