• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• Annual Conference of KIPS
• /
• 2002.04b
• /
• pp.1247-1250
• /
• 2002

본 논문은 일반적인 신원확인 방법인 주민등록증의 사진과 본인 실물을 육안으로 비교로 판별하던 것을 컴퓨터를 이용하여 자동으로 판별할 수 있게 하는 알고리즘을 제안한다. 생체이식 기술은 이용하여 본인 확인하는 방법은 점차 보편화 있다, 이런 생체인식기술 즉 지문인식과 문자인식, 홀로그램 인식기술을 접목하여 주민등록상의 지문이미지와 지문입력기에서 입력받은 생체지문을 비교판별하고 문자이미지를 데이터화하여 주민등록번호가 민원인의 Index Key 되며 홀로그램으로 주민등록증의 진위여부를 판별하는 방법을 제공한다.

• Journal of Information Processing Systems
• /
• v.13 no.6
• /
• pp.1516-1526
• /
• 2017

Many organizations today use patch management systems to uniformly manage software vulnerabilities. However, the patch management system does not guarantee the integrity of the patch in the process of providing the patch to the client. In this paper, we propose a method to guarantee patch integrity through dual electronic signatures. The dual electronic signatures are performed by the primary distribution server with the first digital signature and the secondary distribution server with the second digital signature. The dual electronic signature ensures ensure that there is no forgery or falsification in the patch transmission process, so that the client can verify that the patch provided is a normal patch. The dual electronic signatures can enhance the security of the patch management system, providing a secure environment for clients.

• Annual Conference of KIPS
• /
• 2014.04a
• /
• pp.586-589
• /
• 2014

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 시간과 비용이 오래 걸리는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 자르기 기법[2]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[1] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 83% 줄일 수 있음을 보였다.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.208-210
• /
• 2019

최근 커넥티드카, 자율주행차량 등 차량에 관한 기술이 연구개발 되어 발전함에 따라 차량의 기술이 더욱더 확장되었다. 주변 차량, 인프라, 네트워크, 스마트폰 등 다양한 통신 기기들이 차량과 연결이 가능해졌다. 다만, 차량 기술의 발전과 더불어 차량 시스템 해킹 공격 방식이 다양해지고 있지만 이에 관한 연구와 대응 방안은 미흡한 편이다. 따라서 본 논문에서는 블록체인을 활용하여 차량 통신에 사용되는 CAN(Controller Area Network) 데이터 프레임 내의 차량 ID 가 해킹 공격에 의해 위·변조 되는 것을 방지함으로써 신뢰성 검증이 가능한 방안에 대해 제안하였다.

• Proceedings of the KIPE Conference
• /
• 2010.11a
• /
• pp.74-75
• /
• 2010

As global warming due to burning fossil fuels and natural resource depletion issues have emerged, the development of renewable energy sources such as photovoltaics (PV) has been brought to recent interest. Amongst the vast efforts to harvest and convert solar energy into electricity, the module integrated converters (MIC) has become a worthy topic of research for grid-connected photovoltaic systems. Due to the required high-boosting qualities, only a restricted amount of DC/DC converter topologies can be applied to MICs. This paper investigates the possibility of a tapped-inductor boost converter as a candidate for PV MICs. A dual-inductor interleaving scheme operating slightly above the boundary of the two conduction modes (BCM) is suggested for reduction of input current ripple and minimization of component stress. A digital controller is used for implementation, assuring maximum power tracking and transfer while providing sufficient computational space for other grid connectivity applications, etc. For verification, a 200W converter is designed and simulated via computer software including component losses. High efficiency over a wide power range proves the feasibility of the proposed PV MIC system.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.189-201
• /
• 1999

According to the current trend of single arm type pantograph for high speed trail korean pantograph designed to single arm type will be installed on each power car roof of prototype train of korean very high speed rail configured to 7 cars and have the characteristics of maximum 1% contact loss at 350 km/h speed. This study is devoted to design basically element components of pantograph for korean very high speed train on the basis of kinematic analysis, static analysis and dynamic analysis, followed by making the basic drawings of korean pantograph. This drawings will be complemented through certification tests of prototype pantograph and verification of analysis software.

• Journal of Magnetics
• /
• v.18 no.3
• /
• pp.250-254
• /
• 2013

In this research, the linear electrical generator in wave energy farm utilizing resonance power buoy system is studied. The mechanical resonance characteristics of the buoy and the wave are analyzed to maximize the kinetic energy in a relatively small wave energy area where WRPS is operated. In this research, we chose an analog model of the linear electrical generator of which size is one-hundredth of an actual size of it in WPRS (Wave energy farm utilizing Resonance Power buoy System) prior to verifying the characteristics of actual model of linear electrical generator in WRPS. In addition, the finite element analysis is conducted using commercial electromagnetic analysis software named MAXWELL to examine the electric characteristic of linear generator. Finally, for the verification of dynamic and electric characteristics of linear generator, the prototype was manufactured and the experiments to measure the displacement and the output electric power were performed.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1452-1455
• /
• 2012

본 논문은 출시된 지능형 교통 기반으로 설계된 RoboCAR 운행제어 개발과 시험을 하고자 한다. 이를 위해 시스템 설계를 통해,Test Case 추출과 실제로 적용하여 구현된 소프트웨어를 시험에 목적을 둔다. 이 절차는 Use-Case Diagram 설계, Decision Factor 추출, 이 기반으로 Cause-Effect Diagram을 생성한다. Cause-Effect Diagram을 통해 Decision Table을 생성한다. 최종적으로 Decision Table을 기반으로 Test Case를 추출한다. 추출된 Test Case를 적용하여 시스템을 테스트 하였고, 설계와 구현이 동일하게 되었음을 검증하였다.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.