• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.439-441
• /
• 2004

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 신뢰도가 원자력 발전소외 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는지와 계통에게 예정되지 않은 기능을 수행하도록 영향을 주는지외 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 프레임웍을 개발하고 적용키는 것이 필요하다. 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 이에 따라 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험 프레임웍을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.444-446
• /
• 2024

한국의 육류 소비량이 늘어감에 따라 한우의 수요 및 공급도 점차 늘어가고 있다. 한우는 육질 등급(QG)과 육량 등급(YG)으로 나누어 판별되며 근내지방도, 고기 색, 지방색, 조직감, 성숙도, 도체 중량, 배최장근 단면적, 등지방두께 등 여러 항목을 고려한다. 현재는 주로 등배근을 맨눈으로 확인하는 수동 판별 방식이 사용된다. 하지만 평가사가 정확하게 판단하기 어렵고, 작업자의 부주의로 인한 육류의 오염 등 시간과 비용의 문제점이 있다. 본 연구에서는 이러한 문제점들을 한우 등급 판별 자동화로 해결하기 위해 한우의 등심 단면 이미지를 활용하여 등배근의 근내지방도를 산출하고 한우 등급을 자동 판별하는 알고리즘을 구현하였으며 평균 정확도는 79.2%를 달성하였다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.12
• /
• pp.1905-1910
• /
• 2013

This paper demonstrates the result of Safety Integrity Level (SIL) allocation for IL-type Train Control System(IL-TCS), by applying the semi-quantitative approach. IL-type TCS is defined in this paper as the set of Hardware and Software ATS equipment, Track-side ATP equipment, On-board ATP equipment, Track-side ATO equipment, On-board ATO equipment. SIL allocation is performed for these constituent subsystems of TCS. Based on three principles of the semi-quantitative method, the SIL allocation process is performed for the subsystems composing TCS.

• 전기의세계
• /
• v.52 no.9
• /
• pp.33-40
• /
• 2003

원전 안전등급 계측제어계통이 디지털화 되고 있으나 안전계통을 소프트웨어로 구현하는 과정에는 소프트웨어 공통모드고장(Common Mode Failure)과 같은 위험 요소가 존재한다. 일반 산업체와는 달리 원전에서 발생하는 사고는 일반 공중에게 방사능 누출 가능성을 내재하고 있어 디지털 안전계통은 원자로를 안전하게 정지시키는 것을 보장하고, 방사능이 누출되는 사고에 대해서도 그 피해를 최소화시키거나 방지할 수 있는 기능을 확보해야 한다. 이와 같은 원전 안전계통 디지털화의 성공과 원전의 안전성을 확보하기 위해서는 소프트웨어 신뢰성과 안전성 확보가 관건이며 안전-필수 소프트웨어 검증 기술개발이 절실히 요구된다. 본 기고에서는 원전 디지털 안전-필수 소프트웨어에 대한 개발방법과 규제요건, 규제방법 및 규제대처방법 등에서 공통적으로 고려해야 할 안전-필수 소프트웨어 개발 및 검증의 기술적 측면과 안전-필수 소프트웨어의 개발 및 검증의 각 단계에 대해서 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.853-855
• /
• 2005

본 논문은 Sequence Diagram을 이용한 안전등급 PLC(Safety-Grade Programmable Logic Controller) 운영 체제의 인터페이스 설계명세를 기술한다. 원자력 발전소에 사용하기 위한 안전 소프트웨어(Safety Software)의 규제 기준인 Reg. Guide는 IEEE Std 1016, IEEE Std 1016.1 의 설계명세서 작성 표준에 따라 작성하도록 요구하며, 이러한 규제기준과 기 표준을 안전등급 PLC를 위한 운영체제 소프트웨어의 설계명 세서도 만족해야 한다. 특히 운영 체제와 외부 장치들 사이의 인터페이스를 위해 실시간 특성의 표현에 장점을 갖는 Sequence Diagram을 적용함으로써 운영체제의 인터페이스에 대한 정확성, 완전성, 그리고 일관성을 향상시킬 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.778-780
• /
• 2001

컴퓨터 기술의 발전으로 정보화 시대를 맞이한 현대에 있어서 “보안 기능의 정형화 설계 방법 연구”는 정보 보호와 완벽한 보안 때문에 매우 중요하다. 이러한 추세에서 전 세계적으로 보안 시스템에 대한 등급을 나누고 있고, 국내에서도 한국정보보호센터에서 침입차단시스템에 대해 K1에서 K7까지의 등급을 매기고 있다. 이 등급을 살펴보면 정형 언어를 사용하여 시스템 명세를 수행하여야만 K5이상의 고 등급을 획득할 수 있다. 또한 최근에 들어서 소프트웨어 개발 방법에 객체지향 방법론이 많이 사용되고 있는 시점에서 이러한 방법론으로 개발되는 시스템에 대한 정형적인 설계방법이 필요하다. 본 논문은 실제 간단한 규모의 보안 시스템 설계에 직접 적용될 수 있는 수준의 정형기법을 제시하는 것을 목표로 한다. 여기서는 passive attack에 대해 사용자의 패스워드를 보호하기 위한 간단한 스킴이 S/KEY 인증 시스템에 객체지향 정형명세언어인 ZEST와 UML을적용해 본 결과를 기반으로 보안 시스템을 정형 명세한 경험을 기술한다.

• Electronics and Telecommunications Trends
• /
• v.19 no.2 s.86
• /
• pp.117-126
• /
• 2004

본 논문에서는 인터넷 콘텐츠에 대한 내용선별 기술표준인 PICS의 동향을 살펴보고, 이것을 준용하여 무선인터넷 내용선별 기술을 표준화할 경우 고려사항을 검토하였다. 전 세계적으로 적용되는 업계표준인 PICS는 인터넷 내용물을 선별적으로 볼 수 있게 해주는 기반구조로서, 선별 소프트웨어와 등급서비스들 간에 잘 동작할 수 있게 도와주는 기술 규격이다. 이러한 PICS를 무선인터넷 환경에 적용하여 국내 현실에 알맞은 무선인터넷 내용선별 표준을 개발할 경우 추진하여야 할 연구분야 및 정책 지원분야를 검토하였다. 그리고 자율적인 운영을 기반으로 한 인터넷 내용등급제의 활성화, 내용선별 기술 표준화 및 소프트웨어 개발 연구 등에 정부의 정책적인 지원이 필요하다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1787-1788
• /
• 2008

본 논문은 한국원전계측제어시스템(KNICS) 개발 사업의 일환으로 개발되는 안전등급 PLC(Programmable Logic Controller) 소프트웨어 개발 도구의 컴파일러에 대한 시험을 다룬다. 개발된 컴파일러에 대하여 외부 시스템과 연계하지 않고 내부에서 각 컴포넌트 별로 시험하는 컴포넌트 시험과 컴파일러 외부 시스템과 연계하여 시험하는 통합시험을 수행하였다. 시험 과정은 먼저 시험 계획 단계에서 시험 항목을 선정하고 각 항목 별로 사례와 시험 절차를 작성하며 이에 따라 시험을 수행한 결과를 분석하여 컴파일러의 수정 및 보완에 반영하는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.220-222
• /
• 2006

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.721-723
• /
• 2004

As the Internet use has been spreading worldwide, illegal and harmful contents have been increasing on the Internet, which has become a very serious social problem. To prevent children form exposing themselves to such illegal and harmful contents on the Internet, harmful information protection systems have been developed. We examine component technologies of harmful information protection systems including text and image-based filtering solutions as well as url-based filtering solution. Also we examine the related trends and strategies which effectively prevent access to the harmful contents.