• 정보처리학회논문지A
• /
• 제14A권3호
• /
• pp.185-190
• /
• 2007

임베디드 리눅스 디바이스 드라이버의 개발이 증가하면서 이에 대한 오류 테스트 기능을 가진 모듈의 필요성이 증가되고 있다. 본 논문은 리눅스 디바이스 드라이버를 위한 freed 메모리 오류 테스트 모듈의 기본 개념을 제시하며, 기본 개념을 바탕으로 오류 테스트 모듈을 설계한다. freed 메모리 오류 테스트 모듈 설계를 위해 리눅스 USB 디바이스 드라이버에 적용하고, 오류가 발생할 가능성이 존재하는 부분에 대한 검증 코드를 추가하여 테스트 모듈을 작성한다. 오류 테스트 모듈 설계를 위해서 usb storage 디바이스 드라이버를 대상으로 하였다. 또한 작성된 오류 테스트 모듈의 실험을 진행하였다. 실험을 통해 리눅스 디바이스 드라이버의 오류 테스트 모듈의 동작을 확인할 수 있다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.985-996
• /
• 2019

본 논문에서는 미국에서 암호모듈검증을 획득한 대표적인 소프트웨어 형태의 암호모듈인 FIPS-OpenSSL의 소스 코드를 분석하여 암호모듈 검증 및 시험기준에서 요구하는 보안요구사항이 소프트웨어적으로 어떻게 구현되어있는지 분석한다. 특히, 암호모듈이 반드시 탑재하고 있어야 하는 자가시험기능 (동작 전 자가시험, 조건부 자가시험) 관점으로 소스코드를 분석한다. 비록 미국 암호모듈 검증제도에서는 FIPS 140-2를 검증기준으로 삼고 있지만, FIPS 140-2는 국내 암호모듈 검증제도에서 암호모듈 검증 및 시험기준으로 삼고 있는 암호모듈 국제표준인 ISO/IEC 19790과 24759의 근간이 되었기 때문에 많은 유사함이 존재한다. 본 논문의 분석을 통하여 향후 암호모듈 개발업체에서 자가시험기능을 정확하고 안전하게 구현할 수 있을 것으로 기대한다.

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2022년 정기학술대회 논문집
• /
• pp.139-140
• /
• 2022

본 연구는 재난발생 시 현장 상황 판단 및 대응 능력이 현저히 떨어지는 안전취약계층 중 장애인과 노인이 재난정보를 받고 안전하게 대피·대응할 수 있도록 지원하는 시스템의 시범적용에 대한 것이다. 재난정보 전달 및 대피지원 시스템은 재난에 취약한 장애인과 노인이 재난상황에서 각각의 취약 특성을 고려하여 재난 위기상황에 대응하도록 설계 하였으며, 실내 위치측정에 관한 공간정보 표준 및 데이터 구축과 개발한 시스템을 설치하고 구현할 수 있는 실내 공간을 선정하여 시범적으로 적용하였다. 재난정보 및 대피지원 시스템의 시범적용을 위해 선정된 시설의 실내 공간정보 구축 및 현행화를 통해 실내 대피경로를 구축하고, 실제 시범적용을 통해 보완하는 과정을 수행하였다. 장애인·노인 대상 재난정보 전달 및 대피지원 서비스 구축을 위해 실내에서 재난발생 시 재난정보 데이터를 실시간으로 수집하고 스마트폰과 연계할 수 있는 연계 모듈을 개발하였다. 또한 재난정보를 스마트폰에 알릴 수 있는 알람 푸시 모듈, 재난정보 및 대피 안내 모듈과 시각 장애인의 실내 공간 인지를 위한 음성안내 모듈을 개발하였다. 본 연구의 목적은 IoT 기반의 통합관제 기술을 활용하는 서비스 제공을 통해서 정보전달의 사각지대를 해소하고 장애인·노인의 효율적 재난 대응을 위해 맞춤형 재난정보 전달 및 대피지원 서비스를 구축하고 시범적용의 과정을 통해 문제점을 보완하여 최종적으로 재난으로부터 안전취약계층의 안전성을 향상시키는데 목적이 있다.

