• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1008-1011
• /
• 2010

스마트폰 어플리케이션 오픈마켓은 누구나 자유롭게 어플리케이션을 개발하여 등록하고, 사용자가 원하는 어플리케이션을 구매하여 사용할 수 있다. 이러한 시스템은 어플리케이션 시장을 활성화시킨 반면 많은 보안상의 위협을 야기한다. 이러한 문제점을 해결하기 위해 여러 방안이 제시되고 있는데, 본 논문에서는 어플리케이션을 등록할 때의 검증절차를 보다 효율적으로 개선하기 위한 보안등급 세분화를 연구하였다. 개발자가 어플리케이션을 마켓에 등록 시 적절한 검증 등급을 설정하여 검증시스템의 효율을 높이고, 마켓에서 등록된 어플리케이션에 검증된 보안 등급 정보를 제공함으로써 사용자에게 구매할 어플리케이션의 안정성을 판단할 근거를 제공해 준다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.116-119
• /
• 2021

국내 이동통신은 4 세대(4G)에서 5 세대(5G)로 전환되는 과정에 있으며 행정안전부는 기존 긴급재난문자 서비스를 5G 망으로 고도화하기 위해 준비하고 있다. 재난문자 길이의 확장, 송출 지역 세분화, 외국어 문자 지원 등을 긴급재난문자 서비스에 포함하기 위해 국내외 표준화와 검증 시스템 구축이 준비되고 있다. 본 논문에서는 해외 사례 분석을 통해 국내 5G 망으로 고도화된 긴급재난문자를 서비스하기 위해 요구되는 검증 요구사항을 정의하고 있다. 이를 기반으로 긴급재난문자 서비스를 검증할 리빙랩이 구축될 예정이다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.8-11
• /
• 2019

앙상블 기법은 여러 모델을 종합하여 최종 판단을 산출하는 기계 학습 기법으로서 딥러닝 모델의 성능 향상을 보장한다. 하지만 대부분의 기법은 앙상블만을 위한 추가적인 모델 또는 별도의 연산을 요구한다. 이에 우리는 앙상블 기법을 교차 검증 방법과 결합하여 앙상블 연산을 위한 비용을 줄이며 일반화 성능을 높이는 교차 검증 앙상블 기법을 제안한다. 본 기법의 효과를 입증하기 위해 MRPC, RTE 데이터셋과 BiLSTM, CNN, BERT 모델을 이용하여 기존 앙상블 기법보다 향상된 성능을 보인다. 추가로 교차 검증에서 비롯한 일반화 원리와 교차 검증 변수에 따른 성능 변화에 대하여 논의한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.346-348
• /
• 2004

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.436-438
• /
• 2004

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.758-763
• /
• 2007

지난 2000 년대 초반 주요 대기업과 일부 대형 공기업을 중심으로 시작한 BSC 성과관리 구축 움직임이 공공부문 전반으로 빠르게 확산되었다. 하지만 BSC 성과관리에 충분한 준비와 변화관리에 대한 고민 없이 따라하기식 프로젝트가 잇따른다는 지적이 일고 있으며, 운영결과를 어떻게 검증하여 개선해야 하는지에 검증방법이 미흡한 실정이다. BSC 성과관리의 근간이 되는 전략체계도가 과연 설계시 생각한 대로 인과관계를 가지고 있는지, 어떻게 검증하여 개선해야 하는지 구체적인 사례를 통해서 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.582-584
• /
• 1998

객체 지향 설계 명세를 대상으로한 시스템의 안전성에 대한 검사를 하여, 표(Table)조작에 기초한 검증법을 제안하였다[4]. 제안한 검증법에서는 전문 분야별로 준비된 안정성 기준(Safety Standard)과 노우하우(Knowhow)를 이용하여, 안전성에 관한 이벤트(Event)와 액션(Action)의 관계표를 작성하였다. 그러나, 많은 실제 개발 현장에서는 실제 존재하는 안전성 기준의 부족 등으로 인하여, 이러한 검증법의 기용이 어렵다는 문제점이 있다. 이에 본 논문에서는 신뢰성 분석의 한 방법인 FTA(Fault Tree Analysis)의 FT(Fault Tree)도를 이용한 안정성 체크리스트(Check list)를 작성하여, 이를 바탕으로 관계표를 작성하는 새로운 방법을 제안하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.139-141
• /
• 2011

CDS 서비스는 검증한 임상가이드라인과 프로토콜을 임상 실무에 적용함으로써 의료의 질을 향상시키고, 비용을 절감할 수 있는 방법이다. CDS 서비스를 실무에 구현하기 위해서는 검증한 지식과 이를 실행할 수 있는 지식엔진이 필수적인 구현 컴포넌트이다. 본 논문에서는 지식의 상호운용성을 보장하는 임상가이드라인 모델링 방법으로 SAGE라는 의료지식표현 기법을 선택하고, SAGE 지식을 기존 엔진과 연계할 수 있는 방법으로 변환 방법을 제안하였다. 또한 변환을 통한 기존 지식엔진 활용의 가능성을 검증하기 위하여 변환의 정확성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.22-24
• /
• 2001

내장형 시스템은 산업 전반에 다양한 방법으로 응용되고 있다. 하지만 항공 분야나 원자력 분야의 내장형 시스템은 안정성과 신뢰성이 절대적으로 보장되어야 하는 시스템으로 피 설계부터 구현에 이르기까지 다양한 방법으로 검사되고 검증되어야 한다. 본 논문에서는 내장형 시스템의 통합설계를 위한 기반으로 하드웨어 설계 언어인 Verilog를 입력 언어로 받아들여 이를 정형검증 도구인 VIS를 통하여 검증한 다음 이를 바로 구현하는 방법론 및 예를 보이고자 한다. 이러한 방법을 통해 내장형 시스템의 안정성과 신뢰성의 수준을 향상시키고자 한다.

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

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.