$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

가중치 기반 고장감지 커버리지 방법을 이용한 원전 제어기기 소프트웨어 신뢰도 평가
The Software Reliability Evaluation of a Nuclear Controller Software Using a Fault Detection Coverage Based on the Fault Weight 원문보기

정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템, v.5 no.9, 2016년, pp.275 - 284  

이영준 (한국원자력연구원) ,  이장수 (한국원자력연구원) ,  김영국 (충남대학교 컴퓨터공학과)

초록
AI-Helper 아이콘AI-Helper

원자력분야에서 사용되는 안전관련 소프트웨어는 계획단계부터 설치단계까지의 전 생명주기 공정을 통해 개발과 확인검증, 안전성 분석, 그리고 품질보증 활동을 수행해 소프트웨어의 안전성을 보장하고 있다. 그러나 이러한 개발과 검증공정을 통한 평가는 시간과 비용을 많이 필요로 한다. 또한, 소프트웨어의 품질을 향상시키기 위해 다양한 활동을 수행했다고 주장하지만, 어느 정도의 품질이 향상되었는지 확인하기에는 한계가 있다. 이러한 한계를 극복하기 위해서 정량적인 평가를 수행할 수 있는 소프트웨어 신뢰도 계산 방법을 제안한다. 특히, 소프트웨어가 사용하는 메모리 공간에 고장을 주입하여 소프트웨어의 고장을 모사하고, 주입된 고장에 가중치를 부여하여 고장 민감도에 차이를 두고, 감지능력을 평가하여 소프트웨어 고장율을 계산한다. 이러한 고장율을 활용하여 소프트웨어 신뢰도 계산을 수행하면 정량적인 평가결과를 획득할 수 있게 된다.

Abstract ▼ AI-Helper 아이콘AI-Helper

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and valid...

주제어

#소프트웨어 신뢰도   #고장 주입   #고장 가중치   #고장 감지 커버리지  

질의응답

핵심어 질문 논문에서 추출한 답변
소프트웨어 신뢰도 성장모델은 무엇인가? 소프트웨어 신뢰도 성장모델(SRGM: Software Reliability Growth Model)은 소프트웨어 고장 발생 시 소프트웨어에 내재하고 있던 결함을 제거함으로써, 이를 유발할 수 있는 무작위(random) 조건이 발생하더라도 이러한 결함에 의해서는 소프트웨어 고장이 다시는 발생하지 않기 때문에 소프트웨어 신뢰도는 향상되었다는 가정을 수립하는 것으로써, 소프트웨어 고장데이터를 기반으로 통계적 방법에 의하여 가정한 모델의 모수를 추정하여 소프트웨어 신뢰도를 파악하는 기법이다.
SRGM의 주요 변수 두 가지는 무엇인가? 일반적으로 SRGM 에는 두 개의 주요 변수가 있다. 하나는 소프트웨어에 잔존하는 소프트웨어 결함 수이고 또 다른 하나는 소프트웨어 고장율이다. 이러한 변수는 소프트웨어 모델에 모수로 되어 있어서, 지금까지 발생한 소프트웨어 고장 데이터를 기반으로 통계적 방법을 통하여 이러한 모델 모수를 추정한다.
소프트웨어 결함이 발생하는 이유는 무엇인가? 소프트웨어 결함은 모터나 밸브와 같이 시간이 지남에 따라 마모나 손상에 의하여 발생되는 것이 아니라, 소프트웨어를 개발하거나 구현 시 소프트웨어 설계자나 프로그래머에 의하여 발생하며 이는 결정론적 방식으로 고장을 유발한다. 그러나 소프트웨어 결함에 의하여 발생하는 고장현상은 운전환경이나 입력 값의 변화에 의하여 결함이 외형상으로 나타날 조건이 되었을 때, 소프트웨어에 의한 고장이 발생하며, 이러한 발생현상은 통계적으로 처리 가능한 현상으로 간주될 수 있다.
질의응답 정보가 도움이 되었나요?

참고문헌 (17)

  1. BTP-7-14, Guidance on software reviews for digital computer-based instrumentation and control system. NUREG-0800, Standard Review Plan: branch technical position 7-14, Revision 5, Nuclear Regulatory Commission. 

  2. The Institute of Electrical and Electronics Engineers, Inc., "Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations," IEEE 7-4.3.2. 

  3. K. C. Kwon and M. S. Lee, "Technical Review on the Localized Digital Instrumentation and Control Systems," Nuclear Engineering and Technology, Vol.41, No.4, pp.447-454, 2009. 

    원문보기 상세보기 crossref

  4. Gaurav Aggarwal and V. K Gupta, "Software Reliability Growth Model," International Journal of Advanced Research in Computer Science and Software Engineering, Vol.4, pp. 475-479, 2014. 

  5. H. S. Eom, G. Y. Park, H. G. Kang, and S. C. Jang, "Reliability assessment of a safety-critical software by using generalized Bayesian nets," 6th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology, Knoxville, Tennessee 2009. 

  6. Mohd. Anjum, Md. Asraful Haque, and Nesar Ahmad, "Analysis and Ranking of Software Reliability Models Based on Weighted Criteria Value," Information Technology and Computer Science, No.2, pp.1-14, 2013. 

  7. B. A. Gran and A. Helminen, "The BBN methodology: progress report and future work. OECD Halden Reactor Project," HWR-693, 2002. 

  8. "Development of Nuclear Risk Management Technology," Research Report, KAERI/RR-2794/2006. 

  9. Yangyang Yu, Barry W. Johnson, "Fault Injection Techniques: A perspective on the state of Research," Fault injection techniques and Tools for Embedded System Reliability Evaluation, 7-39, 2003. 

  10. H. G. Kang, "An Overview of Risk quantification Issues of Digitalized Nuclear Power Plants Using Static Fault Trees," Nuclear Engineering and Technology, Vol.41, pp.849-858, 2009. 

    원문보기 상세보기 crossref

  11. J. Duraes and H. Madeira, "Emulation of software faults, a field data study and a practical approach," IEEE Trans. Softw. Eng,. Vol.32, No.11, pp.849-867, 2006. 

    상세보기 crossref

  12. M. C. Hsueh, T. K. Tsai, and R. KIyer, "Fault Injection Techniques and Tools," IEEE Computer, Vol.30, No.4, pp.75-82, April, 1997. 

  13. Jean arlat et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. On Soft. Eng., Vol.16, No.2, pp.166-182, Feb., 1990. 

    상세보기 crossref

  14. PATENT, "Fault mode apparatus and method using software," 10-1222349, The Korean Intellectual Property Office, 2013. 

  15. Y. Yu, "A perspective on the state of Research on Fault injection techniques," Research Report, University of Virginia, May, 2001. 

  16. H. Madeira, D. Costa, and M. Vieira, "On the emulation of software faults by software faults by software fault injection," Proceedings of International Conference on Dependable Systems and Networks, pp.417-426, 2000. 

  17. S. Richter and J. Wittig, "Verification and Validation Process for Safety I&C Systems," Nuclear Plant Journal, pp.36-40, May-June, 2003. 

저자의 다른 논문 :

LOADING...

관련 콘텐츠

오픈액세스(OA) 유형

BRONZE

출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문

이 논문과 함께 이용한 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로