• 제목/요약/키워드: 소프트웨어 수준 검증 시뮬레이션

검색결과 19건 처리시간 0.034초

초고속 시스템 에뮬레이터의 구조와 이를 위한 소프트웨어 (Topology of High Speed System Emulator and Its Software)

  • 김남도;양세양
    • 정보처리학회논문지A
    • /
    • 제8A권4호
    • /
    • pp.479-488
    • /
    • 2001
  • SoC 설계의 복잡도가 지속적으로 커짐에 따라 기존의 소프트웨어 모델을 이용한 시뮬레이션 방법으로는 이를 검증하기에는 너무 많은 시간이 소요되어 많은 문제가 있다. 이를 해결하기 위해 시뮬레이션 방법보다 훨씬 빠른 검증속도를 제공하는 다양한 FPGA 기반의 로직 에뮬레이터가 활발히 연구되어왔다. 하지만 제한된 FPGA 핀 수로 인해 FPGA 내부에서 매우 낮은 자원이용률을 초래하고 있을 뿐만 아니라, 검증 대상이 되는 회로의 크기가 커짐에 비례하여 에뮬에이션의 속도가 현저하게 느려지는 문제점이 있다. 본 논문에서는 파이프라인 방식의 신호전달을 통하에 FPGA의 자원이용률을 극대화할 수 있을 뿐만 아니라 에뮬레이션의 속도도 크게 높일 수 있는 시스템 수준의 새로운 에뮬레이터 구조와 소프트웨어를 제안한다. 파이프라인의 링을 통하여 다수의 로직신호선을 하나의 실제 핀에 할당하여 핀 제한 문제를 해결하고, FPGA 간의 신호전달 경로를 사용자회로와 분리시킴으로서 빠른 시스템 클록의 사용을 가능케 하며 분할된 회로간에 조합경로를 줄여 실제 에뮬레이션클록의 속도를 높일 수 있었다. 또한 신호의 전달을 파이프라인 방식으로 보내기 위해 적용하는 스케줄링을 계산의 복잡도가 낮은 휴리스틱 방법을 적용하였다. 12비트 마이크로콘트롤로를 간단한 휴리스틱 스케줄링 알고리즘을 적용한 실험결과를 통하여 높은 검증속도를 확인하였다.

  • PDF

미래지상전투차량의 효과적 획득을 위한 초기설계기법에 관한 연구 (A Study on the Initial Design Method for an Effective Acquisition of Future Ground Combat Vehicles)

  • 김희영;권승만;이규노
    • 한국시뮬레이션학회논문지
    • /
    • 제26권2호
    • /
    • pp.41-49
    • /
    • 2017
  • 무기체계 획득 프로그램에서 개념설계는 개발대상체계의 군사적 활용목적을 구체화하고, 이를 구현하기 위한 요구사항 수립 및 향후 개발방향을 결정하는 가장 중요한 단계이다. 하지만 미래 지상전투차량 또는 로봇의 개념설계 시 개발 경험 또는 문헌사례 부족, 등을 이유로 초기단계에서 요구사항과 개발방향을 잘못 수립할 경우 이는 향후단계에서 설계오류로 작용될 수 있다. 이는 획득 프로그램에서 위험으로 작용될 수 있으며, 이를 바로잡기 위해서는 비용, 노력, 기간이 요구된다. 미래지상전투차량을 효과적으로 획득하기 위해서는 초기 개발단계에서부터 발생하는 오류를 줄일 수 있는 방안이 필요하다. 본 논문은 이 오류를 줄이기 위해서 개념설계과정에서 수립된 요구사항과 설계방향의 물리적 실현 가능성을 체계 수준의 모델링과 시뮬레이션을 통해 검증하고, 이 시뮬레이션 결과를 활용해 가상의 체계성능을 도출하는 방안에 대해 기술한다. 체계 수준의 모델링 및 시뮬레이션은 최신 설계 기법인 모델기반설계와 형상기반설계 도구를 활용하며, 체계성능은 체계 수준 물리적 모델링 및 시뮬레이션 결과와 기존의 체계 성능분석 전문소프트웨어 연계를 통해 도출된다.

