• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.614-616
• /
• 1999

신뢰도 높은 소프트웨어 개발의 필요성은 전혀 새로운 것이 아니다. 요즘 들어, 소프트웨어의 크기와 복잡도가 증가함으로 인해 소프트웨어의 결함 때문에 발생하는 시스템 고장이 전체 시스템 고장에서 많은 비중을 차지하고 있다. 고 신뢰도를 요구하는 시스템의 소프트웨어는 복구블록, 분산 복구블록, N-버전 프로그래밍, N 자기검사 프로그래밍과 같은 소프트웨어 결함허용 기법들을 사용하고 있다. 이러한 소프트웨어 결함허용 기법들에 대한 연구와 함께 소프트웨어 결함허용 기법들의 의존도 측정에 관한 연구 또한 매우 중요하다. 이에 본 논문에서는 마르코프 모델을 사용해서 소프트웨어 결함허용 기법들의 보다 자세한 신뢰도 모델링과 가용도, 안전도 등에 관한 모델링을 제시한다. 제안된 모델 분석 결과 같은 수의 대체블록이 있을 때는 분산 복구블록, 복구 블록, N 자기검사 프로그래밍, N-버전 프로그래밍 순으로 의존도가 높음을 알 수 있다. 또한 소프트웨어 결함허용 기법들의 신뢰도민감성 분석에서는 복구블록과 분산 복구블록인 경우는 적응검사의 결함발생율에, N-버전 프로그래밍인 경우는 프로그램 버전의 결함발생율에 더 민감한 영향을 받는 것을 알 수 있다.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.12
• /
• pp.187-198
• /
• 2012

International standard for software quality evaluation, ISO/IEC 9126 defines the quality characteristics and sub-characteristics consisting of quality of the software. Also, in this standard, the quality assessment items are presented in metrics based on maturity, fault tolerance, recoverability and compliance which are sub-characteristics of reliability. However, this reliability assessment items which are presented are not applied now due to the mathematical difficulties and the problems caused by collection of data. In order to resolve these problems, this study introduces measures to develop a specific test technique by quality attributes and to measure the quality. In other words, the detailed guidelines are presented to be utilized as a standard by summarizing test activities and techniques by each development life the most commonly used. The SW quality results are derived by assigning weights to software in order of the most important quality characteristics of respective software using checklist that can be easily utilized and applying test technique that can be utilized for detailed evaluation items and checklist. This improves problems that include reliability assessment item of ISO/IEC 9126 as the measures to measure new reliability quality of software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.265-267
• /
• 2004

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템을 하드웨어 모듈로 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 기존의 방법은 검증하고자 하는 암호 알고리즘의 종류에 따라 검증도구를 다시 개발해야 하는 번거로움으로 시간과 비용의 낭비가 초래되었다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제 하에서 어떤 종류의 암호 하드웨어 모듈에 대해서도 호환성을 갖출 신뢰성 있는 검증 도구를 효과적으로 개발하였다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.7
• /
• pp.837-844
• /
• 2002

In general, software test is carried out to detect or repair errors in system during software development process. Namely, we can evaluate software reliability through collecting and removing the faults detected in testing phase. Software reliability growth model evaluates reliability of software mathematically. Many kinds of software reliability growth modeling which modeling the processes of detecting, revising and removing the faults detected in testing phase have been proposed in many ways. and, it is assumed that almost of these modeling have one typed detect and show the uniformed detection rate. In this study, significance levels of the faults detected in test phase are classified according to how they can affect on the whole system and then the fault detection capability of them is applied. From this point of view, We here by propose a software reliability growth model with faults detection capability according considering fault significance levels and apply some fault data to this proposed model and finally verify its validity by comparing and estimating with the existing modeling.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.4
• /
• pp.755-762
• /
• 2013

In this paper we consider the NHPP software reliability model. And we deal with the maximum likelihood estimation and the Bayesian estimation with conjugate prior for parameter inference in the mean value function of Goel-Okumoto model (1979). The parameter estimates for the proposed model is presented by MLE and Bayes estimator in data set. We compare the predicted number of faults with the actual data set using the proposed mean value function.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.147-152
• /
• 1997

