• 전자통신동향분석
• /
• 제32권1호
• /
• pp.102-115
• /
• 2017

본고에서는 SW 개발 R&D 프로젝트에 개발 소스 품질 검증을 위한 정적분석 실행방안을 기술한다. 정적분석 실행 방안으로 소스 코드 품질 검증 대상 SW 개발 R&D 프로젝트 범위와 정적분석 검증 기준을 기술하고, 정적분석 검증을 위한 구체적 실행 방안과 검증 프로세스 그리고 정적분석 검증을 지원 환경 체계를 제시했다. 또 제시된 정적분석 검증 실행 방안에 근간하여 수행 중인 프로젝트에서 개발한 소스 코드에 대해 시범적으로 정적분석 검증을 수행하고 이를 바탕으로 정적분석 검증 실행의 안정적인 도입 및 운영 방향을 시사점으로 기술하였다. 제시된 정적분석 검증 실행 방안은 SW 개발 R&D 프로젝트에서 개발 소스 코드 품질 관리 및 유지를 위한 방안으로 고려해 볼 수 있을 것으로 기대한다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.81-84
• /
• 2010

본 연구는 Building Information Modeling(이하 BIM)의 본연의 목표인 정보의 통합 관리 및 재활용 측면에서 모델의 정보를 정확하고 체계적으로 구축될 수 있는 품질검증의 필요성을 인지하고 이를 위해 BIM 모델의 품질검증 방안에 관하여 논의하고자 한다. 이를 위해 국내외 BIM 관련 품질관리 현황을 파악하고 국내 정보시스템 구축에 관한 지침으로 한국데이터베이스 진흥 센터의 데이터 품질관리 지침을 분석하여 BIM 품질검증 방안을 도출하고자 하였다. 그 결과 BIM 모델의 품질검증 방안을 구축하기 위해 첫쩨 사전적 의미로부터 품질관리의 개념을 수립하고, 그 대상을 설정 하였으며, 둘째로 품질관리의 최종 목표인 정보의 재활용 관점에서 단계적 접근방안으로 5단계의 전략적 방향을 제시 하였다. 마지막으로 BIM 모델의 품질검증 방안을 구축하기 위해 사례 분석을 토대로 BIM 모델 관점에서 품질 검증 시기, 기준, 방법을 제시하였다.

• 한국정보처리학회논문지
• /
• 제7권7호
• /
• pp.2028-2040
• /
• 2000

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다.

• ESCO지
• /
• 통권25호
• /
• pp.52-59
• /
• 2003

에너지절약 성과배분 계약의 핵심적인 요소인 에너지절감량의 예측 및 측정방안에 대하여 일반적인 ESCO사업현장에서 빈번히 사용되는 고효율 조명기기교체, 고효율 전동기교체, 고효율 보일러교체, 냉동기 성적계수 개선 및 인버터제어 설치의 예제를 2회에 걸쳐 제시한다. 제시된 에너지절감량 측정 및 검증방안은 일반적으로 사용되는 방안이므로 현장특성이 고려되지는 않았지만 ESCO사업을 진행함에 있어서 에너지사용자와 ESCO가 최소한 공감해야 하는 에너지절감량에 대한 이해를 높이고자 작성되었다.

• 한국항공운항학회:학술대회논문집
• /
• 한국항공운항학회 2015년도 추계학술대회
• /
• pp.186-190
• /
• 2015

국내에서 개발중인 항공기 지상이동유도 및 통제시스템(A-SMGCS)의 핵심 기능인 경로, 감시, 안내, 통제기능 중 통제기능은 충돌상황을 예측하고 관제사에게 이를 알려주어 충돌상황을 해결하는 매우 중요한 핵심기능이다. 본 연구에서는 A-SMGCS 충돌기능에 대해 소개하고 해외 검증사례를 분석하여 현재 개발중인 시스템에 적용할 수 있는 검증방안에 대하여 연구하였다. 항공기의 안전한 지상이동을 위하여 본 연구에서는 통제기능의 실제 운용시험평가를 하는 방안에 대하여 연구하였다.

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

사용자 어플리케이션에서 인증 경로를 검증하는 일은 매우 복잡하고 많은 시간이 소요됨으로서 사용자측에 상당한 부담을 줄 수 있다. 특히, 비계층적 PKI에서의 검증 작업은 다수의 후보 경로가 존재함에 따라서 그 부담이 더욱 커진다. 따라서 본 논문에서는 비계층적 PKI의 인증 기관(Certificate Authority： CA)을 서명 검증 작업에 창설시킴으로서 사용자 측 검증 작업에 대한 부담을 감소시킬 수 있는 새로운 형태의 인증 경로 처리 방안을 제안하였다. 제안한 방안은 서명 검증에 수반되는 사용자 측 암호화 작업을 크게 줄임으로서 검증에 대한 부담을 감소시킬 뿐만 아니라 CA들의 검증 작업의 참여로 인해 정적인 CA들의 활용도를 높일 수 있다.