KASS 가용성 성능 평가를 위한 MATLAB GUI 기반 소프트웨어 설계 (Development of MATLAB GUI Based Software for Analysis of KASS Availability Performance)

  • 최봉관;한덕화;김동욱;김정범;기창돈
    • 한국항행학회논문지
    • /
    • 제22권5호
    • /
    • pp.384-390
    • /
    • 2018
  • 본 논문에서는 KASS (korea augmentation satellite system) 의 가용성 성능 평가를 위한 MATLAB GUI (graphical user interface)기반의 소프트웨어에 대해 소개한다. 본 소프트웨어는 MV (minimum variance) estimator 와 Kriging 알고리즘을 이용해 한반도 지역의 지상 사용자 및 항공기 사용자에 대해 UDRE (user differential range error) 와 GIVE (grid ionospheric vertical error) 와 같은 무결성 정보를 생성한다. 또한 본 소프트웨어는 생성한 정보를 이용하여 사용자의 각 위치에 대해 정확도, 보호 수준, 가용성 지도를 제공한다. 특히 항공기 경로에 대해 경로에 따른 보호 수준 값을 계산하는 기능을 수행한다. 항공기 사용자에 대한 보호 수준 값 계산 결과는 EGNOS (european geostationary navigation overlay service) 의 시뮬레이션 툴인 SBASimulator#2의 결과와 비교하여 검증하였다. 그 결과 본 소프트웨어가 생성한 보호 수준의 값의 오차가 약 2% 정도로 정확하게 나온 것을 확인하였다.

우주비행체 기동 및 자세제어 설계 검증을 위한 시뮬레이터의 냉가스 추진시스템 개발 동향 (Development Trend of Cold Gas Propulsion System of a Simulator for Maneuvering and Attitude Control Design Verification of Spacecraft)

  • 김재훈;이균호;홍성경;김해동
    • 한국추진공학회지
    • /
    • 제19권1호
    • /
    • pp.87-97
    • /
    • 2015
  • 지상 조건에서 우주비행체의 기동 및 자세제어 로직을 검증하기 위한 일반적인 방법으로는 우주비행체 설계단계에서 비행 소프트웨어를 이용한 시뮬레이션과 우주비행체 조립 후 시스템 수준에서의 통합 기능시험이 있다. 최근에는 소형화 및 정밀화된 부품들을 사용함으로써 지상에서도 시뮬레이터의 구동을 통해 우주비행체의 기동 및 자세제어 로직을 검증하는 연구가 활발하게 진행되는 추세다. 본 연구에서는 우주비행체 시뮬레이터의 개념설계 수행시 필요한 기초 데이터를 도출하기 위해 시뮬레이터용 냉가스 추진시스템에 대한 연구개발 동향 및 주요 성능 특성에 대해 조사하였다.

재구성 가능한 193비트 타원곡선 암호연산 서버 팜의 시스템 레벨 설계 (System Level Design of a Reconfigurable Server Farm of 193-bit Elliptic Curve Crypto Engines)

  • 문상국
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2013년도 춘계학술대회
    • /
    • pp.656-658
    • /
    • 2013
  • 새로운 공정 기술의 발달로, 임베디드 시스템을 구성하는 하드웨어와 소프트웨어의 복잡도는 나날이 증가하고 있다. 그 결과로, 현대의 복잡한 반도체 디자인을 전통적인 HDL을 사용한 방식으로 수행한다는 일은 점점 어려워지고 있다. 본 고에서는 SystemVerilog를 기반으로 하는 새로운 시스템 수준의 설계 방식을 적용하여 실제 회로에 구현한다. 기존에 구현한 타원곡선 암호화 엔진을 재사용하여, 시스템 레벨에서 객체 지향 개념을 살려 추상화하고, 이를 이용하여 타원곡선 암호화 서버 팜을 구현한다. 전체 시스템을 하나의 통합 설계 환경에서 성공적으로 구현하여 불필요한 노력과 시간을 50%로 축소하였다. 기존 방법으로 했다면, 하드웨어 설계에 Verilog, 시뮬레이션에 C/SystemC를 사용하여 설계와 검증에 여러 단계의 시간과 노력이 필요했을 것이다.

  • PDF

