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

스마트폰의 대중화와 더불어 웨어러블 디바이스, 가전제품, 스마트 TV에도 운영체제가 보급되고 있다. 사용자는 운영체제가 설치된 디바이스 상에서 다양한 애플리케이션을 사용할 수 있게 되었지만, 반면에 애플리케이션을 통한 해커의 위협도 증가하고 있다. 이에 따라, 운영체제 내 애플리케이션의 위변조를 탐지하기 위한 기술은 더욱 중요시되고 있으며, 애플리케이션의 위변조를 탐지하기 위한 기술 중 하나로, 전자서명 기술이 널리 사용돼 왔다. W3C의 규격에 따라 애플리케이션은 최소 2회 이상의 서명이 필요하며, 설치 시 각 구성요소에 대한 모든 서명 파일이 검증되어야 한다. 따라서 애플리케이션 전자서명 검증 시스템의 성능은 운영체제의 인스톨러 성능에 큰 비중을 차지한다. W3C 규격을 준수한 운영체제의 애플리케이션 전자서명 검증 시스템은 구성요소에 대한 무결성 검증 과정이 중복되기 때문에 성능 저하가 발생한다. 본 연구는 이러한 문제를 해결하기 위해 무결성 검증 과정 내 프락시 시스템을 도입하여 성능을 향상하는 방법을 제안한다. 제안된 연구는 기존 검증 시스템 대비 효율적으로 성능이 개선됨을 보여준다.

• International Journal of Computer Science & Network Security
• /
• 제23권6호
• /
• pp.107-114
• /
• 2023

Successful implementations of DevOps practices significantly improvise software efficiency, collaboration and security. Most of the organizations are adopting DevOps for faster and quality software delivery. DevOps brings development and operation teams together to overcome all kind of communication gaps responsible for software failures. It relies on different sets of alternative tools to automate the tasks of continuous integration, testing, delivery, deployment and monitoring. Although DevOps is followed for being very reliable and responsible environment for quality software delivery yet it lacks many quantifiable aspects to prove it on the top of other traditional and agile development methods. This research evaluates quantitative performance of DevOps and traditional/ agile development methods based on software metrics. This research includes three sample projects or code repositories to quantify the results and for DevOps integrated selective tool chain; current research considers our earlier proposed and implemented DevOps hybrid model of integrated automation tools. For result discussion and validation, tabular and graphical comparisons have also been included to retrieve best performer model. This comparative and evaluative research will be of much advantage to our young researchers/ students to get well versed with automotive environment of DevOps, latest emerging buzzword of development industries.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2001년도 춘계학술발표회요약집
• /
• pp.105.2-105
• /
• 2001

• 정보과학회지
• /
• 제30권9호
• /
• pp.37-45
• /
• 2012

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 요약집 춘계학술발표대회
• /
• pp.227-227
• /
• 2004

• Journal of Astronomy and Space Sciences
• /
• 제34권3호
• /
• pp.213-223
• /
• 2017

The deep space orbit determination software (DSODS) is a part of a flight dynamic subsystem (FDS) for the Korean Pathfinder Lunar Orbiter (KPLO), a lunar exploration mission expected to launch after 2018. The DSODS consists of several sub modules, of which the orbit determination (OD) module employs a weighted least squares algorithm for estimating the parameters related to the motion and the tracking system of the spacecraft, and subroutines for performance improvement and detailed analysis of the orbit solution. In this research, DSODS is demonstrated and validated at lunar orbit at an altitude of 100 km using actual Lunar Prospector tracking data. A set of a priori states are generated, and the robustness of DSODS to the a priori error is confirmed by the NASA planetary data system (PDS) orbit solutions. Furthermore, the accuracy of the orbit solutions is determined by solution comparison and overlap analysis as about tens of meters. Through these analyses, the ability of the DSODS to provide proper orbit solutions for the KPLO are proved.

• 전기학회논문지P
• /
• 제64권3호
• /
• pp.175-181
• /
• 2015

