• 제목/요약/키워드: computer software program

검색결과 807건 처리시간 0.024초

제어 흐름 난독화를 효과적으로 수행하기 위한 전략 (A strategy for effectively applying a control flow obfuscation to programs)

  • 김정일;이은주
    • 한국컴퓨터정보학회논문지
    • /
    • 제16권6호
    • /
    • pp.41-50
    • /
    • 2011
  • 악의적인 소프트웨어 역공학으로부터 프로그램이 가지는 코드를 보호하기 위해서 코드 난독화가 제안되었다. 이것은 기존에 존재하는 프로그램 코드를 어렵게 변환시키는 것으로 프로그램 코드에 대한 악의적인 정적 분석을 어렵게 만든다. 코드 난독화는 난독화 목적에 따라 레이아웃, 데이터, 제어 난독화로 분류되어진다. 이 중 제어 난독화는 프로그램이 가지는 제어 흐름에 대한 추상적인 정보를 보호하는 것으로 다양한 종류의 개별 제어 흐름 난독화 변환이 제안되었지만, 이를 효과적으로 적용할 수 있는 방법은 제안되지 않았다. 본 논문에서는 제어 흐름 난독화 변환을 프로그램에 효과적으로 적용할 수 있는 난독화 전략을 제안하고, 실험을 통해서 제안한 난독화 전략의 효용을 보였다.

유아의 컴퓨팅 사고력 함양을 위한 소프트웨어 교육 프로그램 적용 및 효과분석 (Application and Effectiveness Analysis of Software Education Program for Computational Thinking in Early Childhood)

  • 이경희;고은현;홍찬의;이영석;문은경;조정원
    • 융합정보논문지
    • /
    • 제10권12호
    • /
    • pp.100-109
    • /
    • 2020
  • 유아 소프트웨어 교육에 대한 관심과 논의가 지속적으로 이루어지고 있는 시점에서, 본 연구는 유아 소프트웨어 교육프로그램을 적용하고 이를 통해 소프트웨어 교육 효과성과 컴퓨팅 사고력 함양에 관해 분석하고자 하였다. 본 연구에서는 컴퓨팅 사고력 함양이라는 소프트웨어 교육의 궁극적인 목적을 달성을 할 수 있도록 소프트웨어 교육 내용 요소와 컴퓨팅 사고력 요소가 균형 있게 분포하고 있는 교육 프로그램을 적용하였다. 이를 통해 체험과 놀이 활동을 하며 자연스럽게 사고하는 방법을 일깨워 주고 문제를 발견하고 스스로 해결책을 찾아내는 경험을 할 수 있는 교육을 진행하였다. 연구 결과 본 연구에서 적용한 교육프로그램이 유아의 소프트웨어 교육 효과성과 컴퓨팅 사고력 함양에 도움을 주는 것으로 나타났다. 이러한 결과를 바탕으로 컴퓨팅 사고력을 함양할 수 있는 체계적인 유아 소프트웨어 교육을 위한 교육 프로그램을 제안하였다.

A Study on the Automatic Parallelization Method and Tool Development

  • Shin, Woochang
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제12권3호
    • /
    • pp.87-94
    • /
    • 2020
  • Recently, computer hardware is evolving toward increasing the number of computing cores, not increasing the clock speed. In order to use the performance of parallelized hardware to the maximum, the running program must also be parallelized. However, software developers are accustomed to sequential programs, and in most cases, write programs that operate sequentially. They also have a lot of difficulty designing and developing software in parallel. We propose a method to automatically convert a sequential C/C++ program into a parallelized program, and develop a parallelization tool that supports it. It supports open multiprocessing (OpenMP) and parallel patterns library (PPL) as a parallel framework. Perfect automatic parallelization is difficult due to dynamic features such as pointer operation and polymorphism in C/C++ language. This study focuses on verifying the conditions of parallelization rather than focusing on fully automatic parallelization, and providing advice to developers in detail if parallelization is not possible.

경희대학교 천문대의 천체관측 자료처리용 프로그램 개발 (DEVELOPMENT OF A COMPUTER PROGRAM FOR ASTRONOMICAL IMAGE DATA PROCESSING BY OBSERVATIONAL EQUIPMENT IN ASTRONOMICAL OBSERVATORY OF KYUNG HEE UNIVERSITY)

  • 김갑성
    • 천문학논총
    • /
    • 제10권1호
    • /
    • pp.135-146
    • /
    • 1995
  • We have developed a graphic software for image processing of astronomical data obtained by observational equipment in Astronomical Observatory of Kyung Hee University. The essential hardware for running our computer program is simply composed of a PC with the graphic card to handle 256 colors and the color graphic monitor, including CCD camera system. Our software has been programmed in WINDOWS to provide good environments for users, by using various techniques of image processing on astronomical image data recorded in FITS format by KHCCD program(Jin and Kim, 1994) with a compressional mode. We are convinced that our results will be a fundamental and useful technique in the construction of data processing system and can be effectively used in any other observatories, as well as in data processing system of Kyung Hee University.

  • PDF