기계명령어-레벨의 이산-사건 시뮬레이션을 이용한 센서 네트워크 시뮬레이터 개발 (Development of Sensor Network Simulator using Machine Instruction-level Discrete-Event Simulation)

  • 정용덕;김방현;김태규;김종현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
    • /
    • pp.769-771
    • /
    • 2005
  • 유비쿼터스 컴퓨팅의 기반 설비인 센서 네트워크는 많은 수의 센서 노드들로 구성되며, 각 센서 노드의 하드웨어는 매우 작은 규모이다. 또한 최소한의 전력 소모를 위하여 센서 노드들은 동적으로 재구성되며, 노드들 간의 통신은 무선 네트워크를 통하여 이루어진다. 센서 네트워크는 구축 목적에 따라 네트워크 토폴로지 및 라우팅 방식이 결정되어야 하고, 이와 더불어 센서 노드의 하드웨어와 소프트웨어도 필요에 따라 다양하게 변경되어야 한다. 따라서 센서 네트워즈가 구현되기 전에 시스템 동작과 성능을 예측할 수 있고 소프트웨어 개발 환경도 제공해주는 시뮬레이터가 사용 가능하다면, 시스템 개발 기간을 크게 단축시킬 수 있을 것이다. 기존의 센서 네트워크 시뮬레이터들은 특별한 응용을 위한 특정 기반의 하드웨어와 운영체제에 국한되어 개발되었기 때문에 다양한 센서 네트워크 환경을 지원하기에는 한계가 있으며, 센서 네트워크 설계상의 주요 요소인 전력 소모량 분석이 포함되지 않았다. 따라서 본 연구에서는 특정한 응용이나 운영체제에 제한을 받지 않으면서 다양하게 센서 네트워크 환경을 설계 및 검증할 수 있고 전력 소모량 추정도 가능한 시뮬레이터를 개발하는 것을 목표로 하였다. 본 연구에서 개발한 시뮬레이터는 기계명령어-레일(machine instruction-level)의 이산-사건 시뮬레이션(discrete-event simulation) 기법을 이용함으로써 실제 센서 노드의 프로그램 실행 및 관련 동작들을 세부적으로 예측하는 데 사용될 수 있도록 하였다. 시뮬레이션의 작업부하(Workload)인 명령어 트레이스(instruction trace)로는 ATmega128L 마이크로컨트롤러용으로 크로스 컴파일된 인텔 헥스-레코드 형식(.hex) 또는 S-레코드 형식(.srec)의 파일을 사용한다.들을 해결하고자 프라이버시보호에 새로운 키 생성 방법을 통한 강력한 프로토콜을 제안 한다.하였으나 사료효율은 증진시켰으며, 후자(사양, 사료)와의 상호작용은 나타나지 않았다. 이상의 결과는 거세비육돈에서 1) androgen과 estrogen은 공히 자발적인 사료섭취와 등지방 침적을 억제하고 IGF-I 분비를 증가시키며, 2) 성선스테로이드호르몬의 이 같은 성장에 미치는 효과의 일부는 IGF-I을 통해 매개될 수도 있을을 시사한다. 약 $70 {\~} 90\%$의 phenoxyethanol이 유상에 존재하였다. 또한, 미생물에 대한 항균력도 phenoxyethanol이 수상에 많이 존재할수록 증가하는 경향을 나타내었다. 따라서, 제형 내 oil tomposition을 변화시킴으로써 phenoxyethanol의 사용량을 줄일 수 있을 뿐만 아니라, 피부 투과를 감소시켜 보다 피부 자극이 적은 저자극 방부시스템 개발이 가능하리라 보여 진다. 첨가하여 제조한 curd yoghurt는 저장성과 관능적인 면에서 우수한 상품적 가치가 인정되는 새로운 기능성 신제품의 개발에 기여할 수 있을 것으로 사료되었다. 여자의 경우 0.8이상이 되어서 심혈관계 질환의 위험 범위에 속하는 수준이었다. 삼두근의 두겹 두께는 남녀 각각 $20.2\pm8.58cm,\;22.2\pm4.40mm$으로 남녀간에 유의한 차이는 없었다. 조사대상자의 식습관 상태는 전체 대상자의 $84.4\%$가 대부분이 하루 세끼 식사를 규칙적으로 하고 있었으며 식사속도는 허겁지겁 빨리 섭취하는 경우가 남자는 $31.0\%$, 여자는 $21.4\%$로 나타났고 이들을 제외한 나머지 사람들은 보통 속도 혹은 충분한 시간을 가지고 식사를 하였

  • PDF

