• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.

• Journal of Power Electronics
• /
• 제17권1호
• /
• pp.232-241
• /
• 2017

Advanced control algorithms must be used to make wind power generation truly cost effective and reliable. In this study, we develop a new and simple control scheme that employs model predictive control (MPC), which is used in permanent magnet synchronous generators and grid-connected inverters. The proposed control law is based on two points, namely, MPC-based torque-current control loop is used for the generator-side converter to reach the maximum power point of the wind turbine, and MPC-based direct power control loop is used for the grid-side converter to satisfy the grid code and help improve system stability. Moreover, a simple prediction scheme is developed for the direct-drive wind energy conversion system (WECS) to reduce the computation burden for real-time applications. A small-scale WECS laboratory prototype is built and evaluated to verify the validity of the developed control methods. Acceptable results are obtained from the real-time implementation of the proposed MPC methods for WECS.

• 한국자동차공학회논문집
• /
• 제11권1호
• /
• pp.160-165
• /
• 2003

The design and implementation of an engine control system has become an important area in developing a new car, but the implementation of an engine control system is becoming a tedious and time-consuming work as the level of complexity increases. In order to shorten the development cycle of the control system, rapid control prototyping (RCP) technique deserves developers' attention. A new RCP platform has been developed for an automotive engine control application. This prototyping system strictly adheres to the layered architecture of the final production ECU, and separates the automatically generated part of software, or the application area, from the hand coded area, which generally carefully designed and tested because of the hardware dependency and the efficiency of microcontroller. The $Matlab{\circledR}$ tool-chain of Mathworks Inc. has been selected as a base environment in this study. A newly developed Engine Control Toolbox of Real-Time $Workshop{\circledR}$ converts a graphically represented control algorithm into optimized application codes and links them with other parts of the software to generate executable code for the target processor.

• 대한조선학회논문집
• /
• 제52권5호
• /
• pp.407-417
• /
• 2015

For the more accurate prediction on manoeuvring performance of a ship at initial design phase, bare hull manoeuvring coefficients were estimated by RANS(Reynolds Averaged Navier-Stokes) based virtual captive model tests. Hydrodynamic forces and moment acting on the hull during static drift and harmonic oscillatory motions were computed with a commercial RANS code STAR-CCM+. Automatic and consistent mesh generation could be implemented by using macro functions of the code and user dependency could be greatly reduced. Computed forces and moments on KCS and KVLCC 1&2 were compared with the corresponding measurements from PMM(Planar Motion Mechanism) tests. Quite good agreement can be observed between the CFD and EFD results. Manoeuvring coefficients and IMO standard manoeuvres estimated from the computed data also showed reasonable agreement with those from the experimental data. Based on these results, we could confirm that the developed virtual captive manoeuvring model test process could be applied to evaluate manoeuvrability of a ship at the initial hull design phase.

• 정보처리학회논문지D
• /
• 제9D권5호
• /
• pp.847-858
• /
• 2002

객체지향 프로그래밍의 주요 목적은 효율적인 재사용성과 개발시간의 단축 그리고 소프트웨어 품질의 향상에 있다. 이러한 목적을 달성하기 위한 하나의 방법으로 소프트웨어 개발 시 기존에 잘 정의되고 테스트된 설계정보를 이용하는 것이다. 이 잘 정의되고 테스트된 설계정보는 디자인 패턴이라 불러진다. 이 디자인 패턴은 소프트웨어 개발 시 특정상황에서 발생할 수 있는 문제에 대한 해결책을 표현하고 있다. 그러나 이 패턴은 추상적인 해결책을 제시하고 있기 때문에 어플리케이션 개발 시 적용되는 디자인 패턴에 대한 명세와 활용은 주로 개발자의 수작업에 의존하고 다양한 형태로 적용되고 있다. 그 결과 일관된 형태의 분석과 활용이 어렵고 오류발생 빈도를 높일 뿐 아니라 프로그램 개발에 많은 시간이 필요하다. 또한 적용된 패턴은 어플리케이션 내부에서 시각적으로 표현되지 않기 때문에 이 패턴에 대한 분석과 테스팅이 어렵다. 이에 본 논문에서는 어플리케이션 개발 시 디자인 패턴의 요소를 효율적으로 적용할 수 있기 위해 디자인 패턴에 대한 소스코드 자동 생성기법을 제시하고 어플리케이션 내부에 적용된 패턴들간의 분석 및 활용법을 보인다. 이를 통해 어플리케이션 내부의 디자인 패턴들은 일관된 형태의 구조와 효율성을 제공하고 이들간의 분석 및 활용 효과를 증대시킨다.

• 한국통신학회논문지
• /
• 제33권9C호
• /
• pp.652-660
• /
• 2008

