동적인 소프트웨어 신뢰도 예측을 위한 신뢰도 패트리？ 모형 = Reliability Petri Net Models for Dynamic Software Reliability Prediction Analysis

국문 초록 (Abstract)

본 논문은 소프트웨어 개발 초기단계(모형화 단계)부터 적용할 수 있는 동적인 신뢰도 예측 방법론에 대하여 다룬다.
기본의 신뢰도 예측 모형들은 대부분 소프트웨어 고장 트리, 신뢰도 블럭 다이어그램, 모듈 그래프와 같은 컴비나토리얼 형태의 모형이며 이들은 복잡한 동시처리, 임베드 및 고장 인성 소프트웨어 동적인 신뢰도 예측에는 부적합하다.
이러한 단점을 극복하기 위해 본 논문에서는, 성능 평가를 목적으로 패트리넬의 트랜지션의 점화규칙을 확장한 형태인 Condition Event Net, Timed Petri Net(TPN) 및 Stochastic Petri Net(SPN)을 신뢰도 예측에 적합하도록 확장 수정한 Reliability Petri Net(RPN), Reliability Timed Petri Net(RTPN) 및 Reliability Stochastic Petri Net(RSPN)을 정의하여 소프트웨어 개발중 모형화 단계부터 성능평가와 함께 동적인 신뢰도를 평가할 수 있게 하였다.

다국어 초록 (Multilingual Abstract)

In this paper we discuss Reliability Petri Net model for dynamic software reliability prediction.
Combinatorial typed models (such as software fault tree, reliability block diagram, module graph and directed acyclic graph) are not suitable for dynamic reliability predictions of the embedded, concurrent, parallel and fault tolerant softwares. For this problem, we propose Reliability Petri Net (RPN), Reliability Timed Petri Net (RTPN) and Reliability Stochastic Petri Net (RSPN), which are modification of Condition Evnet Net. Timed Petri Net (TPN) and Stochastic Petri Net (SPN) respectively. The TPN and SPN are suitable for performance analysis of complex systems. Using the RPN, RTPN and RSPN models, we can predict dynamic software reliability and performance in the modeling phase of a software development.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 신뢰도 패트리？ 모형
• 3. 신뢰도 예측
• 4. 검토 및 결론
• 참고문헌
• 저자소개