The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Performability Modeling of Distributed Systems and Its Formal Methods Representation
Abstract
A distributed system is a complex system. Developing complex systems is a demanding task when attempting to achieve functional and non-functional properties such as synchronization, communication, fault tolerance. These properties impose immense complexities on the design, development, and implementation of the system that incur massive effort and cost. Therefore, it is vital to ensure that the system must satisfy the functional and non-functional properties. Once a distributed system is developed, it is very difficult and demanding to conduct any modification in its architecture. As a result, the quantitative analysis of a complex distributed system at the early stage of the development process is always an essential and intricate endeavor. To meet the above challenge, this chapter introduces an extensive framework for performability evaluation of a distributed system. The goal of the performability modeling framework is to consider the behavioral change of the system components due to failures. This reveals how such behavioral changes affect the system performance.
Related Content
|
Sushruta Mishra, Sunil Kumar Mohapatra, Brojo Kishore Mishra, Soumya Sahoo.
© 2021.
24 pages.
|
|
Carlos Santos, Helena Inácio, Rui Pedro Marques.
© 2021.
16 pages.
|
|
Akash Chowdhury, Swastik Mukherjee, Sourav Banerjee.
© 2021.
26 pages.
|
|
Stojan Kitanov, Toni Janevski.
© 2021.
28 pages.
|
|
Ramesh C. Poonia, Linesh Raja.
© 2021.
27 pages.
|
|
Jens Kohler, Thomas Specht.
© 2021.
27 pages.
|
|
Jagdish Chandra Patni.
© 2021.
15 pages.
|
|
|