• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.1159-1168
• /
• 2012

기존의 Control Flow Integrity(CFI)와 Control Flow Locking(CFL) 기법은 프로그램이 개발자의 의도대로만 실행되도록 강제하여 실행 흐름의 무결성을 제공하고 안전한 프로그램 실행을 보장한다. 하지만, 함수 호출 문맥을 인지하는 보호 기법을 제공하지 않아 정밀도가 떨어지고 이를 악용한 공격을 허용하는 취약점을 가지고 있다. 본 논문에서는 이러한 문제점들을 해결하는 Source-code CFI(SCFI) 시스템을 제안한다. 제안한 시스템에서는 정밀도 높은 CFI 기능을 제공하여 프로그램의 안전성을 높인다.

• 천문학논총
• /
• 제12권1호
• /
• pp.47-62
• /
• 1997

In this paper we present a newly improved telescope control software and a newly developed data analysis software package for effective use of the Solar Flare Telescope(SOFT) The telescope control software permits us to make not only auto tacking of the SOFT, but also quantitative measurement of the solar irradiation, allowing us to provide weather monitorings. In addition we introduce an IDL widget software package for both monochromatioc (MONO version) and polarimetric data (VMG version) analysis. The MONO version is capable of loading FITS files, changing colors and contrast, image processing, displaying plots, and saving displayed plots by selected formats The VMG version, on the other hand provides a calibration of polarimetric data and plots of reduced vector magnetic fields.

• 한국자동차공학회논문집
• /
• 제22권3호
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.364-367
• /
• 2004

This paper presents the flight software of KoDSat (KSLV-l Demonstration Satellite) which performs demonstrating the KSLV-l (Korea Space Launch Vehicle-l)'s satellite launch capability. The KoDSat Flight Software executes in a single-processor, multi-function flight computer on the spacecraft, the OBC (On Board Computer). The flight software running on the single processor is responsible for all real-time processing associated with: processor startup and hardware initialization, task scheduling, RS422 handling function, command and data handling including uplink command and down-link telemetry, attitude determination and control, battery state of charge monitoring and control, thermal control processing.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1997년도 추계학술대회 논문집
• /
• pp.48-53
• /
• 1997

The objective of this paper is to present the development and application of interface software between robot and F/T sensor for force control. The interface software for among the robot controller, F/T sensor, and host PC is based on interrupt-driven method. To show the suitability of developed interface software, writing-task is performed in real time using F/T sensor that mounts on the wrist of the robot and Scara type 4-axis robot.

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

A stores management software which is embedded in the stores management system requires high-level reliability and real-time processing. It also required to implement and verify protocols which requires timing constraints to control various weapons. In this paper, we propose design methodology to design a stores management software and its support middleware based on the TMO (Time-triggered Message-triggered Object) model.

• 제어로봇시스템학회논문지
• /
• 제13권11호
• /
• pp.1082-1091
• /
• 2007

In this paper, we developed a new hybrid mobile robot which can climb stairs and go over thresholds by crawl gait with embedded real-time control software. This robot is also categorized into hybrid robot that has advantages of wheeled mobile robot and legged mobile robot, but adopts gait feature of crocodile named belly crawl. We imitated the belly crawl using four legs of 2 DOF, four omni-directional wheels, and embedded control software which controls legs and wheels. This software is developed using RTAI/Linux, real-time drivers. As a result, the new hybrid mobile robot has crawl gait. Using this feature, the new hybrid mobile robot can climb stairs and go over thresholds just by path planning of each leg with size of stairs and thresholds, and computing the movement distance of robot body center without considering stability. The performance of our new hybrid mobile robot is verified via experiments.

• 산업경영시스템학회지
• /
• 제20권42호
• /
• pp.49-57
• /
• 1997

As a software development methodology, object-oriented paradigm that has execellent reusability, portability, and extensibility, is currently being used in many application fields. Especially, UML(Unified Modeling Language), which is recently released as a third generation methodology for the object-oriented system development, has many advantages such as generalization, certainty, visualization. For this reason, the usability of UML in manufacturing system control is expected to increase. In this paper, analysis and design of FMC control system are peformed by UML. Software objects to accommodate the dynamic environment of FMC operations are modeled by using the diagrams of UML. The objective of this paper is to suggest a generic framework to design FMC control software.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
• /
• pp.488-491
• /
• 1988

In this work, we developed a real-time versatile advanced control and supervisory software for a personal computer control. This software, basically, has background and foreground tasks which are performed in parallel at real time. First, background tasks are composed of controls of various kinds, reports and input-ouput of signals etc, which are performed every sampling time. Second, foreground tasks are observation of operation conditions, data search, regulation of controllers and graphical design and display of processes, which are performed by users request. Additionally, this software has the functions of transporting data and composing distributed control systems, and all background tasks are composed of combination of unit function blocks.

• 대한가정학회지
• /
• 제27권3호
• /
• pp.61-69
• /
• 1989

This study was carried out to develop a computerized menu planning for athletes who need weight control. The outine of the computer lprogram for menu planing that was developed in this study are as follows: First of all, the athlete's weight to be lost/controlled, age, sex and quantity of daily activity were put into the computer. When an individual file was formed, an ordered menu formulated to control the necessary quantity of nutrients were sufficient. The software is planned according to the sturcture of the menu which can be chosen at random. Also, it was made possible to change the menu according to one's preference. Therefore, this was similar to the manmachine system which is desirable form in using the computer. The developed software could be used not only for athletes but also for a nutrition councelling program for those who need weight control.