• Title/Summary/Keyword: 검증방안

Search Result 4,292, Processing Time 0.03 seconds

Applied research in formal verification of certificates of airworthiness and aviation software design phase (항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구)

  • Jang, JoonHa;Choi, Jinyoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.433-435
    • /
    • 2016
  • 기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

Verification of A-SMGCS Software utilize DO-278A Process (DO-278A 절차를 활용한 A-SMGCS 소프트웨어 검증방안 연구)

  • Jo, Sang-Hun;Lee, Hong-Seok;Kim, Ja-Yeong;Lee, Jin-Geun
    • 한국항공운항학회:학술대회논문집
    • /
    • 2015.11a
    • /
    • pp.179-182
    • /
    • 2015
  • DO-278A는 소프트웨어 인증 절차를 제공할 목적으로 만들어진 것은 아니지만, 소프트웨어 개발 절차를 설명하는 것으로 지상용 항공장비의 소프트웨어를 만드는데 적절한 역할을 수행할 수 있다. 대체적으로, 수명주기증거품(life cycle evidence)을 통해 프로세스가 정확하고 적합하게 이행되었다는 것을 증명할 수 있다면 소프트웨어는 적합성을 확인을 받을 수 있다. 본 논문에서는 국토부 R&D로 개발되고 있는 항공기 지상이동유도 및 통제시스템(Advanced-Surface Movement Guidance & Control System, A-SMGCS)의 소프트웨어 개발 및 검증에 DO-278A 절차를 적용한 방안을 제시하고자 한다.

  • PDF

High-voltage and High-frequency Transformer design for Solid-state Transformer (지능형 반도체 변압기용 고압 절연 내력을 갖는 고주파 변압기 설계)

  • Park, Siho;Jo, Youngpyo;Cha, Honnyong
    • Proceedings of the KIPE Conference
    • /
    • 2017.07a
    • /
    • pp.248-249
    • /
    • 2017
  • 본 논문은 지능형 반도체 변압기용 고압 절연 내력을 갖는 고주파 변압기의 설계 순서와 방안을 제안하고 시제품을 제작하여 동작 검증 및 절연 시험을 완료한 결과를 서술한다.제작된 변압기는 10 kHz의 스위칭 주파수 하에 정격은 15 kW이며, 3권선 방식을 이용하였다. SST의 입력 전압인 $13.2kV_{rms}$및 출력단의 전압 플로팅 현상을 고려하여, polycarbonate를 이용한 내부 보빈과 teflon PTFE를 이용한 외부 보빈 및 가드를 제작해, 30 kV의 절연이 가능하도록 설계되었다. 또한, 정전 유도 현상으로 인해 고려해야 하는 코어와 권선 간의 고압 절연을 최소화하는 방안을 적용하였으며, 근접 효과와 표피 효과를 최소화하는 구조로 설계되었다. 시제품 제작 후 15 kW의 정격 하에 동작 검증을 완료하였고, 내전압 시험을 이용하여 30 kV의 절연 내력을 검증하였다.

  • PDF

A study on gaseous fire extinguishing system adaptability using the door fan test (Door Fan Test를 활용한 가스계 소화설비의 적응성 검증 방안 연구)

  • Lee, Chang-Wook;Yun, A-Young;Na, Jin-Seok;Um, Ki-Ju
    • Proceedings of the Korea Institute of Fire Science and Engineering Conference
    • /
    • 2010.10a
    • /
    • pp.99-102
    • /
    • 2010
  • 가스계 소화설비는 소화약제의 특성상 방호구역내의 누설면적에 민감하게 영향을 받고, 누설면적이 너무 크면 제대로 된 소화성능을 발휘 할 수 없기 때문에 설계 및 시공, 그리고 설치 후 성능 검증 등에 주의가 필요하다. 이전 가스계 소화설비의 성능확인방법으로 종래에는 소화약제 전량을 직접방출하거나 극히 일부 저장용기의 소화약제만을 방출시키는 소위 간이시험을 실시하는 것이 보편적이었으나, 방출시험은 고비용, 일회성 및 시험절차의 난이성, 그리고 환경오염으로 인해 실제 방출시험을 통한 설비의 신뢰성 확인이 어려운 실정이다. 이러한 상황을 감안하여 가스계 소화설비의 성능검증을 위해 Door Fan Test를 활용하는 방안에 대하여 알아보고자 한다.

  • PDF