발전소 시뮬레이션시스템 접지방식 연구를 위한 타시스템 접지방식 분석 (The Grounding Method Application of Power Plant Simulator)

  • 오영일
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1999년도 추계학술대회 논문집
    • /
    • pp.70-74
    • /
    • 1999
  • 발전소 시뮬레이션 시스템 기술은 종합적인 지식을 바탕으로 자료수집 및 분석, 소프트웨어 개발 환경, 수학적 모델, 전산기 구성, 각종 계기류 설계 및 구매 장착 등의 노하우를 알아야만 제작할 수 있는 종합적인 기술이다. 또 지시기반의 기술이며 부가가치가 높은 기술이기 때문에 선진 각국에서는 계측제어 시스템의 기술개발 및 시장 확대를 위하여 힘을 쓰는 동시에 타국으로의 기술정보 유출을 경계하는데 신경을 곤두세우고 있다. 현재 복잡화되어 가고 있는 산업 사회의 전력 수요에 대한 대폭적인 증가 추세에 따라 발전소에서는 보다 효율적이며 합리적이고 경제적인 전력 공급을 위해서 전력 생산에 대한 신뢰성 향상 및 안정성 확보는 물론, 효율성 높은 운전이 절실히 요구되고 있다. 한편, 국내의 시뮬레이션 시스템 분야 기술은 아직도 완벽한 수준에는 미치지 못하며, 이 분야의 기술력 확보 및 신기술 개발은 향후 미래의 모든 시스템산업의 성쇄를 판가름하는 아주 중요한 척도가 될 것이다. 이 중에서 접지 분야는 고전압 혼촉에 의한 저압측 선로의 전압상승 방지, 모선(Bus)이나 전력 기기의 절연보호 및 회로전압의 안정등으로 시스템 성능을 한층 증가 시켜줄 뿐아니라 기기의 오동작이나 낙뇌등으로 인명피해 발생을 없애주는 아주 중요한 분야임에도 불구하고 이 분야의 국내 관련법규등이 미비한 사항이다. 그래서 발전소 분산제어 시스템분야의 장기간 신뢰성 및 안정성을 가지고 있고, 국내에서 많이 사용하는 미국 Bailey의 infi-90 및 독일 ABB의 Procontrol-P를 비교 분석하여 발전소 시뮬레이션 시스템의 접지에 응용 하고져 한다.상호 발생기를 이용한 다양한 시스템 검증 및 분석에 이용할 수 있을 것이다. 본 논문은 가상호 발생기의 구조와 최대 용량 시험 방법을 소개하고, 더 나아가 호 Traffic에 대한 최대 용량 시험뿐 아니라 QoS를 향상시키기 위한 교환 시스템의 제반 성능 시험 및 분석에 이를 이용하기 위해 개선이 필요함을 서술하고자 한다.textrm{m}$~3.4$\mu\textrm{m}$ 범위에서의 투과 및 흡수 스펙트럼을 측정하였다. 결정 성장 결과 B3+, Er3+, Cr3+ 이온은 Ti4+ 이온과 이온의 크기 차이가 심하여 결정의 정상적인 성장을 방해하는 물성을 나타냈고, V5+, Cr3+ 이온은 흑색의 결정, Fe3+ 이온은 적갈색의 결정으로 성장되었다. Al3+, Zr4+, Al3+의 순서로 투과도가 높아지는 것이 관찰되었다. 불순이온의 농도에 따른 영향으로서 Al3+ 이온의 경우 주입농도가 높아질수록 low angle boundary와 oxygen deficiency가 감소하였고, 투과율은 조금 감소하거나 큰 차이가 없는 것으로 나타났다. 반면에 Cr3+ 이온을 주입한 경우 0.003 atomic%에서 최적의 물성을 보였으며, 주입농도가 높아질수록 결정성장이 어려워지고 광의 투과도가 급격히 저하되었다.은 1.3을 나타내었다.로 보인다.하면 수평축과 수직축의 분산 장벽의 비에 따라 cluster의 두께비가 달라지는 성장을 볼 수 있었고, 한 축 방향으로의 팔 넓이는 fcc(100) 표면의 경우 동일한 Ed+Ep값에 대응하는 팔 넓이와 거의 동일한 결과가 나타나는 것을 볼 수 있다. 따라서 이러한 비대칭적인

  • PDF

