• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2001년도 추계산학기술 심포지엄 및 학술대회 발표논문집
• /
• pp.117-121
• /
• 2001

기계설계에서 설계의 객관적인 계산치의 도출을 통한 설계검증이 중요한 부분이다. 여기서 우리는 기계요소 및 시스템 설계용 CAE소프트웨어를 이용하여 설계 검증을 해봄으로서 보다 객관적이고 명확한 설계 개선 안을 쉽게 도출할 수 있다는 것을 제시하고자 한다. 구체적 사례로 발전소 등의 유량을 조정하는 Hollow let Valve 구동축 부분의 안전계수를 검토하여 설계적 개선안을 도출시키고 설계자가 설계하는 단계에서 미리 문제점을 쉽게 발견하고 개선하는 방법을 연구한 결과를 정리한 내용은 다음과 같다.

• 융합신호처리학회논문지
• /
• 제11권2호
• /
• pp.177-182
• /
• 2010

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 하드웨어/소프트웨어 분할, 하드웨어/소프트웨어 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 시스템의 하드웨어 구성요소를 개발하는 과정에서 이전까지는 디자인단계가 많은 시간 및 노력을 요구하는 단계였지만, 현재에는 설계한 디자인의 기능적 검증단계가 중요 요소로 간주되고 있다. 본 논문에서는 시스템수준 설계언어인 SystemC 기반의 테스트벤치 구조를 이용하여 Verilog HDL로 설계된 하드웨어 구성요소의 올바른 동작여부를 판별하는 기능검증시스템을 설계하였다. 설계된 기능검증시스템에서 SystemC 모듈의 멤버 변수와 Verilog 모듈의 와이어 및 레지스터 변수간의 데이터 전달은 본 논문에서 정의되는 SystemC 사용자 정의 통신채널을 통하여 이루어진다. 제안된 기능검증시스템을 UART에 적용하여 올바른 동작여부를 판별하였다. 본 논문의 기능검증시스템 설계에 사용된 SystemC는 C++기반의 하드웨어 모델링용 클래스 라이브러리를 제공하므로 RT 수준보다 높은 추상화수준에서 소프트웨어와 하드웨어 또는 이 둘을 결합한 시스템수준의 모델링을 단일 언어와 환경에서 설계할 수 있는 이점이 있다. 또한 기능검증시스템 설계에 작성된 SystemC 모듈 코드들은 부분적인 코드 수정 후 다른 하드웨어 구성요소의 기능을 검증하는데 재사용할 수 있는 이점이 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.345-348
• /
• 2001

본 논문은 디지털 비디오 방송 컴플라이언트 위성 수신칩에 대한 physical 설계 순서 및 검증에 대한 설계 기술에 관한 것으로서 각각의 설계 순서에 대한 고찰 및 문제점 그리고 물리적 레이아웃에 대한 검증 과정과 그 결과에 대하여 기술하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 춘계학술발표논문집
• /
• pp.250-252
• /
• 2003

본 논문에서는 콘벌루션 부호를 사용한 대역확산 방식의 디지틀 통신모뎀을 FPGA를 이용하여 설계 및 검증을 하였다. 대역확산 방식에서의 콘벌루tus부호기(K=3, R=1/2), PN code(128chip) generator와 비터비 디코더를 Xilinx사의 FPGA 디자인 툴인 Xilinx Foundations3.1을 사용하여 VHDL simulation과 timing simulation을 수행하였고, FPGA 회로설계 검증 장비인 EDA-Lab 3000 장비를 사용하여 Xilinx사의 SPARTAN2 2S100PQ208칩에 configuration 한 후 Agilent사의 1681A logic analyzer를 사용하여 설계된 회로의 동작을 검증하였다.

• 전산구조공학
• /
• 제34권3호
• /
• pp.27-36
• /
• 2021

본 기사에서는 낙석방지울타리의 설계 및 해석에 대하여 설명하였다. 국내에는 50kJ급의 표준 낙석방지울타리가 널리 적용되고 있지만 이보다 더 큰 낙석이 빈번하게 발생하고 있으며 상황에 따라서는 50kJ급보다 작은 낙석에너지에 저항할 수 있는 경제적인 낙석방지울타리도 필요하다. 이를 위하여 낙석방지울타리를 사면의 특성에 맞도록 설계를 하여야 하며 성능을 검증하여야 한다. 이 때 실험적 성능검증은 많은 비용과 시간이 필요함으로 해석적 접근방법을 통하여 경제적인 성능검증을 할 수 있다. 이에 낙석방지울타리에 대한 기존 해석적 연구를 소개하였으며 이와 유사한 방법을 통하여 새로운 낙석방지울타리의 설계 혹은 성능보강 시에 활용할 수 있을 것으로 기대된다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2015년도 추계학술논문요약집
• /
• pp.133-134
• /
• 2015

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 집합체해체 핵심장치의 유지보수를 쉽게 하고, 원격 제어 효율을 높이기 위한 모듈화와 그에 대한 사전 검증을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 집합체 해체핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 집합체해체 핵심장치에서는 5개의 주요 모듈로 구성되었으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 130초, 언볼팅, 드릴링 모듈이 140초 소요될 것으로 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.

• 천문학회보
• /
• 제37권2호
• /
• pp.231.2-231.2
• /
• 2012

