• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.73-78
• /
• 2017

Space development program is a large and complex system consisting of a multi-disciplinary high-end technologies and it is important to implement a program management system connected with systems engineering as well as to develop critical technologies. Major organizations in space fields carry out effective budget execution management and operation according to the strategy and objective of space development using information systems. Korea Space Launch Vehicle II(KSLV-II) has adopted a cost management plan using a system engineering to complete the program within the assigned schedule and budget. This paper introduces the budget execution management system applied to KSLV-II budget management and the budget execution dashboard system for supporting program decision making.

• 한국정보통신학회논문지
• /
• 제20권8호
• /
• pp.1553-1560
• /
• 2016

본 논문은 윈도우 시스템 환경에서 구동되는 프로그램에 대한 실행 권한을 통제할 수 있도록하는 제어 프로그램을 설계한다. 윈도우 프로그램의 정형화된 구조 정보를 이용하여 실행 프로그램의 특정 위치 정보를 임의의 비트 값으로 변환을 하여 일반 사용자는 실행을 할 수 없도록 한다. 이렇게 변환된 비트 값은 허가된 사용자의 경우 원래의 비트 값으로 되돌릴 수 있도록 함으로써 프로그램이 정상적으로 수행이 될 수 있다. 이렇게 함으로써 윈도우 실행 프로그램에 대한 역공학의 위험 등에 보다 안전하게 사용할 수 있도록 한다. 본 논문에서 제안하는 프로그램 실행 권한 제어 프로그램에 대해서 설계하고 실험을 수행하였다. 실험을 수행한 결과 윈도우 환경에서 사용자 프로그램에 대한 실행 권한 제어 기능이 정상적으로 동작됨을 확인할 수 있었다.

• International Journal of Internet, Broadcasting and Communication
• /
• 제11권3호
• /
• pp.1-7
• /
• 2019

Previously, parallel computing was mainly used in areas requiring high computing performance, but nowadays, multicore CPUs and GPUs have become widespread, and parallel programming advantages can be obtained even in a PC environment. Various parallel programming frameworks using multicore CPUs such as OpenMP and PPL have been announced. Nvidia and AMD have developed parallel programming platforms and APIs for program developers to take advantage of multicore GPUs on their graphics cards. In this paper, we develop digital image transformation programs that runs on each of the major parallel programming frameworks, and measure the execution time. We analyze the characteristics of each framework through the execution time comparison. Also a constant K indicating the ratio of program execution time between different parallel computing environments is presented. Using this, it is possible to predict rough execution time without implementing a parallel program.

• 한국멀티미디어학회논문지
• /
• 제7권7호
• /
• pp.985-997
• /
• 2004

본 논문에서는 플랜 정합과 프로그램 실행결과를 이용하여 초보자들의 C언어 프로그램을 이해하고 오류를 지적해 주는 프로그래밍 오류 분석시스템을제시하였다. 프로그램 실행 결과를 이용함으로써 프로그래밍 플랜간의 연관관계를 유연하게 표시할 수 있고, 플랜 정합의 차이점이 정확한지를 검증할 수 있게 해주며, 한 플랜의 오류가 연관된 타 플랜에 어떤 영향을 주었는지를 파악할 수 있게 해준다. 플랜 간의 연관관계에 따라 오류의 원인과 파급 효과를 지적하고 예제나 반례에 해당하는 사례를 구체적으로 제시하여, 사용자가 이해하기 쉽게 오류에 대한 설명을 제공한다. 14종의 다양하고 난이도 있는 실습예제에 대해 학생들이 작성한 프로그램에 있는 오류를 분석함으로써 안정되고 신뢰성 있는 오류분석 시스템임을 보여주고 있다.

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

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.

• Journal of Information Processing Systems
• /
• 제17권1호
• /
• pp.191-202
• /
• 2021

