An Approach on Service Component Selection and Analysis of the Resulting System Reliability
ABSTRACT Components can be assembled based on the Service-Oriented Architecture (SOA), which allows enterprises to specify their services in a finer granularity, thus the services can be expressed in a deeper and more comprehensive manner. This paper makes use of the formal description of the service component, the Hierarchical Automata, studies the importance factors of each component and roughly categorizes them into different rankings, which reflect different component quality criteria (i.e. availability, reliability and dependability within the scope of this discussion, refer to Section 3.2), through mapping functions, and thus the appropriate components can be selected based on their importance factors and quality parameters, and then proposes an algorithm to calculate the resulting system reliability, and finally studies a case to demonstrate the selection of components and the resulting reliability.
Conference Paper: Ten Fallacies of Availability and Reliability Analysis.[Show abstract] [Hide abstract]
ABSTRACT: As modern society becomes more and more dependent on computers and computer networks, vulnerability and downtime of these systems will significantly impact daily life from both social and economic point of view. Words like reliability and downtime are frequently heard on radio and television and read in newspapers and magazines. Thus reliability and availability have become popular terms. However, even professionals are in the danger of misunderstanding these basic concepts. Such misunderstandings can hinder advances in designing and deploying high-availability and high-reliability systems. This paper delves into ten fallacious yet popular notions in availability and reliability. While the discussions on the first five fallacies clarify some misconceptions among reliability engineers working on modeling and analysis, the remaining five fallacies provide important insights to system engineers and companies focusing on system level integration.Service Availability, 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008, Proceedings; 01/2008
Conference Paper: Representing Hierarchical Automata in Interactive Theorem Provers.[Show abstract] [Hide abstract]
ABSTRACT: Hierarchical Automata represent a structured model of statecharts. They are formalized in Isabelle/HOL. The formalization is on two levels. The first level is the set-based semantics; the second level exploits the tree-like structure of the hierarchical automata to represent them using Isabelle’s datatypes and primitive recursive functions. Thereby the proofs about hierarchical automata are simplified. In order to ensure soundness of this twofold approach we define a mapping from the latter to the former representation and prove that it preserves the defining properties of hierarchical automata.Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings; 01/2001