• 마케팅과학연구
• /
• 제14권
• /
• pp.125-144
• /
• 2004

본 연구는 중소규모의 인터넷 전자상거래쇼핑몰의 소비자정보 최적화를 위한 마케팅모듈의 적용에 관한 연구이다. 본 연구에서 적용한 마케팅모듈은 e-CRM 의 RFM 모듈과 이메일에 대한 장기적인 고객반응도를 분석한 이메일 반응모듈이며, 이 두 가지 분석방법으로 분류된 소비자그룹에 대한 이메일발송을 통한 ROI 분석을 통해 마케팅모듈에 대한 타당성을 검증하고자 하였다. 연구결과 두 가지 모듈에 의해 분류된 각 그룹에 대한 ROI 분석결과 매출에 대한 기여도인 전환율, 개인화요소 및 이메일반응점수인 충성도지수 모두 우수고객이 타 고객에 비해 높은 것으로 나타났으며, 이메일 기초반응도인 오픈율, 인지율, 클릭율에서도 접수가 높은 것으로 나타났다. 따라서 자본, 인원의 제약이 따르는 중소 인터넷기업은 저비용, 고효율의 타겟 마케팅 전략으로서 유효DB를 확보해야 하며, 기업의 DB구조 및 특성에 따라 RFM 및 이메일반응 모듈과 같은 타당한 마케팅모듈을 채택하여 고객서비스 및 기업수익을 강화할 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.

• 인터넷정보학회논문지
• /
• 제12권3호
• /
• pp.1-16
• /
• 2011

본 논문에서는 실내에 센서 네트워크가 적용된 USN 응용 시스템에서 발생하는 센서나 설비 장치의 오작동을 진단하여, 해당 시스템이 제공하는 서비스의 신뢰성을 높여주는 오작동 진단 상황인지 미들웨어를 제안한다. 본 논문에서 새롭게 제안하는 미들웨어는 데이터관리 모듈, 상황정보제공 모듈, 상황분석 모듈, 서비스제공 모듈, 정보저장소 모듈로 구성되며, 모듈간의 상호작용으로 얻은 데이터는 오작동 진단 알고리즘을 통해 비교 분석함으로써, 센서나 설비 장치의 오작동 여부를 판단한다. 구현된 미들웨어는 시뮬레이션을 통해 수행성을 검증하였다. 그 결과 다수의 센서가 설치된 대형 시스템에서 본 미들웨어가 높은 성능을 발휘한다는 것을 확인할 수 있었다.

• 정보처리학회논문지A
• /
• 제19A권1호
• /
• pp.23-34
• /
• 2012

본 연구에서는 오토마타 이론을 적용하여 Simulink 모델의 각종 정보를 보여주고 시뮬레이션 결과를 출력하는 모듈 구조를 제안하고, 이를 구현하였다. 이 모듈은 사용자로부터 명령을 받아서 Simulink 모델의 각종 내부 정보와 시뮬레이션 결과를 보여주는 기능을 제공하는 메인 프로그램과 Simulink 모델의 시뮬레이션을 제어하기 위한 별도의 스레드, 그리고 실제로 시뮬레이션을 수행하는 Simulink 모델의 세 가지 독립적인 시스템으로 이루어져 있다. 오토마타를 이용하여 각 시스템과 전체 모듈을 설계 및 검증하고, C# 과 MATLAB을 통해 이를 구현한다. 그리고 구현된 모듈의 동작을 실제 모델을 통한 실험으로 검증하였다.

• 창의정보문화연구
• /
• 제5권1호
• /
• pp.45-51
• /
• 2019

