• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.454-456
• /
• 2000

다른 여느 분야의 소프트웨어 개발 분야보다도 형상관리의 필요성의 나타나는 분야로 위성탑재 소프트웨어 분야를 꼽을 수 있는데 이는 위성소프트웨어의 기본적인 특성에 기인한다고 볼 수 있다. 위성 탑재 소프트웨어는 여느 소프트웨어보다도 그 신뢰성을 중시하고 있으며 이러한 신뢰성은 개발 과정상의 잘 정의되어진 형상관리에 있다. 본 논문에서는 아리랑 위성 탑재 소프트웨어 개발에 과정에서의 형상관리 방법 및 절차를 기술하였으며 이러한 형상관리하에 아리랑 위성 탑재 소프트웨어는 개발되고 위성에 탑재되어 그 임무를 훌륭히 수행하고 있다. 이 논문을 통해서 고도의 신뢰성을 요구하는 소프트웨어 개발에 있어서의 형상관리 방법에 도움이 되고자 한다.

• Journal of the Korea Convergence Society
• /
• v.10 no.4
• /
• pp.45-50
• /
• 2019

This study proposes a method to measure software reliability according to software reliability measurement model to measure software reliability. The model presented in this study uses the distribution of Non - Homogeneous Poisson Process and presents a measure of the software reliability of the presented model. As a method to select a suitable software reliability growth model according to the presented model, we have studied a method of proposing an appropriate software reliability function by calculating the mean square error according to the estimated value of the reliability function according to the software failure data. In this study, we propose a reliability function to measure the software quality and suggest a method to select the software reliability function from the viewpoint of minimizing the error of the estimation value by applying the failure data.

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.431-439
• /
• 2015

This paper introduces analysis technique and test procedure for verifying the reliability of the multi-function radar software. Also the process of software development and reliability test method for reducing the development period are described. Test results show that the verified software has reduced errors and improved reliability compared to the unverified software.

• Review of KIISC
• /
• v.28 no.6
• /
• pp.76-82
• /
• 2018

무기체계의 대형화 및 복잡도가 증가함에 따라 무기체계에서 소프트웨어의 비중이 큰 부분을 차지하고 있으며 이로 인해 소프트웨어 결함에 따른 잠재적인 위험성도 증가하고 있다. 무기체계 분야에서는 무기체계 소프트웨어 개발 및 관리 매뉴얼을 통하여 개발 단계별 활동 및 검토사항들을 정의함으로써 단계별로 소프트웨어의 품질을 확보할 수 있도록 하는 한편, 소스코드 내의 잠재적인 결함을 체계적으로 제거하여 품질을 높일 수 있도록 소프트웨어 신뢰성 시험 제도를 도입하여 운영하고 있다. 본 글에서는 무기체계 소프트웨어 신뢰성 시험 현황에 대하여 소개하고 발전방향을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1597-1600
• /
• 2003

컴퓨터시스템은 여러 가지 복잡하고 민감한 시스템을 제어하는데 광범위하게 쓰이고 있다. 최근에 와서는 운영시스템, 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱더 복잡화 및 대형화되고 있기 때문에 신뢰성이 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 소프트웨어 제품개발에 있어서 소프트웨어의 신뢰도가 핵심사항이다. 1970년대 이후 소프트웨어의 신뢰성을 향상시키기 위한 여러 가지 소프트웨어의 신뢰도 모델이 제시되고 검토되었으며, 특히, 소프트웨어 개발 후 테스트단계에 적용하는 신뢰도를 추정하고 예측하는 모델이 많이 개발되었다. 소프트웨어가 주어진 시간간격동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트과정을 계속해서 반복 및 수정하면 더욱 더 증가된다. 그러한 결함검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장 모델(SRGM)이라 한다.

• 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.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.3
• /
• pp.209-215
• /
• 2009

Nowadays there are gradually the importance issues of embedded software for productivity as the fusion and complexity of industry. Especially, people are recognizing the importance of reliability within the embedded software systems(e.g. weapons and medical equipments, etc.). It makes currently mention of software reliability on ISO/IEC 9126, 12119, etc.. However, it is insufficient for the embedded software area in spite of being mentioned the generic software. To do this, we suggest our embedded software reliability assessment through extracting the embedded software meaurement items from reliability assessment items of ISO/IEC 9126, 12119 series.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.10
• /
• pp.383-386
• /
• 2018

As the importance of software has been recognized, the impact of embedded software quality on product quality has become increasingly important. Therefore, in this study, reliability is extracted according to the embedded characteristics and it is described that the reliability evaluation of the embedded software is made easier.

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

오늘날 바이오 정보처리 소프트웨어의 품질은 각종 보안장치의 성능과 신뢰성을 좌우하는 중요한 요소로 자리잡고 있다. 국내의 경우, 아직 바이오 정보처리 소프트웨어에 대한 품질특성, 특히 신뢰성에 관한 품질평가와 인증이 자리잡지 못한 실정이며 평가와 인증을 위한 시험 인증체계가 구축되어 있지 않은 실정이다. 이로 인해, 바이오 정보처리 소프트웨어의 품질저하로 인한 생체인식 분야의 보안성 및 신뢰성 저하를 유발할 수 있는 문제점이 발생할 수 있다. 본 연구에서는 ISO/IEC 12119와 ISO/IEC 9126을 기반으로 바이오 정보처리 소프트웨어의 품질요구를 체계화하고 신뢰성 중심의 바이오 정보처리 소프트웨어 시험모듈과 시험모듈 적용을 위한 점검표를 구축하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.376-378
• /
• 2003

소프트웨어 개발 중 분석과 설계 단계에서 만들어진 산출물을 이용하여 개발될 소프트웨어의 신뢰도를 예측하는 초기 소프트웨어 신뢰도 모델은 소프트웨어의 품질을 보증하는 유용한 도구로써 사용될 수 있다. 기존의 소프트웨어 신뢰도 모델은 개발될 소프트웨어의 품질에 한정하여 신뢰도를 예측함으로써 기존 시스템과 연계된 신뢰도를 예측하는데 한계가 있다는 단점과 개발자의 개발 능력이 개발될 소프트웨어 신뢰도에 미칠 영향을 고려하는데 한계가 있다는 단점이 있었다. 그러므로, 본 논문은 기존 시스템과의 연관성을 고려한 초기 소프트웨어 신뢰도 모델을 기준으로 개발자의 개발 능력을 고려한 종합적인 초기 신뢰도 모델을 제시하였다.