• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• 천문학회보
• /
• 제37권2호
• /
• pp.177.2-177.2
• /
• 2012

위성의 궤도를 해석하기 위해서 일반적으로 STK(Satellite Tool Kit)나 Matlab Tool을 많이 사용한다. 이 도구들은 훌륭한 그래픽 사용자 인터페이스 환경과 다양한 라이브러리를 제공하기 때문에 사용하기에 상당히 편리하다. 하지만 STK의 경우는 다양한 해석을 수행하기 위한 Flexibility가 다소 제한적이고 상당히 고가라는 단점이 있으며, Matlab Tool의 경우는 계산 속도가 상대적으로 느려서 장기간에 대한 궤도해석이나 통계적인 분석에는 활용이 제한되는 측면이 있다. 항공우주연구원에서는 1993년부터 FORTRAN 언어로 구성된 Astro Library라는 궤도계산용 도구를 개발하였으며 그 후 정밀도를 개선하고 성능을 분석하는 작업들을 수행해 왔다. 또한 FORTRAN 언어가 가지는 비구조적인 특징으로 인하여 사용상 불편한 점들이 발견되어 Astro Library를 C++언어로 변환하여 객체화하는 작업을 수행하였다. 즉 시간, 태양, 지구, 달, 위성, 궤도 및 이들을 정의하는 속성을 각각의 객체로 정의하여 직관적으로 코딩 작업을 수행할 수 있도록 구성하였다. 개발된 프로그램은 무궁화위성, 천리안위성의 해석에 적용되어 편리성 및 정밀도가 입증되었다. 다양한 환경에서의 사용경험을 통하여 특히 복수위성에 대한 궤도 해석에 상당히 효과적임을 알 수 있었다. 본 논문에서는 개발된 궤도해석 프로그램인 Astro Library의 객체 구조에 대하여 정리하였고 몇 개의 적용 사례를 소개하였다.

• 정보보호학회논문지
• /
• 제17권2호
• /
• pp.51-59
• /
• 2007

소프트웨어 테스팅은 소프트웨어의 버그 및 잘못 구현된 부분 등을 찾아내는 과정을 통해 품질을 평가하는 방법이다. 퍼징(fuzzing)은 소프트웨어 테스팅 기술의 여러 가지 방법 중 하나로써 난수를 발생시켜 테스팅하고자 하는 소프트웨어에 주입하는 방법으로써 보안에 중점을 두어 테스팅하는 방법이다. 퍼징은 단위 시간 당 테스팅 효율성, 비용 절감 등 여러 가지 장점을 이유로 다수 사용되고 있으나 퍼징 수행 시 전문가의 개입이 많은 단점이 존재한다. 예를 들면 해당 소프트웨어가 사용하는 프로토콜 혹은 퍼징 대상이 파일인 경우 파일 포맷에 대한 분석을 수행한 후에야 가능하기 때문에 테스팅 기간이 길어질 수 있으며 퍼징 도구를 이용해도 퍼징 대상의 프로토콜 및 포맷에 대한 분석이 난해한 경우 테스팅 대상에 대한 퍼징을 수행하지 못할 수도 있다. 본 논문에서 설계한 ROAD는 RPC 기반 프로토콜 및 소프트웨어를 자동으로 퍼징할 수 있는 도구이다. RPC는 다수의 취약점이 발견된 구성요소로써 본 논문에서는 이를 자동으로 퍼징할 수 있는 도구의 구현을 목표로 하였다. 기존의 도구 중 RPC 기반 소프트웨어를 퍼징하는 도구가 존재하지만 자동화되어 있지 않을 뿐만 아니라 소프트웨어에 따라 도구를 수정해야만 사용이 가능하다. 본 논문은 이러한 단점을 극복하고자 자동화 도구를 설계 및 구현하여 실제 RPC 기반 프로토콜 및 소프트웨어에 적용하였다. 또한 실험을 통해 도구의 효용성을 검증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.591-594
• /
• 2000

