• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.279-300
• /
• 2012

Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting, and handling complex exceptions. This is because the possible erroneous conditions in pervasive systems are more complicated than conditions found in traditional applications. We devised a novel exception description and detection mechanism based on "situation"- a novel extension of context, which allows programmers to devise their own handling routines targeting sophisticated exceptions. This paper introduces the syntax of a language support that empowers the expressiveness of exceptions and their handlers, and suggests an implementation algorithm with a straw man analysis of overhead.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.457-459
• /
• 2000

최근 이동단말기나 PDA, 스마트폰과 같은 정보기기나 디지털 가전기기의 사용이 증대됨에 따라, ARM코어 시스템을 기반으로 하는 프로세서와 이를 운영하기 위한 소프트웨어 수요도 증가하고 있다. 본 논문은 프로세서를 운영하기 위한 소프트웨어 중에서 예외처리를 위한 일반적인 인터럽트 제어를 다룬다. ARM 시스템 상에서 임의의 주변 장치(타이머/카운터)에 의해 발생하는 인터럽트 처리 과정과 예외처리를 제어하기 위한 벡터 테이블을 구성하는 방법에 대해 분석한다. 그리고 인터럽트를 처리하는 인터럽트 코드부분과 벡터 테이블내의 인터럽트의 상호 연관성에 대해 논의한다.

• Proceedings of the CALSEC Conference
• /
• 2003.09a
• /
• pp.109-114
• /
• 2003

WS-BPMS(web service driven business process management system)은 기업 내 또는 비즈니스 파트너들 간의 비즈니스 프로세스를 체계적으로 통합, 관리하여 프로세스를 개선하고 자동화한다. 이는 비즈니스 프로세스를 검색한 후 BPEL4WS, BPML 등의 프로세스 메타모델을 이용하여 새 프로세스를 디자인하고 BPMS위에 전개 실행하는 과정을 거치게 된다. 디자인된 프로세스는 복잡하여 그 실행에 있어 체계적이고 확고한 기반을 바탕으로 운영되어야 한다. 이를 위해 본 논문에서는 BPMS의 운영에 있어 pi-calculus를 기반으로 한 structured exception handling 방법론과 transaction 모니터링을 통한 backward recovery 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.349-351
• /
• 2001

워크플로우 시스템을 위한 이동 에이전트 시스템에서 네트웍의 분리는 워크플로우 수행을 어렵게 하며, 특히 시간제약이 부여된 워크플로우의 경우 문제의 심각성을 더욱 크게 한다. 본 논문에서는 워크플로우를 위한 이동 에이전트시스템에서 발생할 수 있는 네트웍 분리문제에 대처하기 위한 방안을 제시한다. 네트웍 분리에 의해 발생할 수 있는 문제를 에이전트 고립과 노드의 고립으로 나누었으며, 각각의 문제에 대한 해결책으로 에이전트의 복제와 에이전트 속성에 기반한 이동경로변경을 사용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.482-486
• /
• 2010

Continuation은 운영체제의 실행 흐름을 최적화 하기 위한 수단으로 사용되어 왔다. 특히 Continuation을 이용하면 스택의 내용 없이, 특정 시점 이후의 프로세스의 연산을 그대로 수행 할 수 있는 장점을 가지고 있다. 하지만 이와 같이 스택에 저장된 정보를 사용하지 않을 경우 구조화된 예외 처리 방법(SEH)을 사용하는 운영체제에서는 Continuation을 바로 적용하기에 어려움이 존재한다. 이러한 문제를 해결하기 위해, SEH를 위해 함수에서 수정한 스택의 내용을 저장해 두었다가 Continuation이 끝나고 스택을 복원하여 SEH가 올바르게 실행 되도록 하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.5
• /
• pp.355-359
• /
• 2009

When an unexpected software exception arises, we programmers are to analyze what causes it. Precisely speaking, we need to analyze the cause and property of the unexpected exception. But if exceptions arise irregularly from unknown causes, it is even more difficult for us to handle them, especially in embedded system like mobile phone software development. In this paper, we propose a debugger-friendly analyzing method for exceptions using aspect oriented programming technique. What we need to know upon arising exceptions is the function call history in order to identify the reason for the exceptions. Since programmers used to spend their debugging time on unidentified exceptions, which arise irregularly our method would greatly improve the embedded software development productivity.