• 정보처리학회논문지C
• /
• 제11C권1호
• /
• pp.21-30
• /
• 2004

PKI를 채용한 대부분의 어플리케이션들은 사용자로 하여금 인증서 검증 작업을 수행하도록 한다. 인증서 검증 작업의 사용자 측 수행은 사용자 부담을 증가시키고 검증 속도를 떨어뜨려 전체적인 사용자 시스템의 효율성을 저하시킨다. 본 논문에서는 인증기관(Certificate Authority :CA)을 검증 작업에 참여시킴으로서 사용자 측 부담을 감소시킬 수 있는 새로운 형태의 인증서 검증 방안을 제안하였다. 따라서 제안한 방안은 새로운 검증 서버의 구현 없이 사용자 측의 검증 작업에 대한 부담을 감소시킬 수 있을 뿐만 아니라 검증 작업의 축소로 인해 검증 수행 시간을 향상시킬 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.141-148
• /
• 2006

본 논문에서는 정형 검증 도구를 이용한 보안 소프트웨어의 보안성을 검증하고 검증된 결과를 이용하여 안전한 보안 소프트웨어 개발 방안을 살펴본다. 정형 검증 기법에 따라 사용되어질 수 있는 각 정형 검증 도구들을 살펴보고 그 특성을 파악하여 보안 소프트웨어의 안정성과 신뢰성을 보장하는 적합한 도구들을 알아보고, 보안 소프트웨어 개발 방안을 제시한다. Z 언어를 이용하는 도구인 Z/EVES는 Z명세에 대한 분석 방법을 제시함으로써 보안 소프트웨어에서 가장 많이 사용되는 대표적인 정형 검증 도구이다. 본 논문에서는 보안 소프트웨어 검증을 위하여 C 언어로 작성된 보안 소프트웨어를 Z명세 언어로 변환하고 이것을 Z/EVES도구를 이용한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.45-52
• /
• 2003

정보통신기술의 발달로 인터넷상의 PKC를 사용한 전자거래가 활성화되었다. 이에 따라 실질적으로 Web Server나 Database Server에 접속하기 위한 접근통제의 방안으로 속성인증서에 대한 연구도 활발히 진행되고 있다. 그러나 현재 제안되고 있는 CRL(Certificate Revocation List) 및 OCSP를 이용한 공개키인증서 검증방법은 속성인증서의 인증상태확인과 적용시킬 수 없다. 따라서 본 논문에서는 기존의 공개키인증서 검증방법인 OCSP 방법에 속성인증서 검증방법을 포함시킴으로서, 공개키인증서와 속성인증서간의 동기문제를 해결하고자 한다.

• 한국건설관리학회논문집
• /
• 제21권5호
• /
• pp.20-28
• /
• 2020

견적업무는 공사비를 산출하는 것을 목적으로 수행되며, 단가정보와 물량정보의 곱으로 산출되므로 성공적인 건설 프로젝트의 수행을 위해 정확한 물량산출이 선행되어야 한다. 또한 현재 견적 전문가를 대상으로 한 설문조사에 의하면, 물량산출 성과물에 대한 만족도가 높음에도 불구하고 이에 대한 검증작업이 필요하다는 의견이 다수이다. 그러나 현재는 견적 작업자의 경험도에 의존하는 등 객관적인 검증방안이 미비한 실정이다. 따라서 본 연구는 작업자 개개인의 업무능력에 의존하지 않고 검증할 수 있는 검증방안을 제안하였다. 제안하는 검증방안은 산출서 물량과 비교하여 ±5%의 오차를 가지는 검증물량을 산출하여 산출한 물량에 대한 가이드 라인을 제시하였다. 이를 위해 기존에 수행된 프로젝트 데이터를 활용하여 도면 및 산출서를 분석하고, 도면으로부터 정보를 추출하여 검증물량을 산출할 수 있는 산식을 개발하여 검증물량산출 산식이라고 정의하였다. 본 연구의 결과인 검증물량산출 산식은 최단기간 내에 최소인원으로 물량산출 성과물에 대한 검증업무를 수행할 수 있게 하는 것을 목적으로 한다. 이로 인해 작업자가 산출한 물량에 대한 신뢰도를 확보할 수 있을 것으로 생각되며, 오류가 발생한 항목에 대한 검토가 수행됨에 따라 효율적인 견적업무가 가능하게 될 것으로 기대된다.