초고속해상무선통신망 커버리지 및 통신서비스 품질검증 방안

  • U, Seok;Mun, Eun-Ju;Choe, Du-Jeong
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2019.05a
    • /
    • pp.101-103
    • /
    • 2019
  • 초고속해상무선통신망(LTE-Maritime)은 연안으로부터 100km 까지 전국 3해안(동 서 남해)에 LTE(Long Term Evolution) 통신 체계를 구축하여 항해 중인 선박(어선, 소형선박, 상선 등)을 대상으로 바다에서도 LTE급의 데이터 통신이 가능한 해상 e-Navigation 서비스 제공을 목표로 한다. 본 논문은 초고속해상무선통신망의 커버리지 및 통신서비스 품질검증 기준이 되는 연안으로부터의 통신서비스 제공 거리, 전송 속도, 전송성공률 등에 대해 검토해 보고, 각 품질 지표를 검증할 수 있는 시험항목 설정, 시험 환경 구성, 시험 방법 및 품질 결과 분석 방안에 대해 논의해보고자 한다.

  • PDF

스마트 항로표지 신서비스 성능검증 환경 구축 방안

  • 강동우;오세웅;김영진;한재식
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2022.06a
    • /
    • pp.48-49
    • /
    • 2022
  • 현재 해양수산부에서 발주하여 선박해양플랜트연구소에서 주관하여 진행하고 있는 해양 디지털 항로표지 정보 협력 시스템 과제가 진행 중에 있다. 해양 디지털 항로표지 정보 협력 시스템 과제는 실증 센터 구축을 목표 중 하나로 잡고 있으며, 실증 센터 구축을 위해서는 실증센터 구축 이전에 연구개발 결과물을 유사한 환경에서 성능을 검증할 필요가 있다. 또한 해양 디지털 항로표지 정보 협력 시스템 과제는 외부의 정보를 활용할 필요가 있어 정보통신의 측면에서의 보안이 유지되는 공간이 필요하다. 이를 위하여 본 연구에서는 보안이 필요한 서비스 설치 공간와 일반사용자가 서비스를 사용하기 위해 일반적으로 접근이 가능한 공간을 연결하고, 연결 방법에 대하여 분석하였다. 또한 서비스 개발 기관에서 개발 중인 서비스 코드를 보안 공간으로 전송하여, 시스템 설치 및 SW 품질 테스트 등이 용이한 방안에 대하여 연구하였다.

  • PDF

A Study on the Vibration Reduction Method for Main steam Piping in Nuclear Power Plant (원자력발전소 주증기관의 진동감쇠 연구)

  • Kim, Yeon-Whan;Kim, Jong-Yeob;Lee, Hyun
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 1996.04a
    • /
    • pp.215-220
    • /
    • 1996
  • 원자력발전소의 주증기관은 증기발생기와 터빈을 연결하는 주요 계통으로서 여기서 발생하는 배관진동은 주요기기의 연결부, 밸브, 배관지지물과 건물 등에 복합적인 반복하중을 가하여 관련 지지물 및 구조물에 열화현상을 발생시켜 발전소의 안전운전에 심각한 영향을 초래할 가능성을 항상 내포하고 있다. 그럼에도 불구하고 배관진동 대책은 대부분 지지물을 추가로 설치하여 진동준위만 낮추고 있는 실정이다. 따라서 구체적인 배관진동의 예측, 측정 및 평가, 감쇠방안에 이르는 종합적이고 체계적인 연구가 요구되고 있다. 본 연구에서는 지지물의 열화현상 및 부분적인 파손으로 진동준위가 높아진 것으로 추정되는 원자력발전소 주증기관의 진동특성 및 요인을 분석하여 진동감쇠 방안을 도출하고 검증함으로써 배관 및 주변 구조물의 건전성을 확보하고 설비의 신뢰성을 확보하고자 하였다. 이를 위하여 주증기관을 모델링하여 해석하였으며, 발전소의 기동 및 정상운전시의 진동준위를 측정하였다. 또한 발전소의 정진기간중 일부 배관계에 대한 실험적 모우드 해석을 수행하였다. 여러가지 진동감쇠 방안을 검토하여 탄성지지 및 에너지 흡수효과를 동시에 발휘할 수 있는 특수 지지물(WEAR$_{TM}$)을 설치하는 방안을 도출하였으며, 현장에 설치한 후 배관의 진동상태를 확인함으로서 효과적인 방안임을 검증하였다.

  • PDF

