• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.349-352
• /
• 2004

성공적인 소프트웨어 프로젝트를 목표로 합리적인 계획을 수립하기 위하여 프로젝트의 전체 규모에 대한 신속하고 정확한 견적이 중요해지고 있다. IFPUG의 FPA 견적방식은 이미 검증되어 널리 사용되고 있으나, 복잡성과 모호성으로 인하여 실제 SI 업체의 견적 수행에는 어려움이 있으며 견적작업의 고비용을 초래하고 있다. 본 논문은 기존 FPA 방식의 문제점을 지적하고 이를 개선한 PFP 모델을 제시함으로써 기존보다 쉽고 효과적이며 효율적인 기능점수 견적을 가능하게 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.574-576
• /
• 2001

현재의 소프트웨어 개발은 구현 중심의 개발에서 설계 중심의 개발로 바뀌고 있다. 설계 중심의 개발은 구현 프로그램의 자동 생성을 바탕으로 시스템 개발 시간을 크게 단축할 수 있고, 정형화된 명세를 검증함으로써 설계와 구현의 일관성을 유지할 수 있으며 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 환경을 구축하기 위해, ITU-T에서 권고한 시스템의 명세와 기술을 위한 언어인 SDL에서 범용 프로그래밍 언어인 C로의 자동 번역기를 설계하고 구현하였다.

• Proceedings of the KAIS Fall Conference
• /
• 2011.12a
• /
• pp.29-32
• /
• 2011

본 연구에서는 지속적인 증가 및 확대 추세에 있으나 여전히 많은 실패를 겪고 있는 SDO(Software Development Outsourcing) 프로젝트의 성과 향상을 위해 SDO 성과에 영향을 미치는 요인을 탐색하고자 하였다. 연구가설의 검증을 위해 SDO 경험이 있는 고객사의 정보시스템 인력을 대상으로 현장 설문조사를 실시하여 214개의 설문을 수집, 분석에 이용하였다. 분석 결과, SDO의 성과에는 벤더의 힘과 고객사 요구사항의 불변성, 목표의 명확성 그리고 목표의 일치 정도가 영향을 미치는 것으로 나타났다. 본 연구의 결과는 SDO의 실패를 낮추고 성공 가능성을 높이는 데 효과적으로 활용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.340-342
• /
• 2001

상위의 타입 구조를 갖춘 (higher-order and typed) nML을 고안하고 그 컴파일러를 개발하였다. nML은 프로그래밍 언어 분야의 중요한 성과들을 충실히 실현한 언어로서, Standard ML과 Objective Caml 장점과 실제 프로그래밍 세계의 관성을 염두에 두고 정의되었다. nML 컴파일러의 실용성과 안전성은 이미 여러 응용 시스템 소프트웨어의 개발로 실험되고 있다. 이 전통적인 컴파일러 시스템에 본 연구단의 프로그램 분석기술들이 장착되면서, 실시간 안전성 검증이 가능하고, 작고, 자발적인 적응력 있는 코드를 만들어내는 컴파일러로 발전하는 발판이 마련되었다.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.904-905
• /
• 2013

IC 카드 및 USIM 등의 보안 하드웨어 토큰은 기존의 보안 소프트웨어에 비해 독립적인 하드웨어 연산을 사용하기 때문에 안전하다고 인식된다. 그러나 하드웨어의 연산시 발생하는 부채널 정보(전력, 전자파 등)를 이용하는 부채널 공격에 취약할 수 있다. 본 논문에서는 부채널 공격 방법 중 널리 사용되고 있는 전력분석공격에 대한 대응 기법을 적용 시킨 SEED 하드웨어 모듈을 구현 하고, 공격에 효과적으로 대응이 가능한지 시뮬레이션을 통해 검증 한다.

• Annual Conference of KIPS
• /
• 2021.11a
• /
• pp.449-452
• /
• 2021

산업제어시스템은 IT 기술의 발전에 따라 다양한 기기 환경과 네트워크를 적용해 진화하고 있다. 이러한 상황에서 사이버 보안의 위협은 가중되고 있으며, 이를 예방하는 방법의 하나로 산업제어시스템에 탑재되는 소프트웨어의 소스코드 개발 과정에서 보안 취약점을 예방하기 위해 소스코드 보안 룰을 적용하여 위반사항을 제거한다. 본 연구에서는 소스코드 보안 룰에서 적용 우선순위를 선정하기 위한 가이드를 개발한다.