본 논문에서는 SW교육의 심화교육으로 가상현실 프로그래밍 교육을 초·중등학교 수준에 맞추어 적용할 수 있는 모듈을 개발하고 해당 모듈의 적용 가능성 및 효과성을 검증하였다. 연구 결과 본 논문에서 제시한 가상현실 프로그래밍 모듈은 문제해결과 학습몰입에서 모두 유의미한 향상을 나타났다. 따라서 본 연구를 통해 개발된 가상현실 프로그래밍 모듈은 일선 초·중학교에서 기초적인 코딩의 개념과 알고리즘 이해 교육을 벗어나 심화교육으로 적용될 가능성이 충분한 것으로 판단된다. 특히, 전국 2,920개의 영재교육기관에서 이루어지고 있는 정보영재교육에 활용 될 경우 정보영재교육의 수준을 높여줄 수 있을 것으로 기대된다. 또한, 가상현실 프로그래밍 교육은 과학, 예술, 건축 등 다양한 분야와 융합교육이 가능해 학생들에게 다양한 흥미를 제공해주고 종합적인 분석력과 창의력을 길러줄 것으로 기대된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제45차 동계학술발표논문집 20권1호
• /
• pp.15-17
• /
• 2012

최근 들어 스마트폰이 급격하게 보급됨에 따라 스마트폰을 이용하여 상대방의 위치를 확인하는 응용 프로그램이 많이 개발되고 있다. 현재 운영중인 위치 추적 서비스는 두 사람이 스마트폰을 소지하고 있는 경우의 서비스 형태와 한 사람만 스마트폰을 소지하고 있는 경우의 서비스 형태로 분류된다. 우리는 스마트폰과 스마트폰 간의 위치 정보 교환을 통해 상대방의 위치를 찾는 방식이 아닌 스마트폰과 GPS모듈 간의 위치 정보 교환을 통하여 어린이나 애완견의 위치를 찾을 수 있도록 GPS 모듈을 개발하고 이 모듈과 통신하는 스마트폰 앱을 개발하였다. 개발된 GPS 모듈은 위치 정보를 받아 전달하는 기능만 가지므로 스마트폰에 비해 매우 저렴하게 구성할 수 있어서 적은 경비로 상대방을 찾을 수 있으며 공중망 대신 무선랜 망을 통해 위치정보를 전달하게 설계되어 추가적인 통신 비용이 들지 않는 장점을 가진다. 하지만 위치추적 서비스가 무선랜 망이 구축된 제한된 구역에서만 가능하다는 단점이 있다. 개발된 위치추적 서비스 방식은 시장이나 놀이공원 같은 특수한 지역에서 유용하게 사용될 수 있을 것으로 생각된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.310-312
• /
• 2001

최근 인터넷상에서 DTD 기반의 XML 문서가 문서 교환의 표준 수단으로 등장하면서 B2B 상에서 XML 문서의 사용이 빠른 속도로 증가하고 있다. 그러나 B2B 환경에서 문서교환시스템은 각기 다른 형태의 문서구조의 사용으로 인하여 시스템의 통합 및 상호운용에 있어 많은 어려움이 있다. 이에 논리적으로는 유사한 문서 교환 시스템의 통합 및 상호운용에 있어서 XML 문서의 교환을 위해서는 상호 변환 모듈이 필요하다. 그러나 상호 변환 모듈 개발을 위한 표준화된 방법과 툴의 미비로 인하여 변환 모듈 개발과 유지 보수에 많은 비용이 소요된다. 본 연구에서는 논리적으로 비슷하지만 서로 다른 DTD 기반의 XML 문서를 상호 변환하는 변환기를 자동 생성하는 시스템(XTGen)을 설계하고 구현한다. 시스템은 XML 문서를 검증하고 DTD를 추출하는 컴포넌트(XDA), 검증된 DTD를 문서 구조 정보 형식으로 변경하는 컴포넌트(DDA), 문서 구조 정보를 보여주고 상호 변환을 위해 매핑 할 수 있도록 하는 컴포넌트(DIV), 두 문서간의 매핑 정보를 추출하는 컴포넌트(MDO), 추출된 매핑 정보를 바탕으로 2개의 XML 문서를 상호 변환하는 변환기를 생성하는 컴포넌트(TCG)로 구성된다. 본 연구에서는 제안한 XML 변환기 생성 시스템(XTGen)은 XML 문서들의 상호 변환을 위한 변환 모듈을 자동 생성함으로써 변환기 생성의 비용을 감소시킬 수 있고 변환 모듈의 표준화를 통해 유지 보수성을 높일 수 있다.