CIM 구축을 위한 자동창고의 실시간 제어 및 모니터링 S/W (Real-time control & monitoring software of an AS/RS for CIM)

  • 손경준;오구일;정무영;이현용
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
    • /
    • pp.826-831
    • /
    • 1991
  • Automated Storage and Retrieval System (AS/RS), which is an element of Computer Integrated Manufacturing (CIM), is a widely used material handling equipment with conveyors and Automatic Guided Vehicles (AGVs). Until now the evaluation of operational policies of AS/RS and control algorithms is done theoretically or by computer simulations. In this study, a real-time control and monitoring software of an AS/RS is also developed by making actually moving AS/RS miniature. A PC-based real-time monitoring program can control the AS/RS directly through the communication port. The monitoring program has additional functions such as storage/retrieval management, inventory management, and statistics management. The program can not only collect the necessary statistics but monitor the current action of the AS/RS concurrently.

  • PDF

A Study on Filtering Techniques for Dynamic Analysis of Data Races in Multi-threaded Programs

  • Ha, Ok-Kyoon;Yoo, Hongseok
    • 한국컴퓨터정보학회논문지
    • /
    • 제22권11호
    • /
    • pp.1-7
    • /
    • 2017
  • In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

A RESEARCH ON SEAMLESS PLATFORM CHANGE OF REACTOR PROTECTION SYSTEM FROM PLC TO FPGA

  • Yoo, Junbeom;Lee, Jong-Hoon;Lee, Jang-Soo
    • Nuclear Engineering and Technology
    • /
    • 제45권4호
    • /
    • pp.477-488
    • /
    • 2013
  • The PLC (Programmable Logic Controller) has been widely used to implement real-time controllers in nuclear RPSs (Reactor Protection Systems). Increasing complexity and maintenance cost, however, are now demanding more powerful and cost-effective implementation such as FPGA (Field-Programmable Gate Array). Abandoning all experience and knowledge accumulated over the decades and starting an all-new development approach is too risky for such safety-critical systems. This paper proposes an RPS software development process with a platform change from PLC to FPGA, while retaining all outputs from the established development. This paper transforms FBD designs of the PLC-based software development into a behaviorally-equivalent Verilog program, which is a starting point of a typical FPGA-based hardware development. We expect that the proposed software development process can bridge the gap between two software developing approaches with different platforms, such as PLC and FPGA. This paper also demonstrates its effectiveness using an example of a prototype version of a real-world RPS in Korea.

Enhancing Model-based Fault Traceability by Using Similarity between Bug and Commit Information

  • 정동주;민경식;이정원;이병정
    • 인터넷정보학회논문지
    • /
    • 제20권2호
    • /
    • pp.29-37
    • /
    • 2019
  • As software development technology evolves, the quality of software has increased. But software created through sophisticated technology is still defective. The developer will be aware of the defect through a bug report and the reported defect must be fixed as soon as possible for the software to function correctly. It is important to know which component of the program is related to the reported defect and should be fixed. However, even though the developer understands the developed software, the task of tracing faults is a time-consuming task and requires effort. Therefore, if there is a way for developers to support tracing faults, they could fix defects more quickly. Because fixing defects rapidly is a factor of software reliability, fault traceability is essential and an effective method is needed. Therefore, in this paper, we propose a model-based fault traceability enhancement technique by using bug report and commit information and verify the effectiveness of the proposed technique.

컴퓨터 초보자 소프트웨어교육에 있어서의 UML 도구의 적합성 연구 (A Survey Study on the Design and Development of UML-based Education for Novice Computer Programmers)

  • 김연우;오지혜;오유란;박현석
    • 공학교육연구
    • /
    • 제22권6호
    • /
    • pp.3-11
    • /
    • 2019
  • To evaluate the suitability of UML (Unified Modelling Language) in terms of educating novice software engineers, we have conducted a survey study with 102 students who were enrolled in a mandatory course for sophomores in computer science and engineering department. The results indicate that UML 1) has high satisfaction rate among software novices as an education material, 2) improves computational thinking and problem-solving skills, and 3) increases the efficacy of learning when the education program is implemented in the order of UML, programming practice, and physical computing. This paper suggests the applicability of UML as a new education paradigm in software education.

유지보수 관리 체계의 정형화 및 비용 예측 모델에 관한 연구 (A Study on the Formalization of Maintenance Management Systems and the Cost Predictive Model)

  • 류성열;백인섭;김하진
    • 한국정보처리학회논문지
    • /
    • 제3권4호
    • /
    • pp.846-854
    • /
    • 1996
  • 본 연구에서는 소프트웨어 위기의 주요 원인인 유지보수 문제를 해결하기 위한 방안을 제시하기 위한 것으로, 국내의 유지보수 문제점과 현황을 설문으로 기초 조 사·분석하고 면담과 문헌을 참고하여 문제점을 해결하고자 하였다. 연구의 결과로 유지보수 생명주기를 정의하고 유지 보수를 효율적으로 수행하기 위한 기본 전략을 수립하고, 수립된 기본 전략을 구현하기 위한 유지보수 지원 시스템을 개략 설계하여 유지보수 시스템의 자동화 설계를 위한 기반을 구축하였다.

  • PDF