• 산업경영시스템학회지
• /
• 제31권4호
• /
• pp.100-105
• /
• 2008

Cost reduction, time to market, and quality improvement of software product are critical issues to the software companies which try to survive in recent competitive market environments. Software Product Line Engineering (SPLE) is one of the approaches to address these issues. The goal of software product line is to maximize the software reuse and achieve the best productivity with the minimum cost. In software product line, software components are classified into the common and variable modules for composition work. In this paper, we proposed a dynamic composition process based on aspect-oriented programming methodology in which software requirements are classified into the core-concerns and cross-cutting concerns, and then assembled into the final software product. It enables developers to concentrate on the core logics of given problem, not the side-issues of software product such as transactions and logging. We also proposed useful composition patterns based on aspect oriented programming paradigm. Finally, we implemented a prototype of the proposed process using Java and Aspect to show the proposed approach's feasibility. The scenario of the prototype is based on the embedded analysis software of telecommunication devices.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2004년도 학술대회지
• /
• pp.277-282
• /
• 2004

This paper concerns about dynamic analysis of an underwater test miner, which operates on cohesive soil. The test miner consists of tracked vehicle and pick-up. device. The motion oj pick-up device relative to the vehicle chassis is controlled by two pairs of hydraulic cylinders. The test miner is modeled by means of a commercial software. A terramechanics model of cohesive soft soil is implemented to the software and applied to dynamic analysis of the test miner model. The dynamic responses of test miner are studied with respect to of four different types of terrain conditions.

• 한국생산제조학회지
• /
• 제22권4호
• /
• pp.730-734
• /
• 2013

The dynamic simulation of machine tools and motion control systems has been widely used for optimization, design verification, control design, etc. There are three main streams in dynamic simulation: structural dynamic analysis based onthe finite element method, dynamic motion analysis based on equations of motion, and control system analysis based on transfer functions. Generally, one of these dynamic simulation methods is chosen and employed for specific purposes. In this study, an integrated dynamic simulation is introduced, in which the structure, motion, and control dynamics are combined together. Commercially well-known software is used in the integrated dynamic simulation: ANSYS, ADAMS, and Matlab/Simulink. Using the integrated dynamic simulation, the dynamics of a magnetic bearing stage is analyzed and the causes of oscillation and noise are identified. A controller design for suppressing a flexible dynamic mode is carried out and verified through the integrated dynamic simulation.

• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 1997년도 제25회 춘계학술대회
• /
• pp.253-259
• /
• 1997

A software for design of turbine bearings has been developed based on both the theoretical analysis and experimental investigation. Static and dynamic performance, i.e. load capacity, frictional loss, temperature distribution, stiffness and damping coefficients, stability etc., can be obtained by using this software taking into account the effects of three dimensional variation of lubricant viscosity, turbulence and inlet pressure. A performance test rig was developed by self-design and technology, which was used to verify static and dynamic characteristics and to investigate the proper boundary conditions for theoretical analysis. Consequently HANJUNG has developed the self-design technology for design of turbine bearings for power plants.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.

• Advances in Computational Design
• /
• 제3권1호
• /
• pp.87-112
• /
• 2018

In this study, it is aimed to present engineering software to estimate the structural response of concrete arch dam. Type-1 concrete arch dam constructed in the laboratory is selected as a reference model. Finite element analyses and experimental measurements are conducted to show the accuracy of initial model. Dynamic analyses are carried out by spectrum analysis under empty reservoir case considering soil-structure interaction and fixed foundation condition. The displacements, principal stresses and strains are presented as an analysis results at all nodal points on downstream and upstream faces of dam body. It is seen from the analyses that there is not any specific ratio between prototype and scaled models for each nodal point with different scale values. So, dynamic analyses results cannot be generalized with a single formula. To eliminate this complexity, the regression analysis, which is a statistical method to obtain the real model results according to the prototype model by using fitting curves, is used. The regression analysis results are validated by numerical solutions using ANSYS software and the error percentages are examined. It is seen that 10% error rates are not exceeded.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권3호
• /
• pp.257-262
• /
• 2015

소프트웨어가 복잡해짐에 따라 개발자가 인지하지 못하는 버그가 증가하고 있다. 공격자들은 시스템을 공격하거나 악성코드를 유포하기 위해 이와 같은 소프트웨어 버그 중 보안에 취약한 버그를 이용한다. 대표적인 방법으로 문서, 멀티미디어 등의 파일을 조작하여 보안에 취약한 버그를 발생시키는 방법으로 최근 지능적 지속 공격 빈번하게 사용되었다. 이에, 본 논문에서는 소프트웨어의 보안 취약점을 찾기 위한 프로그램 자동 분석 방법을 제안한다. 제안 방법은 문서, 멀티미디어 등 입력 값에 의해 발생되는 소프트웨어의 보안에 취약한 버그를 찾는 것을 목표로 한다. 먼저, 동적 오염 분석을 통해 입력 데이터가 취약 코드 지점까지 전파되는 과정을 추적하고 입력데이터 전파와 관련이 있는 명령어를 추출한다. 추출된 연관 명렁어를 수식화하고 이를 SMT 해석기를 이용하여 보안 취약점이 발생할 수 있는 입력 값을 찾는다. 제안 방법을 통해 아래아 한글, 곰 플레이어에서 크래시가 발생할 수 있는 입력값과 취약 코드 6개를 찾았다.

• 대한기계학회논문집A
• /
• 제33권1호
• /
• pp.89-97
• /
• 2009

In this paper, a computer software for dynamic analysis of a high mobility tracked vehicle with pre/post processor is developed. Model of a tracked vehicle is composed of chassis, turret, mount, gun, and road-wheel assembly. Track is modeled as an extensible cable and the track tensions are applied on the wheels as external forces. The system equations of motion and constraint acceleration equations are derived in the joint coordinate space using the velocity transformation method. The pre and post processors are developed using the Visual C++.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권2호
• /
• pp.31-42
• /
• 2014

임베디드 시스템 소프트웨어의 보안성 분석을 위한 동적 프로그램 분석을 시도하기 위해서는 디버거 체계가 필요하다. 타겟 장비가 범용 운영체제와 비슷한 환경을 지원하는 경우에는 소프트웨어 기반의 디버거 혹은 DBI 프레임웍 등을 장비 내에 설치하여 분석할 수 있으나, 설치 가능성 제한이나 분석 환경의 투명성 문제 등의 어려움이 있을 수 있다. JTAG (IEEE 1149.1)디버거 장비를 이용하여 분석하는 경우에는 분석을 위해 타겟 장비 내의 소프트웨어적 환경을 변경하지 않아도 된다. 타겟 장비의 보안성 분석을 위한 프로그램 동적 분석 기법들을 용이하게 적용하기 위해서는 JTAG 디버거 장비를 제어하기 위한 API가 필요하다. 본 논문에서는 ARM 코어 기반 임베디드 시스템 분석을 위한 JTAG API를 소개한다. 구현된 API는 JTAG 디버거 하드웨어를 직접 제어하며 디버깅 환경 및 동작제어를 위한 함수 세트를 제공한다. API의 활용 용이성을 확인하기 위하여 커널 함수 퍼징과 라이브 메모리 포렌식 기법을 적용한 보안 분석 도구의 예제 구현을 제시한다.

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

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