• 비파괴검사학회지
• /
• 제30권4호
• /
• pp.317-323
• /
• 2010

원자력발전소 배관 용접부에 대한 수동 초음파검사는 KPD(Korean Performance Demonstration)의 일반 절차서를 사용하여 기량 검증을 인정받고 있으나, 자동 초음파검사의 경우에는 일반 절차서가 없으며 해당 자동 검사 장비를 이용하여 절차서 기량 검증을 받아야 한다. 현재까지 국내에서 수행되고 있는 자동 초음파검사에 대한 절차서 기량검증은 대부분 펄스-반사기법을 적용한 절차서이나, 최근에 각광받고 있는 위상배열 초음파검사 기법을 이용한 절차서 기량검증은 국내에서 시행된 사례가 전무하다. 본 연구에서는 원자력발전소 가동중검사에 위상배열 초음파검사 기법을 적용하기 위하여 위상배열 초음파 신호취득 및 평가 소프트웨어를 개발하고 위상배열 초음파 탐촉자 및 웨지를 설계 하였다. 개발된 절차서에 대하여 결함 검출, 길이 및 크기 측정에 대한 기량검증을 수행하였으며, 검증된 위상배열 초음파탐상검사 절차서는 향후 원자력발전소 배관 용접부 검사에 적용할 예정이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.337-339
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1633-1636
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생 되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제61차 동계학술대회논문집 28권1호
• /
• pp.273-274
• /
• 2020

본 논문에서는 부가가치가 높은 군용 장비류의 해외정비품을 국내정비로 전환하기 위한 절차 중 최종 성능평가 절차를 제안하였다. 기존의 절차는 해외정비품의 성능시험을 위한 정비능력 개발시 개발된 국산화 시험장비의 유효성 검증을 위한 명확한 절차가 마련되지 않아 소요군 혹은 실무자에 따라 최종성능평가의 기준이 다른 점이 발생하였다. 따라서 본 연구에서는 통일화된 절차를 연구하여 제안하였다. 제안한 이 절차는 통일된 기준 마련을 통해 해외도입 시험장비와 국산화된 시험장비의 상호 같음을 검증하여 해외로 나가는 정비대상품을 국내정비로 전환하였을 때 품질면에서 동일함을 보증하기위한 중요한 수단이 될 것이라 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2021년도 추계학술대회
• /
• pp.305-306
• /
• 2021

다양한 센싱 데이터를 수집하는 시스템은 복잡하게 구성되어 있다. 따라서 그 기능에 대한 검증을 수행하는 절차를 설계하는 것이 매우 중요하다. 이러한 환경에서 개발된 시스템의 통합 검증 프로세스를 설계하기 위해서, 본 논문에서는 다양한 센싱 데이터를 수집하는 시스템을 검증하는 절차에 대해 설계한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.116-119
• /
• 2010

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2012년도 추계학술대회
• /
• pp.195-198
• /
• 2012

IPTV는 방통융합의 대표적인 매체로 자리 매김하며 2008년 상용서비스를 시작으로 계속 진화하고 있다. 그러나, 초기 서로 다른 방식으로 IPTV 서비스를 시작함으로 인해 상호운용성 문제가 대두 됨에 따라, TTA를 통해 IPTV 분야의 표준화가 시작되어 현재도 다양한 IPTV 분야의 기 제정된 표준의 개정 작업 및 신규 분야의 표준화를 계속 추진하고 있다. 이렇듯 표준화가 진행됨에 따라, IPTV 단말의 사업자 간의 이동성을 보장하기 위한 노력이 계속되고 있으며, 그 중 하나로 IPTV 단말 프로비저닝 절차 표준화가 추진되어 현재까지 2번의 개정 작업을 통해 표준안의 보완/수정 작업 등이 진행되어 2차 개정판이 완료되었다. 이에 TTA에서는 해당 표준을 구현한 STB 등 단말과 서버에 대한 표준적합성 시험을 위한 시험규격을 개발하였다. IPTV 단말 프로비저닝 절차 표준에서는 단말의 네트워크 접속부터 펌웨어/소프트웨어 업그레이드, IPTV 서비스를 탐색하기 위한 정보 전달을 위한 절차를 정의하고 있으며, 각 절차별 데이터 형식 및 프로토콜을 검증하기 위한 시험항목을 개발하였으며, 표준안 검증 및 시험 서비스 제공을 위한 시험환경을 구축하였다.

• Nuclear Engineering and Technology
• /
• 제29권6호
• /
• pp.8-16
• /
• 1997

ONED94는 노심추적계산, 부하추종모사, 출력증감발 및 재기동 운전전략, 제논진동모사 및 제어봉 이동전략수립 등을 위한 전산 코드로, Westinghouse 형 노심에 대해서는 적용절차 및 방법이 이미 검증되어 노심관리용으로 사용되고 있으며, CE형 노심에 대해서는 CE형 노심핵설계체계를 이용한 단면적 자료생산에서 적응계산에 이르기까지 ONED94 모델 생산 방법과 절차는 확립된 상태에 있다. 이 보고서에서는 영광3호기 초기노심의 시운전 자료를 토대로 50, 80 및 100% 출력에서의 제논진동 및 출력증감발 모사계산을 수행하여 CE형 노심에 대하여 ONED94코드를 검증하였다.