• Annual Conference of KIPS
• /
• 2021.11a
• /
• pp.32-35
• /
• 2021

단일 가상화 서비스 플랫폼은 메모리 및 컴퓨팅 집약적 워크로드를 수행하기 위한 고성능 시스템 환경의 신속한 구축을 지원하는 클라우드 기반의 소프트웨어 정의 서버를 위한 핵심 기술이다. 본 연구는 다수의 물리 노드를 통합하여 하나의 고성능 단일가상서버로 구성하기 위해 개발된 HCC 단일 가상화 서비스 플랫폼에서 대용량 데이터 처리 및 대규모 연산이 필요한 NGS 기반 농생명유전체 조립 프로그램과 이상 기상의 탐지 분석을 위한 GOES 위성자료 전처리 프로그램을 시험하여 활용 적합성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.227-229
• /
• 2012

한국해양연구원에서 개발하고 있는 해저보행로봇 CR200은 6개의 다리를 이용하여 해저면에서 보행으로 이동하며 정밀 해저탐사 및 작업을 수행할 수 있는 로봇이다. 운용자는 선상제어실에서 유선으로 연결된 CR200을 원격으로 모니터링하거나 제어한다. 특히 안정적인 보행을 위해서는 100Hz의 주기로 CR200의 상태 정보가 선상제어실로 전송되고, 선상제어실에서는 전송된 정보를 기반으로 제어 명령을 산출하여 CR200으로 전송해야 한다. 이러한 주기적인 실시간 제어를 위해서는 일반적으로 실시간 운영체제를 사용하지만, 본 논문에서는 실시간 운영체제를 사용하지 않고 시스템 시간 기반의 백그라운드 프로세스로 동작하는 소프트웨어 타이머를 사용하여 실시간 제어를 하는 방법을 제안하고, 성능 평가 결과를 제시한다. 제안한 방법의 실시간 속성을 검증하기 위하여, 현재 설계에서 운영체제로 고려하고 있는 우분투 10.04와 윈도우즈 7을 CR200에 탑재되는 Advantech 사의 PCM-3362 보드에 설치하여 소프트웨어 타이머의 성능을 10ms부터 100ms까지 각각 실험하였다. 실험결과에 따르면, 두 운영체제에서 모두 누락이 없이 타이머 동작이 수행되었으며, 10ms 간격으로 타이머를 동작하였을 때에 우분투에서는 평균 오차가 $41{\mu}s$이었고 윈도우즈 7에서는 7.7ms였다. 윈도우즈 7에서의 오차는 100Hz 제어 주기에 사용하기에 적합하지 않지만, 우분투에서의 오차는 제어 주기 간격의 0.41%에 불과하기 때문에 해저보행로봇의 실시간 제어에 영향을 주지 않는 오차이다. 따라서 CR200의 임베디드 컴퓨터와 선상제어실의 원격제어 컴퓨터는 우분투 운영체제 상에서 소프트웨어 타이머를 이용하여 상호 연동되도록 구현할 예정이다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.1
• /
• pp.24-38
• /
• 2009

In this paper, we implement processor debugger based on OCD(On-Chip Debugger). Implemented debugger consist of software debugger that supports a functionality of symbolic debugging, OCD integrated into target processor as a function of debugging, and Interface & Control block which interfaces software debugger and OCD at high speed rates. The debugger supports c/assembly level debugging using software debugger as OCD is integrated into target processor. After OCD block is interfaced with 32bit RISC processor core and then implemented with FPGA, the verification of On-Chip Debugging System is carried out through connecting OCD and Interface & Control block, and SW debugger.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.12
• /
• pp.1103-1111
• /
• 2016

Korea Astronomy and Space Science Institute (KASI) has been operating SLR (Satellite Laser Ranging) system with 2kHz repetition rate for satellite precise orbit and spin determination as well as space geodesy. But the SLR system was improved to be capable of laser ranging with high repetition rate, up to 10kHz by developing new operation software and novel range gate generator, called HSLR-10. The HSLR-10 will contribute to the accurate spin rate determination of geodetic satellites and geodetic research due to its largest repetition rate in the world. In this study, the development methodology and configuration of operation software are addressed, and its validation results are also presented.