C++는 C의 장점을 가지고 있으면서 객체지향적 요소를 포함하고 있어 현재 객체지향적 소프트웨어 개발에 가장 많이 사용되어지는 언어 중에 하나이다. 본 고에서는 원자력 발전소 제어시스템과 같은 안전 시스템 개발에 사용될 언어가 보장해야할 속성에 대하여 정의하고 이러한 속성들을 C++는 어떻게 지원할 수 있는 가에 대하여 기술하였다. 80년 이후에 소개된 객체지향 기술이 계속적으로 발전하고 소프트웨어 개발에 많은 장점을 제공하고 있기 때문에 많은 분야의 소프트웨어 개발에 적용되어지고 있다. 따라서 safety-critical 시스템과 같이 고신뢰성과 안정성이 요구되는 시스템 개발에도 적용되어 진다면 소프트웨어 개발 생산성에 많은 도움이 될 것이다.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.555-558
• /
• 2008

패키지 소프트웨어 기업은 사용자 만족을 향상시키기 위해 노력한다. 그래서 사용자 만족에 영향을 미치는 소프트웨어 품질에 대한 연구는 상당히 중요하다. 지금까지 패키지 소프트웨어의 품질에 관한 연구는 많이 있었지만 대부분이 제품 품질에 관한 연구가 주로 있었다. 본 연구에서는 제품의 관점에서 품질과 함께 서비스의 관점에서도 품질을 측정하고자 한다. SERVQUAL 차원인 유형성, 신뢰성, 대응성, 보증성, 공감성의 다섯 가지 차원에 패키지 소프트웨어의 특성을 반영하여 서비스 품질을 측정하고 제품 품질 차원과 비교하여 사용자 만족에 영향을 미치는 요인을 살펴보고자 한다.

• Journal of Scientific & Technological Knowledge Infrastructure
• /
• s.11
• /
• pp.68-75
• /
• 2002

남북한간 소프트웨어 관련 협력이 진행되고 있고, 민족의 동질성 및 신뢰성 회복이 증진되어 화해와 협력이 요청되는 현 시점에서, 북한의 소프트웨어와 관련된 정보를 일반인도 공유를 하는 것이 북한을 조금이라도 더 이해하는데 도움이 될 것이라는 생각으로, 본문에서는 북한의 S/W산업과 관련된 현황 등과 북한이 동 전시회에 출품했던 S/W제품을 위주로 북한의 S/W현황과 기술수준을 소개하고자 한다.

• Journal of Applied Reliability
• /
• v.8 no.3
• /
• pp.145-154
• /
• 2008

인공위성은 지상 시스템과는 달리 극한 발사환경 및 우주환경에 노출되고, 운용 중 수리가 불가능하며, 임무 실패에 따른 위험비용이 매우 크기 때문에 고신뢰성, 고비용의 부품, 장비 및 시스템을 채택하여 개념설계단계에서부터 신뢰성을 관리한다. 신뢰성 관리의 주요 목적은 설계변경 및 개발 사이클의 반복을 최소화하고, 개발비용을 절감하며, 시스템의 신뢰성을 향상시키기 위한 것으로서, 대부분의 우주시스템 개발 프로젝트에서는 제품보증(Product Assurance) 활동의 일환으로 수행된다. 제품보증 업무는 크게 품질보증, 신뢰성 관리, EEE 부품관리, 재료 및 공정(Material & Process) 관리, 오염관리, 소프트웨어 품질보증 등으로 구분되지만, 포괄적인 의미의 신뢰성 관리 범주에 이를 모두 포함시키기도 한다. 인공 위성의 개발과정에서 기술성능지표 중 하나로서 중점 관리되고 있는 시스템 신뢰성 관리의 세부기법, 프로세스, 개선 필요사항 등에 대하여 살펴보고자 한다.