어플리케이션에 맞춤화 된 다양한 임베디드 시스템은 리소스의 효율적인 관리를 위해 임베디드 OS의 종류와 버전에 맞는 디바이스 드라이버가 요구된다. 본 논문에서는 동일한 OS의 새로운 버전에 대해 확장성이 용이한 디바이스 드라이버 자동생성 시스템을 제시한다. 제안한 시스템에서는 특정 OS 고유의 디바이스 드라이버 구조를 템플릿으로 작성한 후 라이브러리화하며, 라이브러리에 저장된 템플릿을 기본골격으로 하여 시스템의 특성에 따른 코드를 추가하는 방법으로 디바이스 드라이버를 생성한다. 생성된 디바이스 드라이버를 커널에 등록하여 데이터 전송 시간을 비교한 결과 매뉴얼로 설계한 디바이스 드라이버에 비해 자동생성된 TFT-LCD 드라이버, USB 인터페이스 키보드 마우스 드라이버, 그리고 AC'97 컨트롤러 드라이버가 각각 경미한 증가를 보였다. 생성된 드라이버를 커널 컴파일 한 후의 코드 사이즈도 각각 경미한 증가를 보였다.

• 인터넷정보학회논문지
• /
• 제6권4호
• /
• pp.21-35
• /
• 2005

소프트웨어 제품 라인은 소프트웨어 자산에 존재하는 재구성 가능한 컴포넌트를 구체화하고 미리 정의된 아키텍처를 기반으로 조립함으로써 고품질의 응용 프로그램을 효율적으로 개발하기 위한 패러다임이다. 최근 컴포넌트 기반의 여러 가지 제품 라인 개발 방법론들이 제안되었지만, 가변성 지원 컴포넌트의 구체적인 구현 기술은 제공하지 못하고 있다. 한편, 가변성을 지원하기 위한 여러 가지 구현 기술이 개발되었지만, 이러한 구현 기술은 개발 초기부터 가변성을 고려한 체계적인 분석 및 설계 방법을 제공하지 못한다. 본 논문에서는, UMI 모델링 기법을 확장한 컴포넌트 기반 제품 라인 개발 방법론인 PLUS와 컴포넌트 자동 생성 기법을 결합하여 특정 제품 생산의 효율성을 높이는 기법을 제안한다. 본 논문에서의 컴포넌트는 가변성을 지원하는 구현 부품들이 계층 구조를 이루며 각 구현 부품들은 XSLT 스크립트로 작성된다. 특성 모델에서 선택된 특성들로부터 개발자가 원하는 컴포넌트의 코드가 자동 생성되며, 마이크로웨이브 오븐 제품 라인을 사례 연구로 해서 가변성 지원 컴포넌트의 개발 프로세스를 살펴본다.

• 한국컴퓨터정보학회논문지
• /
• 제25권11호
• /
• pp.131-138
• /
• 2020

멀웨어는 일반적으로 다른 사용자의 컴퓨터시스템에 침입하여 개발자가 의도하는 악의적인 행위를 일으키는 컴퓨터프로그램으로 인식되지만 사이버 공간에서는 적대국을 공격하기 위한 사이버 무기로써 사용되기도 한다. 사이버 무기로서 멀웨어가 갖춰야 할 가장 중요한 요소는 상대방의 탐지시스템에 의해 탐지되기 이전에 의도한 목적을 달성하여야 한다는 것인데, 하나의 멀웨어를 상대방의 탐지 시스템을 피하도록 제작하는 데에는 많은 시간과 전문성이 요구된다. 우리는 DCM 기법을 사용하여, 바이너리코드 형태의 멀웨어를 입력하면 변종 멀웨어를 자동으로 생성해 주는 프레임워크를 제안한다. 이 프레임워크 안에서 샘플 멀웨어가 자동으로 변종 멀웨어로 변환되도록 구현하였고, 시그니쳐 기반의 멀웨어 탐지시스템에서는 이 변종 멀웨어가 탐지되지 않는 것을 확인하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.69-72
• /
• 2002

The geometry parameter of tool such as rake angle and clearance angle is defined clearly to solve the difference in communication between design and measurement stage. Using the developed simulation program, wheel is properly determined and end mill can be manufactured accurately. The performance test with well defined end mill provides sufficient information to decide optimal geometry. For machining hardened steel, end mills are designed and manufactured. Optimal rake angle and clearance angle is obtained from performance test. A specific software for automatic end mill production is developed far simulation and fur generation of NC code as Cad/CAM system.

• International Journal of Precision Engineering and Manufacturing
• /
• 제3권1호
• /
• pp.43-48
• /
• 2002

This paper describes an automated computer-aided engineering (CAE) system for three-dimensional structures. An automatic finite element mesh-generation technique, which is based on fuzzy knowledge processing and computational geometry techniques, is incorporated into the system, together with a commercial FE analysis code, and a commercial solid modeler. The system allows a geometry model of interest to be automatically converted to different FE models, depending on the physical phenomena of the structures to be analyzed, i.e., electrostatic analysis, stress analysis, modal analysis, and so on. Also, with the aid of multilayer neural networks, the present system allows us to obtain automatically a design window in which a number of satisfactory design solutions exist in a multi-dimensional design parameter space. The developed CAE system is successfully applied to evaluate an electrostatic micromachines.