객체 지향형 소프트웨어가 개발되고 발전함에 따라 동시성 프로그래밍의 수요가 증가하고 그 기법 역시 다양해지고 있다. 이 결과 소프트웨어의 복잡도가 매우 높아지고, 특히 수행시간 복잡도(run-time complexity)가 매우 높아져서 소프트웨어의 설계와 안정성 검증 분야에 많은 문제가 발생되고 있다. 현재 객체 지향형 소프트웨어의 검증을 위한 연구로 소스 코드를 직접 변환시켜 검증하는 방법과 수행시점에서의 검증을 위해 정형 검증 도구가 직접 객체를 표현할 수 있는 방법을 연구하고 있다. 본 논문에서는 소스코드의 변환을 이용한 검증 도구인 java2spin 과 spin 의 동적인 확장인 dSPIN에 대해 살펴보고 두 도구의 차이점과 장단점을 살펴본다.

• 디지털융복합연구
• /
• 제20권3호
• /
• pp.517-527
• /
• 2022

본 연구의 목적은 치매, 경도인지장애, 허혈성 뇌졸중 환자의 인지기능, 우울과 일상생활수행능력의 변화를 비교하고 도구적 일상생활수행능력의 변화를 설명하는 요인을 확인하기 위함이다. 총 86명(치매=30명, 경도인지장애=32명, 허혈성 뇌졸중=24명)으로부터 진단 시점과 1년 뒤에 인지기능, 우울, 기본적 및 도구적 일상생활수행능력 자료를 수집하여 분석하였다. 반복측정분산분석과 다중회귀분석을 이용하였다. 집행기능(p=.037)과 도구적 일상생활수행능력(p=.023)에서 측정 시점에 따른 집단 간 교호작용이 유의한 것으로 확인되었다. 경도인지장애 집단은 진단 후 1년 동안 집행기능과 도구적 일상생활수행능력의 변화가 거의 없었으나, 시간이 지남에 따라 치매 집단에서는 감소하는 양상이 나타났고 허혈성 뇌졸중 집단에서는 향상되는 양상을 나타냈다. 또한, 집행기능이 저하될수록(p=.030), 기본적 일상생활수행능력이 저하될수록(p<.001) 도구적 일상생활수행능력도 저하되는 것으로 확인되었으며 설명력은 26.9%였다. 이러한 결과는 인지변화를 주요 증상으로 가지는 치매, 경도인지장애, 허혈성 뇌졸중 환자에서 진단 후 1년까지 질병의 초기 단계에 각기 다른 집행기능 변화 양상이 나타났으며, 이로 인해 도구적 일상생활수행능력 변화 양상이 다른 것으로 보인다. 보건의료전문가는 진단 직후부터 집행기능과 도구적 일상생활수행능력 문제를 정기적으로 평가하고 이와 관련된 기능 상태를 유지 및 증진하기 위한 중재를 제공해야 할 것이다.

• 디지털융복합연구
• /
• 제10권3호
• /
• pp.99-104
• /
• 2012

디지털 포렌식은 기기에 내장된 디지털 자료를 근거로 삼아 발생한 행위에 대한 사실관계를 규명하고 증명하는 신규 보안서비스이다. 본 논문에서는 디지털 포렌식 수행 절차인 증거 수집, 증거 분석, 증거 제출에 사용할 수 있는 디지털 포렌식 도구를 구현하였다. 이 디지털 포렌식 도구는 누구나 쉽게 분석할 수 있도록 하기 위하여 직관적인 GUI를 제공하고, 간단한 조작만으로도 활성 데이터를 수집, 분석할 수 있고, 많은 시간과 노력을 감소시키고, 신뢰성이 있는 자료를 제공할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.576-578
• /
• 2007

본 논문에서는 Ingo Molnar 의 realtime-preempt 패치가 적용된 리눅스를 활용한 실시간 시스템에서 다른 프로세스와 동시에 수행하지 않고도 다른 프로세스에 의한 실시간 프로세스의 최악 응답시간의 변화를 예측할 수 있도록 최악 응답 시간에 영향을 주는 커널 모드에서 선점 금지 시간을 프로세스 별로 분석을 하기 위한 도구를 커널 모듈로 구현하여 실시간 프로세스의 최악 응답 시간을 예측할 수 있음을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.199-202
• /
• 2006