일리노이 록스타 해석환경을 활용한 충격파관 내 금속패널 변형의 유체·구조 연성 해석 (An FSI Simulation of the Metal Panel Deflection in a Shock Tube Using Illinois Rocstar Simulation Suite)

  • 신정훈;사정환;김한기;조금원
    • 대한기계학회논문집A
    • /
    • 제41권5호
    • /
    • pp.361-366
    • /
    • 2017
  • 컴퓨팅 아키텍처와 응용 소프트웨어 기술의 발달로 최근에는 근사가 아닌 실제 물리계 모사라는 컴퓨터 시뮬레이션의 궁극 목표가 현실 이슈로 대두되고 있다. 본 논문에서는 미국 정부 주도 슈퍼컴퓨팅 기반 다물리 시뮬레이션 사업의 결과물로 나온 일리노이 대학의 일리노이 록스타라는 유체-구조-연소 연성 해석툴을 활용하여 충격파관 내의 금속판의 미소 시간 운동을 전산모사하고 기존 실험, 해석들과 비교하는 연구를 수행하였다. 전산유동해석은 정렬격자를 기반으로 하였고 구조해석은 대변형 선형탄성을 가정하였다. 또한 강한 연계 시간적분법이 적용된 알고리즘의 고도화로 인해 충격파 내 금속패널에 관한 높은 수준의 실험-계산 상관성을 보였다. 본 연구의 제한적인 검증연구를 확장하여 해석환경 내 추가 모듈들의 검증작업들과 코드개선을 통해 오픈소스 기반 연구개발 도구로서 활용할 예정이다.

수치해석을 활용한 승강장 바닥배기 시스템 최적화 연구 (Study on the optimal design of floor exhaust system using computational fluid dynamics for subway platform)

  • 남궁형규;박세찬;김민해;김수연;권순박
    • 한국산학기술학회논문지
    • /
    • 제18권2호
    • /
    • pp.443-449
    • /
    • 2017
  • 최근 국내 도시철도 지하역사에는 승강장 안전문의 설치로 인한 승강장의 급 배기 불균형이 일어나며, 이러한 불균형은 승강장 내 오염물질 축적과 환기부족에 의한 쾌적성 저하를 일으키는 원인이 된다. 본 연구에서는 시뮬레이션 유동해석 프로그램을 이용하여 지하역사 바닥배기 시스템의 최적화 설계를 하고, 제작된 바닥배기 시스템의 미세먼지 제거 성능을 실험으로 검증하였다. 바닥배기 시스템의 시뮬레이션 유동해석은 CFX 17.0 프로그램을 이용하였으며, HEEDS를 최적화 소프트웨어로 적용하였다. 3차에 걸쳐 이루어진 최적화 결과, 약 430 Pa의 차압과 61%의 미세먼지 제거 성능을 갖는 전체높이 1.78 m의 바닥배기 시스템이 도출되었다. 최적화 설계에 따라 실규모로 제작된 바닥배기 시스템을 이용하여 미세먼지 집진 성능 실험을 실시하였으며, 약 65%의 집진효율을 보임으로써 수치해석을 통해 도출된 최적설계 결과와 유사한 수준임을 검증하였다. 결과적으로 최적화 프로그램을 활용한 바닥배기 시스템의 설계가 급배기 불균형을 갖고 있는 지하역사 승강장에 적용 가능함을 확인하였으며, 설계된 바닥배기 시스템이 공간상의 제약으로 추가적인 배기설비 설치가 어려운 기존 지하 역사에서 배기개선 및 미세먼지 제거에 효과적으로 활용될 수 있을 것으로 판단된다.