• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.891-900
• /
• 2000

A Visual development framework for embedded system is presented based on virtual prototyping. Embedded systems often are used in life critical situation, where reliability is very important. Time_to_market, correctness, user_friendly_design are another features required for embedded system design. However, embedded systems are today designed with an ad hoc approach that is heavily based on earlier experience with similar products. We believe that new design paradigm is needed and it should be based on the use of formal model and visual system to describe the behavior of the system at a high level abstraction. Virtual prototyping has all the required features. It has the following advantages; correct design, clear interface definition, idea experimentation, increased communication. In this paper, we describe the design and implementation of VIP/Sim(Virtual Prototyping Simulator), a visionary development framework for embedded system design. New feature such as state polymorphism is augmented to the de_facto standard formal language, statechart, for enhanced dynamic modeling. Actual design experience with VIP/Sim is also discussed.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.535-538
• /
• 2002

InfiniBand is a switched-fabric architecture for next generation I/O systems and data centers. The InfiniBand Architecture (IBA) promises to replace bus-based architectures, such as PCI, with a switched-based fabric whose benefits include higher performance, higher RAS (reliability, availability, scalability), and the ability to create modular networks of servers and shared I/O devices. The switched-fabric InfiniBand consists of InfiniBand subnets with channel adapters, switches, and routers. In order to fully grasp the operational characteristics of InfiniBand architecture (IBA) and use them in ongoing design specification, simulation of subnet management of IBA is inevitable. In this paper, thus, we implement an IBA simulator and test some practical sample networks using it. The simulator shows the flow of operation by which the correctness and effectiveness of the system can be verified.

• 해양환경안전학회지
• /
• 제17권4호
• /
• pp.391-398
• /
• 2011

최근 해상교통안전진단제도가 국내에 도입되면서 선박의 안전여부를 판별하는 중요한 핵심 기술 요소로 다양한 항행 환경을 인위적으로 재현하는 선박조종시뮬레이션이 활용되고 있다. 그러나 현행 시행지침에 명시된 진단기술은 국내 시뮬레이터 보유 기관에서 공통적으로 활용하고 있는 수행 절차 및 평가 방법 등을 일반화한 것으로 이에 대한 적절한 보완 또는 개선이 필요하다. 본 연구는 현행 선박조종시뮬레이션 진단기술의 기술력 분석과 함께 한계점 및 문제점 등의 적정성 평가를 수행하였다. 또한 선박조종시뮬레이션 선박모델의 표준화, 표준조선법, 평가 방법 등의 고도화 방안을 제시하였다. 이러한 연구 결과는 선박조종시뮬레이터 시스템 개선은 물론 해상교통안전진단제도에 활용되고 있는 진단 기술의 정량화 및 신뢰성 향상에 기여할 것으로 사료된다.

• 한국추진공학회지
• /
• 제19권1호
• /
• pp.98-110
• /
• 2015

최근에 우주비행체의 기동 및 자세제어 로직을 검증하기 위해 소형화 및 정밀화된 부품들을 사용하여 지상에서 시뮬레이터의 구동을 통해 검증하는 연구가 활발하게 진행되는 추세이다. 지상 환경에서 우주비행체 시뮬레이터의 기동 및 자세제어를 위해 일반적으로 구성이 간단하고 신뢰도가 높은 냉가스 추진시스템이 사용된다. 본 연구에서는 우주비행체 지상시뮬레이터의 냉가스 추진시스템 개념설계 결과로서 임무 요구조건에 부합하는 주요 설계 파라미터를 도출하였으며, 전체 시스템 구성을 위한 적절한 사양의 상용부품을 선정하였다.

• 전기전자학회논문지
• /
• 제24권2호
• /
• pp.385-391
• /
• 2020

배전계통에서의 과전류 및 이상 전압 현상은 전력설비에 부담을 줄 뿐만 아니라 수용가에 치명적인 피해를 입힐 수 있다. 그로 인해 실시간 배전계통 시뮬레이터를 활용하여 신속한 고장처리와 정전구간 축소 및 고장복구를 통한 전력공급의 신뢰도를 높이는 배전자동화 관련 연구가 활발히 진행되고 있다. 기존의 디지털 시뮬레이터를 이용한 배전계통 모의시스템은 고가의 설비로 시스템 구축에 제약이 있고 실 배전계통을 통한 검증 또한 불가능하다. 본 논문에서는 배전계통 디지털 시뮬레이터의 계통해석결과를 기반으로 배전자동화용 단말장치와의 연동을 통해 실시간 시뮬레이션 및 기능검증이 가능한 시스템을 개발하였다. 제안한 시스템의 효용성은 실험을 통해 검증하였다.

• 한국항행학회논문지
• /
• 제19권4호
• /
• pp.288-298
• /
• 2015

무인기 상용화를 위해서는 유인기 수준의 안전성을 확보할 수 있는 공중 및 지상 의 충돌경보 및 회피시스템 (sense and avoid or SAA) 개발과 검증이 필요하다. SAA 검증을 위한 비행시험은 높은 시험비용과 사고위험 때문에 많은 시험사례(test case)를 검토하기 어려우므로 시뮬레이션 시험으로 보완하는 것이 필수적이다. SAA 시뮬레이션 시험을 위해 flight simulator, Matlab/Simulink 시뮬레이터와 항전장비 시뮬레이션 모델들이 서로 연동하는 통합 무인기 시뮬레이션 환경을 구축하였다. 사례연구로서 TCAS 충돌경보 simulink 모델을 개발하고 Flight Gear와 연동하여 통합 무인기 시뮬레이션 환경을 구축하였고 이를 encounter model을 이용하여 검증하였다. 통합 무인기 시뮬레이션 환경을 활용하면 항전장비 개발주기의 개념설계 단계부터 부품 및 시스템의 성능/신뢰성 분석을 시작할 수 있다.

