• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.7
• /
• pp.500-504
• /
• 2009

A reliability of software is a type of nonfunctional requirement. Traditionally, a validation of the reliability is processed at the integration phase in software development life cycle. However, it increases the cost and the risk for the development. In this paper, we propose reliability analysis method based on mathematical analytic model at the architecture design phase of the development process as follows. First, we propose the software modeling methodology for reliability analysis using Hierarchical combined Queueing Petri Nets(HQPN). Second, we derive the Markov Reward Model from the HQPN based model. We apply our approach to the video conference system to verify the usefulness of our approach. Our approach supports quantitative evaluation of the reliability.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.3
• /
• pp.268-274
• /
• 2007

In general, rocket or satellite circuit designers focus on reducing temperature of electronic devices in order to enhance electronic unit's reliability. This paper describes the quantitative analysis result of activation energy as well as device temperature effects to the system reliabilities. The quantitative analysis result shows that activation energy of device has more effects on system reliability than temperature does. And this paper suggests a strategy for enhancement of reliability during devices placement on PCB with simulation results.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.16_17
• /
• 2009

지능형 배전망을 추구하기 위해 본 논문에서는 배전계통의 루프 구성과 방사상의 보호협조 방법을 수정한 새로운 루프구성에 대한 보호협조를 제안하였다. 그리고 배전 자동화가 되어 있다는 전제 하에서 제안된 보호협조 방법을 토대로 방사상 계통과 방사상 보호협조를 그대로 적용한 루프 배전계통, 마지막으로 제안된 보호협조 방법을 적용된 루프 계통에 대한 신뢰도 이득을 분석하였다.

• The KIPS Transactions:PartB
• /
• v.8B no.4
• /
• pp.365-372
• /
• 2001

본 논문에서는 품사 태깅 시스템에서 신뢰도 측정 방법에 대해서 기술한다. 품사 태깅 시스템의 신뢰도는 품사 태깅 결과에 오류가 포함되지 않을 확률이다. 일반적으로 신뢰도 측정은 오류확률에 기반한다. 정확한 오류확률을 추정하기 위해서는 일반적으로 품사 태깅 시스템에서 사용되는 말뭉치보다 훨씬 더 많은 양의 말뭉치가 필요하다. 이 문제를 다소 완화시키기 위해서, 본 논문에서는 좀더 정확한 오류확률 추정하기 위해 교차확인 방법을 이용한다. 본 논문에서 사용된 품사 태깅 시스템은 시험말뭉치에 대해서 61%의 신뢰도를 보였다. 이는 한국어 문장의 형태소 수가 평균 20개이고, 품사 태깅 시스템의 정확률이 97.5%일 때의 신뢰도에 해당한다. 본 논문에서 사용된 품사 태깅 시스템이 미등록어가 없을 경우에 97.68%의 정확률을 보이므로 제안된 신뢰도 측정 방법이 어느 정도 타당함을 알 수 있었다. 제안된 신뢰도 측정 방법은 구문분석, 정보검색 등 여러 분야에 응용이 가능할 것이며, 본 논문에서는 품사태깅의 오류검출에 적용해보았다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.04a
• /
• pp.153-160
• /
• 2000

현장 클레임 데이터는 제품의 불량이 어디에서 발생하는지 그리고 어떻게 개선해야 하는지를 가르쳐 주는 동시에 이를 이용하여 사용환경에서 제품의 신뢰성을 분석할 수 있는 소중한 자료이다. 본 연구에서는 클레임 데이터를 이용한 신뢰성 분석 방법을 바탕으로 주방용 전자기기의 하나인 가스오븐레인지(GOR)의 신뢰성 분석 절차를 구축하고 이를 적용하여 평균수명 등의 신뢰성 관련 제품 특성치를 분석하고자 한다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.383-385
• /
• 2008

본 논문은 헤드스페이스 추출에 의한 절연유중 가스분석 결과의 정확도 향상을 위해 여러 가지 인자들을 고려하였으며, 진단결과의 신뢰도 향상을 위해 표준절연유를 직접 제조하여 이에 의한 교정을 통해 분석법의 진단 신뢰도 향상을 제고하였다. 기존의 추출율이 높은 토플러 추출방법에 대한 결과와 Headspace 분석법에 의한 결과를 각각 비교하고, Headspace 추출법에 의한 결과의 정확도 향상을 위해 여러가지 인자들을 고려하였다. 향후 최적 조건을 수립하여 수은에 의한 인체 유해성이 없는 Headspace 분석법으로의 전환을 모색하고자 한다.

• Journal of the Korean Institute of Gas
• /
• v.6 no.1 s.17
• /
• pp.66-73
• /
• 2002

In this study a new SIS evaluation method based on the reliability analysis has been developed. It evaluates the Safety Integrity Level (SIL) using the Fault Tree Analysis (FTA), and when the SIL falls short of the systems target level, through the reliability analysis and system retrofit, this method will satisfy the aimed SIL. A hazard evaluation was carried out on the 415V Diesel BUS to verify the SIL evaluation method based on the reliability analysis. The availability of the original 415V Diesel BUS was $99.40\%$, which comes under the category of SIL 2. After exchanging the diesel generator and the isolator switch using the developed evaluation method, the availability rose to $99.94\%$, SIL 3. By applying the method presented in this study, not only will it reduce the maintenance cost due to the prevention of accidents and reduction of loss, but also maximize the reliability of the system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.133-135
• /
• 2005

원자력발전소의 정량적 위험성 평가를 위해서 확률론적 안정성 평가 기법이 이용되고 있다. 확률론적 안전성 평가를 수행하기 위해서는 여러 가지 분야의 다양한 신뢰도 데이터가 필요한데, 이를 위한 각종의 신뢰도 자료 중에 인간의 지각 행위 및 수행 행위로부터 발생하는 인적 오류 확률은 그 특성상 실질적이 오류 확률을 얻기가 매우 어렵다. 그래서 인적 오류 확률을 구하기 위해서는 인간 신뢰도 분석분야의 전문가들이 제안한 인간 신뢰도 분석 방법을 이용하여 인적 오류 확률을 추정한다. 한국 원자력 연구소에서는 이를 위해 인간의 지각 및 수행 행위에서 야기되는 인간 오류 사건을 관리하고 인적 오류 확률을 추정하기 위한 인간 신뢰도 분석 시스템을 개발하고 있다. 본 연구에서는 인간 신뢰도 분석 시스템의 개발 과정 및 데이터베이스 설계 그리고 입출력 시스템의 설계에 관하여 기술하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.112-114
• /
• 2006

원자력발전소의 정량적 위험성 평가를 위해서 확률론적 안정성 평가 기법이 이용되고 있는데, 이를 위해서는 여러 가지 분야의 다양한 신뢰도 데이터가 필요하다. 이러한 신뢰도 자료 중에 인간의 지각 행위 및 수행 행위로부터 발생하는 인적 오류 확률은 그 특성상 실질적이 오류 확률을 얻기가 매우 어렵다. 그래서 인적 오류 확률을 구하기 위해서는 인간 신뢰도 분석 분야의 전문가들이 제안한 인간 신뢰도 분석 방법을 이용하여 인적 오류 확률을 추정한다. 한국 원자력 연구소에서는 이를 위해 인간의 지각 및 수행 행위에서 야기되는 인간 오류 사건을 관리하고 인적 오류 확률을 추정하기 위한 인간 신뢰도 분석 시스템을 개발하고 있다. 본 연구에서는 인간 신뢰도 분석 시스템의 개발 과정에 관하여 기술하였다.