• Journal of the Korean Institute of Gas
• /
• v.27 no.3
• /
• pp.108-115
• /
• 2023

Although hydrazine is an excellent liquid propellant, caution is required during storage and handling due to its high toxicity and reactivity. Safety guidelines should be established in consideration of the chemical reactivity by unintended leakage. In this study, the status of hydrazine facilities at launch site and safety standards for storing and handling were investigated and then, the reactivity between chemicals and hydrazine was analyzed. As a result of the analysis, hydrazine has reactivity with the exception of fuel oil. This paper emphasizes the imperative nature of constructing a dedicated hydrazine storage facility. Ensuring compatibility between hydrazine and the materials used in storage containers and handling equipment is crucial to prevent undesired reactions that could compromise safety. It was intended to be used as basic data to secure the range safety when handling hydrazine.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.342-356
• /
• 2000

We present a static analysis method to automatically generate test data that raise exceptions in input programs. Using the test data from our analysis, a programmer can check whether the raised exceptions are correctly handled with respect to the program's specification. For a given program, starting from the initial constraint that a particular raise expression should be executed, our analysis derives necessary constraints for its input variable. Correctness of our analysis assures that any value that satisfies the derived constraints for the input variable will activate the designated raise expression. In this paper, we formally present such an analysis for a first-order language with the ML-style exception handling constructs and algebraic data values, prove its correctness, and show a set of examples.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.39 no.4
• /
• pp.72-80
• /
• 2016

The market size of plant projects in overseas is so large that domestic EPC project contractors are actively seeking the overseas projects and then trying to meet completion plans since successful fulfillment of these projects can provide great opportunities for them to expand into new foreign markets. International EPC projects involve all of the uncertainties common to domestic projects as well as uncertainties specific to foreign projects including marine transportation, customs, regulations, nationality, culture and so on. When overseas project gets off-schedule, the resulting uncertainty may trigger unexpected exceptions and then critical effects to the project performance. It usually require much more time and costs to encounter these exceptions in foreign sites compared to domestic project sites. Therefore, an exception handling approach is required to manage exceptions effectively for successful project progress in foreign project sites. In this research, we proposed a methodology for prediction and evaluation of exceptions caused by risks in international EPC projects based on sensitivity analysis and Bayesian Networks. First, we identified project schedule risks and related exceptions, which may meet during the fulfillment of foreign EPC projects that is performed in a sequence of engineering, procurement, preparatory manufacture, foreign shipping, construction, inspection and modification activities, and affect project performance, using literature review and expert interviews. The impact of exceptions to the schedule delay were also identified. Second, we proposed a methodology to predict the occurrence of exceptions caused by project risks and evaluate them. Using sensitivity analysis, we can identify activities that critically affect schedule delay and need to focus by priority. Then, we use Bayesian Networks to predict and evaluate exceptions. Third, we applied the proposed methodology to an international EPC project example to validate the proposed approach. Finally, we concluded the research with the further research topics. We expect that the proposed approach can be extended to apply in exception management in project management.

• Journal of Korea Port Economic Association
• /
• v.32 no.3
• /
• pp.109-122
• /
• 2016

As increasing of container throughputs, port business market in Korea has been developed. However, due to the introducing of a handling fee reporting system in 1999 and surplus of facilities, port business market in Korea turned into deadly competition with lowering the handling fee. Due to the reasons, the handling fee in 2015 declined as much as 50% of in 2000. Therefore, this study analyzed whether the handling fee decline caused consumer surplus in the port business market of Korea or not. To do that, this study applied a methodology of Alexander for estimating the consumer surplus and Hausman's model using Hicksian demand. As the result of the analyzing, due to the excessive decreasing of the handling fee compared the import & export demand, consumer surplus of the port business market in Korea was decreased. However, due to the exception of transshipment from demand in this study, transshipment demand is needed to be considered to estimate of economic value of port business market in Korea in the future. Also, economic value of port business including subsidiary businesses will be estimated in order to strengthen the method for estimating economic benefit of port construction.