실시간 시스템에서는 정해진 시간 안에 작업을 수행해야 하는 것이 가장 중요하다. 때문에 실시간 시스템에서의 응답시간 위반은 물질 또는 인명 피해와 직결된다. 이에 응답시간을 보장하기 위해 실시간 시스템을 분석하는 기법들에 대한 많은 연구가 진행되었다. 그러나 기존의 분석 방법들은 최악실행시간을 도출하기위해 실시간 프로그램의 흐름을 분석하거나 분석을 위한 제약을 생성할 때 부하가 생기는 문제점을 가지고 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 프로그램에서 나타나는 함수 또는 변수 등이 중복해서 사용되는 특성들을 이용하여 실행시간 분석에 대한 부하를 줄일 수 있는 방법을 제안하고, 제안한 방법을 기반으로 실시간 프로그램에서 실행시간을 예측할 때 필요한 기본 자료들을 도출할 수 있는 소스코드 분석 도구를 제안한다.

• Journal of Biosystems Engineering
• /
• 제23권2호
• /
• pp.195-205
• /
• 1998

급속한 산업의 발전은 우리의 생활을 여러모로 바꾸어 왔다. 그 중에서 특히 자연에 의존하는 농업분야는 이러한 산업의 발달에 힘입어 날로 기계화 및 정보화되고 있는 실정이다. 따라서 현대사회에서는 과거와 달리 다양한 형태의 도구들이 등장하여 이것을 이용함으로써 발전 속도가 더욱 가속화되고 있는 추세이며, 그 활용 여부가 우리 모두의 중요한 경쟁력으로 자리하고 있다 농업분야에서의 도구들은 생산성 향상에 기여하는 농업관련 기계에 초점을 맞추어 왔으나, 이제는 농산물의 품질에도 상당히 중요성이 인식되어 그것을 측정 및 분석하는 다양한 방법과 도구들이 등장하고 있는 실정이다. 그 중에서도 특히 농산물의 품질을 신속하게 판별하려는 여러 가지 시도는 괄목할만한 발전을 해왔으며, 그 응용분야도 날로 확산되고 있는 추세이다. 농산물은 공산품과 달리 상당히 불균일한 산물이며, 때문에 가급적 다수의 시료를 측정하여 결과를 사용하지 않으면 신뢰도가 떨어져 측정 가치를 잃게 된다. 그래서 시료를 파괴하지 않고 짧은 시간 내에 전수검사를 수행할 수 있는 분석 및 측정방법을 연구 발전시켜 왔다. 이 중에서 빛을 이용하여 분석을 행하는 분광학(Spectroscopy) 중에서 근적외선(Near Infra Red)을 이용한 형태에 대해 알아보기로 한다.(중략)

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권5호
• /
• pp.271-281
• /
• 2007

임베디드 운영체제에서의 실시간성 지원은 현대 임베디드 시스템에서 추가사항이 아니라 필수사항이다. 이러한 임베디드 운영체제가 사용되는 시스템의 실시간성 지원을 충족하기 위해서는 시스템 내 실시간성이 요구되는 태스크들의 스케줄링 가능성 여부가 중요하며, 이를 시스템 수행 전 검증해야 할 필요가 있다. 스케줄링 가능성 분석에서 핵심적인 부분 중의 하나는 태스크의 최악실행시간을 구하는 것이다. 기존의 최악실행시간 분석도구들은 일반적인 응용 태스크 즉, 응용 프로그램의 최악실행시간을 위주로 분석하였기 때문에 응용 프로그램들이 운영체제에 의해 스케줄링시 영향을 받는 운영체제의 스케줄링 관련 프리미티브들(스케줄러, 인터럽트 서비스 루틴등)에 대한 고려는 전혀 하지 않고 있다. 본 논문에서는 임베디드 운영체제 중에 널리 사용하고 있는 임베디드 리눅스가 사용되는 임베디드 시스템에서의 스케줄링 관련 프리미티브들을 고려하는 최악실행시간 분석 도구를 설계하고 구현한다. 이 분석도구는 일반적인 응용 프로그램 뿐만 아니라 임베디드 리눅스 커널내의 스케줄링에 영향을 미치는 관련 프리미티브들의 최악실행시간을 분석하여 스케줄링 분석의 정확성을 더욱 더 높인다. 이 도구는 현재 임베디드 환경에서 통합개발환경으로 제작된 이클립스(Eclipse)의 플러그인 형태로 개발되어 어떠한 플랫폼에서도 동작 가능하고 사용자가 사용하기에 편리한 인터페이스 및 기능을 제공할 수 있도록 구현한다.