• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.771-772
• /
• 2008

위성을 개발하고 운영하는 과정에서 다양한 소프트웨어 문제가 발생할 수 있다. 특히 각 모듈을 제작하고 연결하여 테스트를 진행할 경우 각 모듈 자체의 이상이나 통합 환경에서 각 모듈간 인터페이스에서 많은 문제가 발생하게 된다. 이러한 문제를 빨리 파악하고 해결하기 위해 위성에서 어떤 문제가 발생하였는지 각각의 오류에 대한 정의를 하고 이를 기록하는 작업이 필요하다. 본 논문에서는 위에 언급한 작업의 하나로 SET(Software Error Table) 와 SEW(Software Error Word)를 이용하여 위성에서 발생하는 소프트웨어 오류 처리 방안에 대해 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1119-1122
• /
• 2008

본 논문에서는 세션 초기 프로토콜(SIP: Session Initiation Protocol)에서 멀티미디어 응용 개발 프레임워크를 위한 네스티드 세션 관리에서의 오류 제어 방식에 대하여 기술한다. 네스티드 세션이란 하나의 부모 세션 아래에 여러 개의 자식 세션이 존재하는 것을 말한다. 제안하고자 하는 오류 제어는 오류 중에서 소프트웨어 오류인 경우에만 복구할 수 있으며 먼저 메시지와 스택을 이용하여 세션 초기 프로토콜 기반 네스티드 세션에서 검사점 설정(check point)을 한 후에 오류 감지 발생하면 그 검사점까지 되돌아서 재 수행하는 방식을 제안한다.

• Journal of Digital Convergence
• /
• v.11 no.12
• /
• pp.319-326
• /
• 2013

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. It is shown that it is possible to do asymptotic likelihood inference for software reliability models based on infinite failure model and non-homogeneous Poisson Processes (NHPP). Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, we proposed a control mechanism based on NHPP using mean value function of logarithmic hazard learning effects property.

• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.59-67
• /
• 2011

This paper proposes a model to analyze the fault factors of air-to-ground weapon delivery utilizing software fault localization methods. In the previous study, to figure out the factors to affect the accuracy of air-to-ground weapon delivery, the FBEL (Factor-based Error Localization) method had been proposed and the fault factors were analyzed based on the method. But in the study, the correlation between weapon delivery accuracy and the fault factors could not be revealed because the firing accuracy among several factors was fixed. In this paper we propose a more precise fault analysis model driven through a study of the correlation among the fault factors of weapon delivery, and a method to estimate the possibility of faults with the limited number of test cases utilizing the model. The effectiveness of proposed method is verified through the simulation utilizing real delivery data. and weapons delivery testing in the evaluation of which element affecting the accuracy of analysis that was available to be used successfully.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.327-330
• /
• 2004

테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.220-223
• /
• 2008

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키데 목적을 두고 있다. 또한 소프트웨어 설계 방법론인 MOA(Methodology for Object to Agents)를 기초로 하고 있으며, MOA는 보편적인 정보 모델로써 온톨로지 기반 모델인 OSSD( Ontology for Sortware Specification and Desigh)모델을 이용한다. 본 논문은 OSSD 모델, 뷰-간 비일관성 검사기법, 일관성 프레임워크의 온톨로지적 특성과 연관된 규칙의 조합을 이용하여 UML모델에서 OSSD 모델로의 변환과정에서 수행되는 새로운 형식의 오류 검출방법을 정의한다. OSSD 모델로의 변환과정은 OSSD 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.497-500
• /
• 2016

최근 임베디드 소프트웨어의 신뢰성과 안전성을 보장하기 위하여 코딩룰인 MISRA-C를 자동차 뿐만 아니라 군사, 의료 분야등 광범위한 분야에서 이용하고 있다. 하지만 MISRA-C가 자동차 시스템분야의 MISRA 가이드를 이용하여 개발되었기 때문에 타 분야의 분야별 특성을 모두 고려하지 못한다는 문제점이 제시되고 있다. 따라서 본 논문에서는 향후 의료기기 분야의 특성을 고려한 코딩룰을 제시하기에 앞서, 의료기기 소프트웨어에서의 코딩룰 필요성을 제시한다. 이를 위해 개발 단계의 의료기기 소스코드에 MISRA-C를 적용하여 정적 분석을 해보고, 적용 유무 따른 실행시간 오류 결과를 분석한다. 분석 결과, 코딩룰을 이용하면 실질적으로 실행시간 오류 발생을 막을 수 있고, 적용 과정에서 기타 다른 실행시간 오류들 또한 해결됨을 확인하였다. 위 결과로 본 논문에서는 의료 분야의 특성을 고려한 특화 코딩룰의 필요성을 제시한다.

• Journal of Software Assessment and Valuation
• /
• v.15 no.2
• /
• pp.95-100
• /
• 2019

In this paper, we propose a simple hardware reporting method for errors in soft-RAID systems of Linux OS. Compared with other reporting methods, the proposed method displays error status intuitively without any additional access process such as log-in process or home-page access. In particular, the server actively displays the error status, so the administrator can take immediate action. In order to confirm the effectiveness of the proposed method, the experimental circuit was constructed and the experimental results showed that the error was actively displayed when an error occurred in the storage device. As such, a soft-RAID system can perform almost the same function as a hardware RAID system, thereby ensuring server data reliability at low cost.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1694-1697
• /
• 2010

지능형 빌딩 시스템은 빌딩을 운영하는 다양한 단위시스템 정보를 통합하여 빌딩 거주자에게 쾌적하고, 안전한 생활을 할 수 있도록 운영하는 시스템을 말한다. 하드웨어적인 방법은 단위시스템에 비례하게 비용이 증가하는 단점이 있다. 소프트웨어적인 방법은 하나의 서버에서 정보를 수집하기 때문에 단위시스템에 통신량 증가로 인한 오류가 발생하면 전체 시스템에 영향을 미치는 단점을 가지고 있다. 본 논문에서는 소프트웨어적인 방법의 단점을 개선하기 위해서 부하 및 오류를 격리화할 수 있는 가상화를 이용하여 통합 관리 시스템과 인터페이스 관리 시스템으로 운영한다. 시스템의 구조는 통합 관리 모듈, 가상 관리 모듈, 구성 관리 모듈, 그리고 단위시스템 관리 모듈로 분리되며 제안 시스템을 사용함으로써 인터페이스 관리 시스템에서 발생하는 오류 및 부하로 인한 전체 시스템 오류를 축소시킬 수 있다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.379-388
• /
• 1997

새로운 소프트웨어를 개발할 때에 이미 개발되어진 소프트웨어를 재사용 함으로써 얻을 수 있는 장점은 많다. 그 중에서 이미 검증된 소프트웨어를 사용함으로써, 오류가 감 소됨에 따라 고품질의 소프트웨어를 생산할 수 있고, 소프트웨어의 개발비용을 생산성을 향 상시킬 수 있다. 본 논문에서는 소프트웨어를 재사용 함으로써 소프트웨어 개발 시에 사용 되는 비용과 생산성을 상대 비교해서, 소프트웨어 개발에 소요되는 비용과 생산성의 관계를 나타내는 새로운 모형과 예를 제시하고 있다. 또한 소프트웨어 재사용시에 개발기관과 총인 월에 대한 생산성을 COCOMO 모형을 사용해 규명하고 있다.