원격탐사를 위한 지구관측용 전자광학 카메라는 높은 해상도, 넓은 관측 폭 및 높은 선명도를 제공하기 위하여 부피가 크고 무거우며, 큰 전력을 소모하여, 위성본체의 대부분을 차지하도록 개발된다. 그러나, 달 탐사를 위해 달 궤도선이나 달 착륙선에 장착되는 전자광학 카메라는, 고해상도의 고성능을 가지도록 개발되기 보다는, 다기능의 집적도 높은 소형카메라로 개발되는 것이 일반적이다. 이에 따라, 달 탐사용 다기능 전자광학 카메라 개발을 위한 기술검증을 위하여 지상모델이 개발되었다. 본 카메라는 CMOS 센서를 사용하여 컴팩트하게 설계하였고, 스테레오 영상생성을 위해 두 개의 카메라가 동시에 운영되며, 줌 기능을 구현하여 다양한 조건에서도 영상획득이 가능하도록 설계 되었다. 또한 달 궤도선과 착륙선에서 1D 관측 및 2D 관측이 선택적으로 가능하도록 설계되었다. 개발된 지상모델은 실험실에서 수행하는 통상적인 기능 및 성능시험을 수행하였고, 스테레오 영상의 생성기능 등의 검증을 위하여 야외에서 카메라를 정속으로 회전하며 push broom 방식의 1D 촬영모드에 대한 시험을 수행한다. 또한, 항공촬영을 통해 1D 및 2D 촬영을 수행하여, 영상데이터의 처리 및 스테레오 영상데이터 생성 등의 검증 단계를 거친다. 본 논문 발표에서는 다기능의 전자광학 카메라를 지상에서 동작시켜 실제영상을 뽑아내고, 생성된 데이터를 처리하여, 설계된 카메라의 여러 가지 기능들에 대해 검증하는 방법들에 대해 정리 및 발표한다. 즉, 달 궤도에 맞게 설계된 카메라의 노출시간 등을 조절하고, push broom 방식을 모사하기 위하여 카메라를 정속으로 회전시켜 영상을 획득하여 다양한 카메라의 기능을 검증하였다.

• 한국항행학회논문지
• /
• 제23권5호
• /
• pp.361-366
• /
• 2019

항공전자시스템을 개발하는 과정에서 개별 구성품의 기능 및 연동 검증을 위한 통합시험환경(SIL; system integration laboratory)을 구성한다. 이러한 SIL의 구성품 개별 검증 및 시스템 통합 시 각 탑재장비의 기능 및 연동을 모의하는 SIL 모델을 개발하여 이용한다. SIL 모델은 실 장비와 연동되기 전 연동통제문서(ICD; interface control document)에 정의된 모든 데이터에 대해 선 검증되어야하며 ICD 변경 혹은 기능 변경 발생 시에도 재 검증되어야한다. 하지만 SIL모델의 검증의 수동 수행 시 개별 SIL모델의 검증에도 상당한 시간이 소요된다. 이러한 시간상의 문제로 ICD 변경이나 일부 기능 변경 시에는 SIL 모델의 영향성을 판단하여 선택적 회귀시험이 이루어지곤 한다. 본 논문에서는 이러한 SIL 모델의 검증에 소요되는 시간을 최소화하여 회귀시험 수행 시 모든 시험항목의 검증이 가능하도록 SIL 모델 검증 자동화 방안을 설계하고 설계에 따른 SIL 모델 검증 자동화도구를 개발하여 SIL 모델 검증자동화 설계의 유용성을 검증하였다.

• 천문학회보
• /
• 제37권2호
• /
• pp.196.2-196.2
• /
• 2012

본 논문은 달착륙선의 개념설계를 위하여 고려한 전력시스템의 설계와 달착륙선의 지상시험모델용 추력기 밸브구동 전원장치 개발에 대해 기술하였다. 달착륙선의 임무특성을 고려하여 전력시스템의 구조를 검토하고, 극한의 온도환경에서 달착륙선의 임무수행을 위하여 필요한 전력에너지를 충분히 공급할 수 있도록 태양전지 배열기와 배터리의 용량, 그리고 전장품의 용량을 설계하였다. 특히 경량의 달착륙선 개발을 위하여 고효율의 태양전지를 이용한 태양전지 배열기와 리튬-이온 배터리를 검토하였다. 극한의 우주환경에서 태양전지배열기의 동작특성을 검토하고 생성될 수 있는 최대 전력을 분석하여 최적의 태양전지 배열기의 면적을 분석하고, 장시간의 월식을 고려하여 배터리의 방전특성에 따른 배터리의 전압특성을 검토하였다. 그리고 달착륙선의 전력시스템 개념설계의 타당성 검토를 위하여 유럽에서 개념설계 중인 달착륙선의 전력시스템 사양과 용량에 대해 비교검토를 수행하였다. 현재 개발중인 지상검증모델용 달착륙선의 전력시스템 설계와 추력기 밸브구동 전원장치의 개발에 관해 기술하였다. 지상검증용 전력시스템은 태양전지배열기의 장착 없이 배터리의 전력만을 사용하여 지상검증모델용 달착륙선의 부하에 전력을 공급할 수 있도록 설계되었다. 달착륙선 지상시험모델의 비행시간과 임무에 따른 부하특성을 고려하여 상용 리튬-이온 배터리의 용량을 선정하였으며, 부하의 전력을 고려하여 간단한 보호회로를 설계하였다. 그리고 지상검증용 전원시스템은 추력기의 밸브구동을 위한 추력기 밸브구동 전원장치, DC/DC 컨버터 전원 모듈, 모니터링 모듈, 그리고 위급상황에서 전원을 차단하기 위한 "Emergency STOP" 모듈로 구성되어 있다.