Skip to Main Content
In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of client-server system which components exchange data by means of connectionless protocol. For several deployment configuration of the system, we calculate reliability of UDP echo service.
Date of Conference: June 30 2009-July 2 2009