• Journal of Platform Technology
• /
• 제8권4호
• /
• pp.47-58
• /
• 2020

DO-330 소프트웨어 도구 자격증명 고려사항은 항공기에 탑재되는 소프트웨어 및 하드웨어를 개발/검증 하기 위해 사용되는 도구 개발 프로세스에 적용하기 위한 지침이다. 이 지침 상의 도구 개발 프로세스 중 검증 프로세스는 DO-330을 준수하기 위해 달성해야 하는 목표 중 많은 비중을 차지하고 있어 상당히 중요하다. 특히, 도구의 안전성 수준이 높은 개발 도구의 시험 목표들은 독립적으로 수행되어야 하기 때문에 많은 시간, 비용, 그리고 인력이 투입되어야 한다. 시험 절차를 잘 수립 해 놓았을 지라도 시험의 복잡도가 높아지면 인적 오류가 발생할 확률이 높아진다. 본 논문에서는 한화시스템에서 개발한 A661UAGEN 도구의 효율적인 DO-330 검증 프로세스를 진행하기 위한 스크립트 기반의 시험 자동화 에이전트 소프트웨어 구조를 제시하고 평가하였다. 그 결과 스크립트 기반의 시험 자동화 에이전트를 통해 자동화 된 시험이 테스트 엔지니어에 의한 수동 시험 보다 시험 수행 시간은 87.5%가 감소되었고, 시험 생산성은 43.75%가 향상되었음을 확인하였다.

• 월간포장계
• /
• 통권87호
• /
• pp.176-181
• /
• 2000

• 한국CDE학회논문집
• /
• 제16권2호
• /
• pp.156-164
• /
• 2011

The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2018년도 춘계학술논문요약집
• /
• pp.86-87
• /
• 2018

• Journal of Magnetics
• /
• 제19권1호
• /
• pp.37-42
• /
• 2014

The equivalent model of a permanent magnet (PM) plays an important role in electromagnetic system calculation. A type of subsection model for a PM bar is established, to improve the accuracy of the traditional equivalent circuit method. The mathematical expression, and its end verification condition, are presented. Based on the analytical method and finite element method, the leakage permeance calculation of a PM bar in an open magnetic circuit is investigated. As an example, for a given certain type of PM bar, the magnetic flux of each section is validated by experiment, and by simulation. This model offers a foundation for building a high accuracy equivalent magnetic PM model in an electromagnetic system.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.846-851
• /
• 2000

4-state 바코드의 정보는 우편번호, 배달순서코드, 고객 정보 등을 수록되며, 판독율 향상을 위한 오류정정 코드워드를 적용할 수 있다. 이 4-state 바코드는 우편물 자동구분처리의 효율화 및 우편물류의 정보표현, 전달, 처리를 효율적으로 지원되도록 개발하고 있다. 본 논문은 우편물 접수 및 처리과정에서 필요로 하는 4-state 고객 바코드 인쇄규격 검증 및 판독시스템 개발에 관한 것으로 4개의 높이로 구성된 바들의 특성과 바의 두께 및 공간 값이 균일한 간격으로 바가 인쇄되는 특징을 고려하여 Laser Diode 배열방법을 적용하였다. 또한, 우편물을 자동으로 이송시키고, 일정한 영역에 배열한 Laser Diode에 의하여 바의 두께, 공간, 높이 값을 정확하게 판독될 수 있도록 한 것이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• pp.623-628
• /
• 1986

This paper reviews various CAD(Computer-Aided design) or DA(Design Automation) procedures for specification, design and verification of VLSI chips. The growth and widening of engineering achievements and applicational varieties in this revisited field has been truly explosive for the last five years. Recent trends in VLSI/CAD area and their possible implications on the future evolution of DA society are briefly touched upon. The relative importance of chip specification and design capability within the whole Korean electronics infrastructure in the future is explained with several possible suggestions for coping with upcoming difficulties already being seen in this challenging yet promising area.

• 한국군사과학기술학회지
• /
• 제3권2호
• /
• pp.166-178
• /
• 2000

As the 21st century signifies an information-oriented society, the computer integration takes place in all walks of human presence. Needs for computer and network-integrated automation present new challenges in military as well as commercial facility systems engineering. Since the first intelligent building appeared in USA in 1984, it gradually became an essential capability for the building industry requirement these days. Intelligent Building System(IBS) is evolving to be very complex because there are many subsystems such as telecommunication(TC), office automation(OA), building automation(BA), security, construction environments, etc. During the planing phase of IBS development, therefore, a disciplined systems engineering must be performed to analyze stake- holder's requirements to build an optimized system while minimizing trial-and-error expenses and risks. This paper presents a conceptual design of BAS applying systems engineering methods. The contribution of this study includes the development of IBS subsystem specification for building automation subsystem, which is a part of IBS, using the methodology of requirement analysis, functional analysis, synthesis, and verification. A computer-aided systems engineering s/w, RDD-100, was used to improve the system design efficiency and to promote the product design knowledge management for reuse in later design programs.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.93-96
• /
• 2002

It is said that the verification effort occupies about 50-70 percent of the total effort of a System-On-A-Chip. This paper aims to develop a test bench automation tool based on the abstraction of the interface protocols. This tool will allow designers to describe their test benches in a high level language such as C rather than VHDL or Verilog. It helps designers to save their verification time and effort.

• 전기학회논문지P
• /
• 제66권3호
• /
• pp.110-116
• /
• 2017

System to automate the trial-run of energy storage system for frequency regulation was developed and demonstrated. Basic strategy was developed on the basis of trial-run procedure and verified in the computer simulation tool. The algorithm was developed and coded for 4MW trial-run automation system. 4MW trial-run automation system was connected to 4MW energy storage system for frequency regulation in Jocheon substation of Jeju city and demonstrated. 24MW trial-run automation system was developed on the basis of 4MW trial-run automation system and verified by operation system for 24MW energy storage system for frequency regulation. The operation system has own simulation model of energy storage system and power system. The verification was performed to improve the system in the view of user. 24MW trial-run automation system was demonstrated in 32MW Ul-san and 36MW Non-gong energy storage system. All tests of trial-run was done by manual and first they ware taken 1 week with no trial-run automation system. The manual trial-run tests were taken by maximum three times. Trial-run test by trial-run automation system was taken 2 days. The system helps reduce the trial-run test period and improve the accuracy of tests.