In an Internet of Things (IoT)-configured system, each device executes on-chip software. Recent IoT devices require fast execution time of complex services, such as analyzing a large amount of data, while maintaining low-power computation. As service complexity increases, the service requires high-performance computing and more space for embedded space. However, the low performance of IoT edge devices and their small memory size can hinder the complex and diverse operations of IoT services. In this paper, we propose a remote on-demand software code execution unit using the cloudification of on-chip code memory to accelerate the program execution of an IoT edge device with a low-performance processor. We propose a simulation approach to distribute remote code executed on the server side and on the edge side according to the program's computational and communicational needs. Our on-demand remote code execution unit simulation platform, which includes an instruction set simulator based on 16-bit ARM Thumb instruction set architecture, successfully emulates the architectural behavior of on-chip flash memory, enabling embedded devices to accelerate and execute software using remote execution code in the IoT environment.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2008년도 추계학술대회 논문집
• /
• pp.405-406
• /
• 2008

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.811-820
• /
• 2017

최근 소프트웨어 자동화 기술 연구는 단일 경로의 테스트 케이스 생성뿐만 아니라, 다양한 테스트 케이스를 통해 취약점으로 도달할 수 있는 최적화된 경로를 파악하는 것에 중점을 두고 있다. 이러한 자동화 기술 중 Dynamic Symbolic Execution(이하, DSE) 기술이 각광 받고 있지만, 현재 대부분의 DSE 기술 적용 연구는 리눅스 바이너리 혹은 특정 모듈 자체만을 대상으로 적용하는 데 그치고 있는 실정이다. 하지만 대부분의 소프트웨어의 경우 입력 파일을 기반으로 작업이 수행되고, 또 이러한 과정에서 취약점이 다수 발생하고 있다. 따라서 본 논문은 소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법을 제안한다. 실제 바이너리 소프트웨어 3종에 적용한 결과 제안하는 방법을 통해 효과적으로 해당 지점에 도달하는 테스트 케이스를 생성할 수 있었다. 이는 DSE 기술이 실제 소프트웨어 분석의 자동화에 활용될 수 있음을 보여준다.

• 한국멀티미디어학회논문지
• /
• 제12권9호
• /
• pp.1309-1315
• /
• 2009

본 연구에서는 일반 프로그램 실행 시에 발생할 수 있는 보안 결함이 의심되는 부분의 바이너리 코드를 추출하는 기술개발을 목표로 한다. 이를 위하여 분석 대상 실행프로그램에서 정규적으로 발생하는 예상 취약점 부분을 토대로 실제 수행하면서 동적 분석 및 조사하면서, 각종 로그 기록을 산출할 수 있는 기술을 개발하였다. 본 연구의 결과는 기업 및 기관의 보안관련 조직의 교육 자료로써 활용할 수 있을 뿐 만 아니라 외부 정보침입자로부터 해킹을 방지 할 수 있게 된다.

• 정보교육학회논문지
• /
• 제23권1호
• /
• pp.19-27
• /
• 2019

본 연구에서는 알고리즘의 수행시간 분석에 초점을 맞춘 언플러그드 방식의 교육이 초등학교 3학년 학생들의 컴퓨팅 사고력 향상에 미치는 효과를 분석해보았다. 현직 초등교사 70명과 초등학교 3학년 학생 120명을 대상으로 실시한 요구분석 결과를 바탕으로, ADDIE 모형의 절차에 따라 언플러그드 교육프로그램을 개발하였다. 개발한 교육프로그램으로 초등학교 3학년 학생 24명에게 총 6일 동안 36시간의 수업을 진행하였고, 같은 시간 동안 보드게임 교육을 받은 24명의 학생들과 사전 사후 비교 검사를 통해 효과를 분석하였다. 분석 결과, 알고리즘의 수행시간 분석에 초점을 맞춘 언플러그드 방식의 교육은 초등학교 3학년 학생들의 컴퓨팅 사고력에 긍정적인 효과를 미치는 것으로 확인되었다.