• Review of KIISC
• /
• v.17 no.6
• /
• pp.20-24
• /
• 2007

정보보호제품의 안전성 및 신뢰성이 검증된 제품의 공급 및 이용 촉진을 위해 운영되고 있는 정보보호제품 CC 인증제도, 암호제품에 대한 암호 검증제도, 공공기관 도입 정보보호제품에 대한 보안적합성 검증제도 등에 대한 현황 및 향후 추진방향을 살펴본다.

• Proceedings of the KIPE Conference
• /
• 2017.07a
• /
• pp.483-484
• /
• 2017

본 논문은 친환경자동차의 보급이 활성화됨에 따라 필수적으로 확보되어야할 전기안전성을 평가하기 위한 장비개발에 관한 것으로, 기존 장비의 문제점과 효율성을 개선하기 위하여 국제기준에 적합한 통합형 평가장비를 개발하였다. 본 연구를 통하여 개발된 제품을 공인 시험기관에서 성능을 검증하였으며, 검증결과 친환경자동차의 정격에 적합한 측정 장비의 사양을 갖는 것을 확인하였다.

• The KIPS Transactions:PartB
• /
• v.11B no.7 s.96
• /
• pp.759-768
• /
• 2004

Recently the biometric recognition technology is intensively studied and the standardization of the technology has been highly demanded for its commercialization. Currently many blometric recognition products are being developed based on the BioAPl(Biometric Application Program-ming Interface) specification. However, the reliable testing tools (or scenarios) to evaluate performance and conformance of the products are not shown yet. In this paper, a conformance testing method is presented, which verifies a biometric recognition system to meet the requirements of the BioAPl standard. Two different testing procedures are used in the proposed method. The first procedure evaluates that each functions offered in the BioAPl specification are correctly implemented and that the functions are actually used in the system. Through the Procedure, a BSP(Biometric Service Provider) system is executed on the framework of the BioAPl functions. It requires selection of parameters and prece-dent functions that should be executed first. The second procedure evaluates the abilities of module management, handling operations and ver-ification process by the analysis of the test cases. It tests the correctness of the system operation when a testing scenario is given. The proposed testing method is applied on a fingerprint verification BSP using the sample BSP provided by the BioAPl consortium. The experimental results shows the benefits of the proposed testing method.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.29 no.7
• /
• pp.871-878
• /
• 2023

This paper showcases the study of 150 Coast Guard officers on how work environment compatibility impacts their organization and job attachment. The independent variable, work environment compatibility, is separated into three sub-variables, which are organization compatibility, job compatibility, and supervisor compatibility. The study's results show that job attachment is only influenced by job compatibility while organization attachment is influenced by all three; organization, supervisor, and job compatibility. With these results, we can make suggestions for the development of the Coast Guard organization and further research based on individual characteristics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1232-1235
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3)은 국제 표준 테스팅 언어이다. TTCN-3는 다양한 통신 프로토콜이나 장치간의 연동성을 검증하기 위한 적합성 시험을 할 수 있고, 프로토콜이나 통신 장치가 표준에 적합하게 구현되었는지를 검증할 수 있다. 본 논문에서는 TTCN-3을 사용하여 종단과 종단간의 연결설정의 확립의 인증성 시험에 대한 프로토콜 장치간의 상호 여동성을 보장하기 위한 적합성 시험을 제안하고, 산호 연동성 시험과 장치에 구현된 프로토콜이 표준 구격에 적합한지를 시험하는 예를 시험한다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2021.11a
• /
• pp.52-53
• /
• 2021

항로표지는 선박이 항로를 안전하게 운항함에 있어서 중요한 역할을 한다. 이 연구에서는 빅데이터 기반으로 AIS 항적분석 모듈, 항로표지 적합성 평가 모듈, 항로표지 배치 검증 모듈 개발을 하고 이를 통합한 항로표지 적합성 평가 및 최적배치 서비스를 개발하고자 한다. 이에 최적배치 서비스 개발을 위한 로드맵과 모듈 개발을 위한 추진 전략 방향성을 구성하였다.

• Aerospace Engineering and Technology
• /
• v.6 no.1
• /
• pp.103-108
• /
• 2007

Eurostar 3000 AOCS is optimized for telecommunication mission with no strong requirement on attitude stability and has therefore to be upgraded to comply with COMS high stability requirements for the optical observations. This COMS configuration constraint induces specificities for the wheel. The aim of this analysis is to verify the electrical compatibility of the interfaces which exist between COMS wheels and external equipments. For each interface, this study checked the compatibility between equipments for the power links, commands, digital telemetry, analog telemetry, and failure condition or AIT errors. In addition with this interface compatibility verification, this study outputs electrical and manufacturing recommendations to be applied at harness level.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.36 no.2
• /
• pp.59-66
• /
• 2018

This study examined the correlation among topography, forest type, soil and geology in Inje area where landslides occurred during heavy rainfall from July 11 to July 18, 2006 to assess the landslide susceptibility. In order to assess the susceptibility of future landslides, landslides occurred in Inje area were classified into slide type and flow type, and slope angle, aspect, curvature, ridge and valley were extracted from the area. The landslide susceptibility was assessed by applying diameter class, age class, density, and forest type to Bayesianbased LR (Logistic Regression) model and WOE (Weight of Evidence) model, and the fitness of modeling was verified by predict rate curve. As the results of susceptibility assessment, using all landslides without no distintion, it was found that 75% of the LR model and 73% of the WOE model were fit in terms of the top 20% of the landslides. According to slide type and flow type in the top 20% of the landslides, it was found that 71% of the LR model and 69% of the WOE model were fit in terms of the slide type. Whereas, it was found that 86% of the LR model and 82% of the WOE model were fit in terms of the flow type. That is, the results of the LR model showed higher fitness than the results of the WOE model, and the fitness of the flow type was higher than that of the slide type. Consequently, it suggests that it is reasonable to assess and verify the landslide susceptibility according to the types of landslides.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.