• 한국콘텐츠학회논문지
• /
• 제15권12호
• /
• pp.1-7
• /
• 2015

현재까지 개발된 항재밍 위성항법장치는 주로 대형 무반향 챔버 및 필드시험을 통하여 검증하였다. 대형 무반향 챔버를 이용할 경우 노이즈 등 외부환경에 독립적으로 장비를 검증할 수 있는 장점이 있지만 높은 비용과 챔버 시설 가용 문제 등의 단점이 있다. 그리고 필드시험의 경우 실제 재밍환경과 유사하게 시험할 수 있는 장점이 있지만 군용장비의 경우 보안 문제 및 항상 동일한 조건으로 시험을 할 수 없는 단점이 있다. 본 논문에서는 기존 점검 시스템의 단점을 극복할 수 있는 새로운 항재밍 위성항법장치 점검 시스템을 제안하였다. 제안하는 점검시스템은 크게 소형 챔버, 재밍 분배기, 재밍신호 발생기, 위성 모의기로 구성된다. 소형 챔버에는 다수 재밍을 모의하기 위해 다수의 안테나를 내부에 설치하였고, 다수의 재밍 신호를 제어하기 위한 재밍 분배기를 새롭게 설계하였다. 점검 시스템의 자체 성능 시험과 항재밍 위성항법장치와의 연동 시험을 통해 제안한 점검 시스템의 신뢰성을 확인하였다.

• 대한기계학회논문집 C: 기술과 교육
• /
• 제3권2호
• /
• pp.83-88
• /
• 2015

농용 트랙터는 일반적인 도로 주행이 아닌 논 또는 밭과 같은 험지에서 작업용으로 사용한다. 때문에 정적 하중 뿐만 아니라 동적 하중이 고려된 구조 해석이 진행되어야 한다. 하지만 동적 입력 하중을 계산하기 위해서는 다양한 작업기와 하중조건을 모사해야 하기에 실제 측정에 많은 시간과 노력이 소요된다. 이러한 노력들을 줄이기 위해서 본 연구에서는 상용 자동차와 동일하게 농용 트랙터를 위한 4 축 도로하중 시뮬레이터(4-Post Road Simulator) 모델을 개발하였다. 입력하중을 검증하기 위해 사내 험로 시험장에서 차축의 가속도 값과 바디프레임의 변형률(strain)을 측정하였다. 가속도 값은 동역학 모델의 입력 하중으로 사용하고 모드 중첩 법을 포함한 동역학 해석을 수행하여 변형률을 검증하였다. 이를 통해 험로 프로파일과 유사한 거동을 나타내는 4 축 도로하중을 구할 수 있었으며 신뢰성을 검증하였다.

• 항공우주기술
• /
• 제11권1호
• /
• pp.49-56
• /
• 2012

위성의 기본적인 상태를 모니터링하며 자세 제어 및 위성 고유의 임무를 수행하는 위성비행소프트웨어는 운용 환경 및 그 특수성으로 인하여 매우 높은 수준의 신뢰성이 요구된다. 이를 위하여 개발 과정에서 다양한 활동이 이루어지게 된다. 실제 하드웨어 또는 하드웨어를 모사하는 시뮬레이터를 통해 위성비행소프트웨어를 동작시키고 지상 명령의 전송, Telemetry의 수신을 통한 검증의 경우, 매우 다양한 지원환경이 요구된다. 위성비행소프트웨어팀에서는 이러한 검증 활동을 보다 효과적으로 수행하고 이를 통해 소프트웨어의 신뢰성을 향상하고, 다양한 위성 개발에 공통으로 사용될 수 있는 위성 비행 소프트웨어 통합 검증 시스템을 구축하고 있다. 본 논문에서는 위성비행소프트웨어의 효과적인 검증을 위한 통합 검증 시스템의 설계 및 구축 방안에 대하여 소개한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.585-593
• /
• 2011

Actual fire test under a laboratory and fire simulation by using computer are considered into main methodology in order to estimate and predict fire size of railway train. Even if practical fire size could be obtained from the full-model railway car test such as a large scale cone-calorimeter test, it is not always possible and realistic due to that expensive cost and attendant dangers could in no way be negligible. In this point of view, fire simulation analysis method based on the computational fluid dynamics could be proposed as an alternative and it seems to be also efficient and reasonable. However, simulation results have to be verified and validated in accordance with the proper procedure including comparing analysis with the actual fire test. In this paper, fire load and growth aspect was investigated through the room corner test (ISO 9705) for the mock-up model of the actual railway car. Then, it was compared with the output data derived from the simulation by using Pyrolysis Model of the FDS (Fire Dynamics Simulator, by NIST) for the exact same domain and condition corresponding with pre-performed room-corner test. This preliminary verified and validated fire modeling method could enhance the reliability of output data derived from the fire simulation under the similar domain and condition.