• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.1
• /
• pp.120-127
• /
• 2011

Checkpointing is one of common methods of realizing fault-tolerance for real-time systems. This paper presents a scheme to determine checkpoint intervals using probabilistic optimization. The considered real-time systems comprises multiple tasks in which transient faults can happen with a Poisson distribution. Also, multi-tasks are scheduled by the non-preemptive Rate Monotonic (RM) algorithm. In this paper, we present an optimization problem where the probability of task completion is described by checkpoint numbers. The solution to this problem is the optimal set of checkpoint numbers and intervals that maximize the probability. The probability computation includes schedulability test for the non-preemptive RM algorithm with respect to given numbers of checkpoint re-execution. A case study is given to show the applicability of the proposed scheme.

• The Journal of Information Systems
• /
• v.15 no.3
• /
• pp.1-34
• /
• 2006

The purpose of this study Is to develop empirically validated instrument for business model. The previous researches related to business model were almost taxonomies. And the focus of those researches were the classification by the degree of integration and innovation the origin, and the main source of revenue etc. In the emerging fields such as IT, e-commerce, and e-business, it tends to overlook methodological issue in its substantive relationships and also measurement. Business model is taken an interest in recent years. However, as the non-establishment of construct on business model has made no empirical study, this, study tries to develop an empirical validated instrument that identifies the dimensions of business model by uncovering meaningful group or categories. For this, the outlined domain of business model are defined as an organizational level that competes in the industry through the literature reviews. And the traits such as process integration, value chain reconstruction, strategic alliance with another business model, specialty in a certain wet sustainability of essential capabilities, differentiation, convertibility, customer orientation, revenue stream, newness, innovation leadership: and vision sharing are identified in those respective domains, and then the traits are classified into five dimensions such as interlinkageableness, valueness, functionalness, preemptiveness, and goalness by their characteristics. Generating items are continued on the basis of operationalization. Confirmatory factor analysis is performed in order to develop validated instrument with LISREL measurement model. Finally the instrument is developed through the previous procedure. The implication of this study is the first empirical effort to assess business model. The resulting instrument can be used with dependent variables in the future study related to business model. And the establishment of construct of business model is able to make a basis to rise an additional issue consequently. In the practical side, the instrument also can be employed as an assessment framework that can assess whether the expected value success or not. The instrument with the measurement can be used on competitor's business model, In. When an investment into a i-m with a specific business model, these instrument developed can be presented as the basic framework of assessment.