• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.9 no.2
• /
• pp.141-147
• /
• 2016

NHPP software reliability models for failure analysis can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, infinite failures NHPP models that repairing software failure point in time reflects the situation, was presented for comparing property. Commonly used in the field of software reliability based on Flexible Weibull extension distribution software reliability of infinite failures was presented for comparison problem. The result is that a relatively small shaping parameter was effectively. The parameters estimation using maximum likelihood estimation was conducted and model selection was performed using the mean square error and the coefficient of determination.. In this research, software developers to identify software failure property follows shape parameter, some extent be able to help is considered.

• Convergence Security Journal
• /
• v.6 no.3
• /
• pp.117-126
• /
• 2006

Bayesian inference and model selection method for software reliability growth models are studied. Software reliability growth models are used in testing stages of software development to model the error content and time intervals between software failures. In this paper, could avoid multiple integration using Gibbs sampling, which is a kind of Markov Chain Monte Carlo method to compute the posterior distribution. Bayesian inference for general order statistics models in software reliability with diffuse prior information and model selection method are studied. For model determination and selection, explored goodness of fit (the error sum of squares), trend tests. The methodology developed in this paper is exemplified with a software reliability random data set introduced by of Weibull distribution(shape 2 & scale 5) of Minitab (version 14) statistical package.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.5
• /
• pp.339-344
• /
• 2015

NHPP software reliability models for failure analysis can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, infinite failures NHPP models that repairing software failure point in time reflects the situation, was presented for comparing property. Commonly used in the field of software reliability based on Weibull extension distribution software reliability of infinite failures was presented for comparison problem. The result is that a relatively large shape parameter was effectively. The parameters estimation using maximum likelihood estimation was conducted and Model selection was performed using the mean square error and the coefficient of determination. In this research, software developers to identify software failure property follows shape parameter, some extent be able to help is considered.

• Journal of Venture Innovation
• /
• v.7 no.2
• /
• pp.143-152
• /
• 2024

Recently, as a lot of software with AI functions has been developed, the number of software products with various prediction functions is increasing, and as a result, the importance of software quality has increased. In particular, as consideration for functional safety of products with AI functions increases, software quality management is being conducted at a national level. In particular, the GS Quality Certification System is a quality certification system for software products that is being implemented at the national level, and the GS Certification System is also researching quality evaluation methods for AI products. In this study, we attempt to present an evaluation model that satisfies the basic conditions of software quality based on international standards among the various quality evaluation models presented to verify software reliability. Considering the software quality characteristics of the artificial intelligence sector, we study quality evaluation models, diagnose quality, and predict failures. .In this study, we propose an international standard model for artificial intelligence based on the software reliability growth model, present an evaluation model, and present a method for quality diagnosis through the model. In this respect, this study is considered to be important in that it can predict failures in advance and find failures in advance to prevent risks by predicting the failure time that will occur in software in the future. In particular, it is believed that predicting failures will be important in various safety-related software.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.261-264
• /
• 2006

소프트웨어 개발 후 인도 전 테스트 단계중에 발생되는 테스트 노력 소요량을 고려한 소프트웨어 신뢰도 성장 모델을 제시하여 테스트 노력소요량 동태를 시간함수인 로지스틱 곡선으로 설명한다. 그러므로, 본 논문에서는 로지스틱 테스트노력 곡선이 소프트웨어의 개발/테스트 노력곡선으로 적절하게 표현될 수 있다는 것과 실제 데이터를 근거로 하여 적용하여서 예측성이 매우 좋은 능력을 가지고 있다는 것을 보이고자 한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.03a
• /
• pp.293-295
• /
• 1998

적외선 데어터 통신은 저렴한 비용과 소비전력이 적으며, 신뢰성 있는 데이터 전송이 가능하다는 장점이 있다. 특히 IrDA 표준에 준하는 단거리 적외선 데이터 전송 시스템이 노트북 PC, PDA, 프린터, 데스크탑 PC 등에 장착되면서 데이터 전송에 따른 시스템간의 이동과 설치가 용이하다는 특징을 살리고 있다. 본 논문에서는 이러한 특징을 가지 적외선 데이터 통신 시스템이 무선 통신 장비 등에 장착되었을 경우에 이들 장비 상호간의 데이터 변환데 대한 소프트웨어 개발 방법에 대해서 기술한다. 이 데이터 변환 소프트웨어는 IrMC 표준에 준한 라이브러리들로서 제공되며 사용자가 응용 프로그램을 개발하는데 있어서 작업의 간편성과 이식성, 그리고 확장이 용이하도록 하는 장점을 가지고 있다.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• Journal of Korean Society of Steel Construction
• /
• v.10 no.3 s.36
• /
• pp.369-381
• /
• 1998

This paper is intended to show some new approaches and concepts for the development of system model and prototype software for computer-aided Monitoring and Assessment(M&A) of grand bridges. The system model that incorporates optimal strategies for M&A of grand bridges is suggested. Reliability models are developed and a reliability-based capacity rating method is established for the evaluation of the bridge safety and reliability based on the real responses measured from a series of field load tests. Based on the proposed models, an integrated prototype software is then developed for computer-aided M&A of grand bridges under the environment of the graphic user interface, which is successfully applied to the M&A of an existing cable-stayed bridge. It may be stated that the system model and prototype software developed in this paper can be utilized and implemented in the development of the computer-aided M&A system for cable-stayed and suspension bridges.

• KIISE Transactions on Computing Practices
• /
• v.23 no.8
• /
• pp.487-491
• /
• 2017

Open source software allows the users to freely use, copy, distribute and modify source code without any particular limitations, and this offers the advantages of low entry cost, fast and flexible development, compatibility, reliability and safety. The emergence of many useful open source projects has the advantage of achieving high levels of output with lower costs and time commitment for software development. However, this also increases the risks caused by the security vulnerabilities of the used open source software. There is still no separate process to verify security in using open source software. In this paper, we analyze the security weakness in open source and propose a secure coding scheme in adopting open source, which is known to be highly reliable from a security point of view.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.36-40
• /
• 2004

오픈소스 소프트웨어란 소스 코드를 공개한 상태로 공급되는 소프트웨어를 말한다. 오픈소스 소프트웨어의 개발 방법은 오픈소스 소프트웨어 프로젝트에 관심이 있는 개발자의 자발적인 참여로 이루어진다. 오픈소스 소프트웨어 개발 방식은 대부분 소프트웨어개발 방법론적인 측면이 적용되지 않기 때문에 일반적인 소프트웨어에 비해서 신뢰성이 떨어진다는 평가를 받는 원인이 되고 있다. 또한 일반 소프트웨어 개발과 비교해서 분산된 개발자들의 소스 공유 및 의견 교환과 합의 도출 방법이 필요하기 때문에 오픈소스 소프트웨어 개발에 일반적인 소프트웨어 개발 방법론을 적용할 수가 없다. 따라서 일반적인 소프트웨어 개발 방법과 프로젝트 관리 기법에서 공개 소프트웨어 개발을 위해 필요한 부분들을 도출하여 오픈소스 소프트웨어 개발에 적용할 수 있도록 커스터마이징한 오픈소스 소프트웨어를 위한 소프트웨어 개발 모델을 제안한다.