• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제15권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.