Study Ontology Design Scheme Using UML and OCL (UML 및 OCL을 이용한 서비스 온톨로지 설계 방안에 관한 연구)

  • Lee, Yun-Su;Chung, In-Joeng
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2005.05a
    • /
    • pp.671-674
    • /
    • 2005
  • 현재 지능형 웹 서비스를 위한 서비스 온톨로지의 생성은 서비스 개발자의 휴리스틱에 의존하여 많은 시간과 비용을 소모할 뿐만 아니라 서비스와 서비스 온톨로지간의 완벽한 매핑이 어렵다는 문제점을 가지고 있다. 또한 서비스 온톨로지를 기술하기 위한 마크업 언어를 서비스 개발자가 단기간 내에 학습하기에 많은 어려움이 있는 실정이다. 본 논문에서는 지능형 웹 서비스를 위한 서비스 온톨로지 생성의 문제점들을 해결하기 위해 MDA 방법론을 사용하여 서비스 온톨로지를 효율적으로 설계 및 생성하기 위한 방안을 제안한다. 본 논문에서 제안하는 방안은 MDA를 기반으로 널리 사용되고 있는 UML을 사용하여 웹 서비스 모델을 설계하고 이를 OWL-S에 최적화된 모델로 변환한 후 XMI를 통해 OWL-S로 기술되는 서비스 온톨로지로 변환한다. 본 논문에서 제안하는 방안은 이미 널리 사용되는 UML과 같은 소프트웨어 공학적 방법을 사용하기 때문에 서비스 개발자들이 쉽게 서비스 온톨로지를 구축할 수 있으며 하나의 모델로부터 서비스와 서비스 온톨로지 모델을 동시에 이끌어 낼 수 있는 장점을 가진다. 또한 모델로부터 자동적으로 서비스 온톨로지를 생성함으로써 시간과 비용을 절감할 수 있는 효과를 얻을 수 있다. 그리고 플랫폼 변화와 같은 외부 환경 변화에 유연하게 대처할 수 있다. 끝으로 본 논문에서는 제안된 방안의 타당성을 검증하기 위해 실제로 웹 서비스 모델을 설계하고 서비스 온톨로지를 생성하는 예를 보인다. 또한 생성된 서비스 온톨로지가 올바르게 생성되었는지를 유효성 검사를 통해 검증한다.

  • PDF

Flow Mobility of PMIPv6 for Multi-Interface Mobile Nodes (PMIPv6 환경에서 Multi-Interface 단말의 플로우 이동성 지원 방안)

  • Lee, Dong-Min;Min, Sang-Won
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.36 no.10B
    • /
    • pp.1168-1174
    • /
    • 2011
  • The IEFT has recently considered to provide flow mobility for multi-interface MN in the PMIPv6. In this paper, we proposed an extended BCE of the LMA and a novel mechanism for flow mobility of PMIPv6. With our proposal BCE and mechanism, the LMA can route packets by the flow label and hence packet loss during handover can be eliminated. Also, to validate our flow mobility scheme, we designed and implemented the PMIPv6 packet data unit and database of both LMA and MAG, and configured a testbed for flow mobility in PMIPv6. And the support of flow mobility was configured with the network connectivity test in our testbed. According to the Wireshark results, we can see that our proposed scheme works wells for flow mobility in PMIPv6.

A Study on the Fatigue Crack at Welded Joint for Steel Plate Girder Railway Bridge (강철도 플레이트거더교 용접이음부 피로균열의 평가에 관한 연구)

  • Park, Jin-Eun;Kyung, Kab-Soo;Lee, Sung-Jin;Jo, Yun-Jae
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2010.04a
    • /
    • pp.306-309
    • /
    • 2010
  • 강철도 플레이트거더교의 경우 일반적으로 레일의 폭보다 거더 사이의 폭이 넓기 때문에 거더에 편심이 작용하게 된다. 이러한 편심 영향으로 거더 내측 상부플랜지에 휨변형이 일어나게 되어, 상부플랜지와 수직보강재 용접이음부에 반복하중에 의한 피로균열이 발생되고 있는 것으로 보고되고 있다. 본 연구에서는 공용중인 강철도 플레이트거더교를 대상교량으로 하여 공용하중에 대한 구조해석을 실시하였다. 대상교량에 대한 현장계측을 기초로 구조모델링을 검증하였고, 검증된 구조모델링을 사용하여 열차하중 하에서의 상부플랜지와 수직보강재 용접연결부에서의 피로균열 보강방안에 대한 구조해석을 실시하였다. 또한 상부플랜지와 수직보강재 용접이음부 상세해석을 통하여 피로균열 발생위치를 확인하고 연결이음부의 적절한 보강방안을 제시하고자 한다.

  • PDF