• Electronics and Telecommunications Trends
• /
• v.32 no.1
• /
• pp.102-115
• /
• 2017

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

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.81-84
• /
• 2010

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

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.7
• /
• pp.2028-2040
• /
• 2000

A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

• The Magazine for Energy Service Companies
• /
• s.25
• /
• pp.52-59
• /
• 2003

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

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.186-190
• /
• 2015

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.601-603
• /
• 2003

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

• The KIPS Transactions:PartC
• /
• v.11C no.1
• /
• pp.21-30
• /
• 2004

Most applications using the PKI allows a user to execute the certificate validation processing. The efficiency of user system can be declined by the user-side processing resulting the overhead and low speed of the validation processing. Therefore, in this paper, we propose a new certificate validation processing method can decrease the overhead on user by allowing CAs of the hierarchical PKI to participate in the validation processing. Therefore, our proposed scheme can not only reduce the considerable overhead caused by the user-side whole processing without a new implementation of the delegated server but also improve the time spent for the processing by the reduction of the validation processing job on user.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.45-52
• /
• 2003

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

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.5
• /
• pp.20-28
• /
• 2020

In construction project, an error in quantity information immediately leads to an error in the quotation, highly reliable quantity calculation is required for successful performance of a project. But there is a difficulty in the current situation for the person in charge to review all calculation sheets for quantity review as the quotation work has to be performed in a short period of time. Accordingly, it is thought that a review plan is required to secure reliability on calculated results and the review plan should be able to be carried out within insufficient quotation periods. In the present paper, it is intended to present a plan that enables quantity to be reviewed with the minimum number of persons within the shortest period of time through an algorithm of calculating a verification quantity. The suggested algorithm allows the result of quantity calculation work carried out earlier based on 2-dimensional drawing to be compared, not with an accurate quantity, but within an error range.