In this paper, the neuromuscular electrical stimulation medical devices for non-implantable incontinence treatment other than vaginal insertion type was developed and commercialized. The structure of medical devices for electrical stimulation based on the anatomy of the pelvic floor muscle designed. Then, the optimum parameters that may be effective in pelvic floor muscle electrical stimulation was set. The circuit system based on the optimum parameters were designed and manufactured. The frequency of the pulse voltage for electrical stimulation is 75[Hz], the pulse width is 300[${\mu}s$], the development of medical devices was to have seven program functions to the various treatments. The circuit system of medical devices was composed of microcontroller, comparator and converter. The performance of the developed circuit system in KTC(Korea Testing Certification) were carried out medical equipment inspection test. Test results, test specifications were satisfied with the medical device, the performance was verified to be commercialized as a medical device. The development of medical devices were validated risk assessment and product performance through a software validation. Commercialization of medical equipment was acquired to enable the certification standards of the international standard IEC 60601-1.

• 한국자동차공학회논문집
• /
• 제15권5호
• /
• pp.180-187
• /
• 2007

This paper presents a mathematical vehicle model that is designed to analyze the dynamic performance and to develop various safety control systems. Wheel slip controllers for ABS is also formulated to improve the vehicle response and to increase the safety on slippery road. Validation of the model and controller is performed by comparison with a commercial software package, CarSim. The result shows that performances of developed vehicle model are in good accordance with those of the CarSim on various driving conditions. Developed ABS controller is applied to the vehicle model and CarSim model, and it achieves good control performance. ABS controller improves lateral stability as well as longitudinal one when a vehicle is in turning maneuver on slippery road. A driver model is also designed to control steer angle of the vehicle model. It also shows good performance because the vehicle tracks the desired lane very well.

• Computers and Concrete
• /
• 제4권1호
• /
• pp.1-18
• /
• 2007

Over the past decades, an enormous amount of effort has been expended in laboratory and field studies on concrete durability estimation. The results of this research are still either widely scattered in the journal literature or mentioned briefly in the standard textbooks. Moreover, the theoretical approaches of deterioration mechanisms with a predictive character are limited to some complicated mathematical models not widespread in practice. A significant step forward could be the development of appropriate software for computer-based estimation of concrete service life, including reliable mathematical models and adequate experimental data. In the present work, the basis for the development of a computer estimation of the concrete service life is presented. After the definition of concrete mix design and structure characteristics, as well as the consideration regarding the environmental conditions where the structure will be found, the concrete service life can be reliably predicted using fundamental mathematical models that simulate the deterioration mechanisms. The prediction is focused on the basic deterioration phenomena of reinforced concrete, such as carbonation and chloride penetration, that initiate the reinforcing bars corrosion. Aspects on concrete strength and the production cost are also considered. Field observations and data collection from existing structures are compared with predictions of service life using the above model. A first attempt to develop a database of service lives of different types of reinforced concrete structure exposed to varying environments is finally included.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.90-95
• /
• 1999

소프트웨어 시스템이 양도된 이후에 시스템의 크기가 성장하는 과정을 나타내는 수학적 모델인 소프트웨어 성장 모델은 시스템의 크기와 계획된 크기를 달성하기 위해 요구되는 노력을 예측하는데 사용될 수 있다. 본 논문은 먼저 시스템의 크기 변화량이 추가되는 노력에 비례하고 시스템의 복잡도에 반비례한다는 가정하에서 소프트웨어 성장 모델을 유도한다. 이 모델에서는 시스템의 복잡도가 중요한 역할을 하는데, 본 논문에서는 시스템 크기의 멱함수 형태인 복잡도를 제안하고 실제 자료에 적용하여, 그 유용성을 보인다. 멱함수 형태의 시스템 복잡도는 추가로 복잡도 비교할 수 있게 하는 측도를 제공하는데, 이 측도는 시스템 크기에 무관하므로 크기가 다른 소프트웨어 시스템의 복잡도를 비교하는데 유용하게 사용될 수 있다.