• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.03 seconds

Development of Conformance Test Environment for IPTV Terminal Provisioning Procedure (IPTV 단말 프로비저닝 절차 시험환경 개발)

  • Park, DongYoung;Lee, EunHyang
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2012.11a
    • /
    • pp.195-198
    • /
    • 2012
  • IPTV는 방통융합의 대표적인 매체로 자리 매김하며 2008년 상용서비스를 시작으로 계속 진화하고 있다. 그러나, 초기 서로 다른 방식으로 IPTV 서비스를 시작함으로 인해 상호운용성 문제가 대두 됨에 따라, TTA를 통해 IPTV 분야의 표준화가 시작되어 현재도 다양한 IPTV 분야의 기 제정된 표준의 개정 작업 및 신규 분야의 표준화를 계속 추진하고 있다. 이렇듯 표준화가 진행됨에 따라, IPTV 단말의 사업자 간의 이동성을 보장하기 위한 노력이 계속되고 있으며, 그 중 하나로 IPTV 단말 프로비저닝 절차 표준화가 추진되어 현재까지 2번의 개정 작업을 통해 표준안의 보완/수정 작업 등이 진행되어 2차 개정판이 완료되었다. 이에 TTA에서는 해당 표준을 구현한 STB 등 단말과 서버에 대한 표준적합성 시험을 위한 시험규격을 개발하였다. IPTV 단말 프로비저닝 절차 표준에서는 단말의 네트워크 접속부터 펌웨어/소프트웨어 업그레이드, IPTV 서비스를 탐색하기 위한 정보 전달을 위한 절차를 정의하고 있으며, 각 절차별 데이터 형식 및 프로토콜을 검증하기 위한 시험항목을 개발하였으며, 표준안 검증 및 시험 서비스 제공을 위한 시험환경을 구축하였다.

  • PDF

Formal Verification of Structural Decision Table Specification Using SMV (SMV를 이용한 Structural Decision Table 명세의 정형검증)

  • Jeon Seung-Jae;Jee Eun-Kyoung;Cha Sung-Deok
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06c
    • /
    • pp.190-192
    • /
    • 2006
  • 원자력 발전소의 제어 소프트웨어는 안전성이 중요시 되는 시스템이다. KNICS 컨소시엄의 APR-1400 RPS 개발 프로젝트에서는 시스템의 안전성과 품질을 높이기 위하여 요구사항을 NuSCR 정형명세로 기술하였다. 명세에 대한 분석을 위하여 SMV를 이용한 자동화된 정형검증 기법이 사용되는데, 본 논문에서는 테이블 형태의 명세인 SDT까지 그 범위를 확장하는 방법을 제안한다. 제안하는 방법의 효율성을 입증하기 위하여 실제 프로젝트에서 개발중인 시스템의 일부를 예제로 사용하였다.

  • PDF

IVS통합분석센터 운영전략

  • Gwak, Yeong-Hui;Jo, Jeong-Ho
    • Bulletin of the Korean Space Science Society
    • /
    • 2009.10a
    • /
    • pp.41.1-41.1
    • /
    • 2009
  • 한국천문연구원은 2008년 10월 IVS(International VLBI Service for Geodesy and Astrometry) 통합분석센터로 선정되어 현재 정규운영을 위한 준비 작업을 진행하고 있다. IVS 통합분석센터는 개별 IVS 분석센터에서 산출한 산출물을 통합하여 개별 분석 센터 산출물의 품질을 검증하고 국제 지구기준좌표계 구성에 필요한 입력 데이터를 제공하는 기능을 한다. 이 연구에서는 IVS통합분석센터로서의 역할과 향후 IVS 통합분석센터의 운영계획에 대해 초점을 맞춘다. VLBI 산출물 통합을 위해 다른 IVS 통합분석센터와 차별화하여 GPS 자료처리 소프트웨어 Bernese 5.0에서 제공하는 정규방정식 단계 통합 프로그램인 ADDNEQ2를 활용할 계획이다. 이와 관련하여 VLBI 데이터 처리에 적합하도록 ADDNEQ2를 수정 보완한 사항과 수정된 ADDNEQ2로 통합한 예비 결과에 대해 집중적으로 논의한다. 이와 더불어 산출한 예비 결과를 각 개별 IVS 분석센터 산출물을 바탕으로 비교 검증한 결과를 소개한다.

  • PDF

OCTOPUS : 다중링크상태분석기

  • Lee, Geun-U
    • ETRI Journal
    • /
    • v.14 no.3
    • /
    • pp.16-30
    • /
    • 1992
  • SMX-1 시스팀과 같이 다수의 신호링크들이 운용되면서 신호망의 시험 및 운용이 이루어질 때 부분적인 분석 검증이 아닌 시스팀의 전반적인 검증에서부터 망차원에서의 동작여부를 판단하여 시스팀을 수정, 보완해가야 할 필요성이 있다. 그러나, 범용의 링크상태분석기를 사용하는 것은 한정된(1 또는 2 링크)신호링크만을 제공하기 때문에 다수의 신호링크에 대한 실시간 상태분석을 할 수 없는 점, 이미 정해진 메시지만을 추출/검색할 수 있기때문에 사용자가 원하는 형태의 니모닉 검색/추출이 되지 않는 기능상의 미비점, 다수의 신호링크를 제공하기 위해서 고가의 링크상태 분석기를 여러대 구입하는 것은 중복구매로 인한 예산문제 등 많은 문제점들이 있다. OCTOPUS는 이러한 문제점들을 해결하기위해 제안된 다중링크상태분석기로서, 상태분석시 다수의 신호링크를 제공할 수 있고, 사용자가 원하는 형태의 니모닉 검색/추출이 가능하며, SMX-1 연구결과인 부산물을 이용한다는 측면과, No. 7 레벨2 프로토콜을 이용한 레벨2 비가용원인이유 파악기능제공, 유사한 형태의 HDLC(데이터링크 프로토콜) 처리기능등을 제공할 수 있다는 것이 장점이다. OCTOPUS의 하드웨어는 자체 개발된 SMX-1시스팀의 하드웨어를 사용하며 그위에 링크상태 분석기용 소프트웨어를 탑재하게 된다.

  • PDF

Development of PSD Sensor Based Distance Measuring System for Intelligent Mobile Robot (지능형 이동로봇을 위한 PSD센서기반 거리계측 시스템의 개발)

  • Kim Yu-Chan;Ryoo Young-Jae;Chang Young-Hak;Song Jeong-Gon;Lee Ju-Sang
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2005.04a
    • /
    • pp.225-228
    • /
    • 2005
  • 본 논문에서는 이동로봇의 저가형 위치인식센서로 적합한 PSD(Position Sensitive Detector)센서를 이용하여 거리계측시스템을 개발하였다. PSD 센서는 거리-전압 출력이 비선형적인 단점을 가지고 있어 센서의 특성실험을 통해 선형화가 가능한 변환함수를 제안하였다. 제안한 방법을 검증하기 위하여 거리계측시스템의 하드웨어 및 소프트웨어를 구성하였다. 또 피측정체의 색상 및 재질에 따른 출력특성을 실험하고 거리-전압 데이터를 측정하였다. 실측한 데이터를 바탕으로 제안한 선형화함수의 계수를 추출하였다. 마지막으로 제안한 함수에 의한 거리와 실제거리를 비교하여 시스템의 성능 및 정확성을 검증하였다.

  • PDF

Construction of A Remote-Controlling Observation System and Its Test Operation

  • Kwon, Sun-Gill;Kang, Wonseok
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.39 no.1
    • /
    • pp.88.1-88.1
    • /
    • 2014
  • 국립고흥청소년우주체험센터는 2014년 11월에 1,040mm의 반사망원경을 도입할 예정이다. 그 사전 준비로 천체관측소 10m돔에 150mm 굴절망원경과 1K CCD카메라를 설치하고, 이를 통합 제어할 원격관측시스템을 구축하였다. 원격으로 제어가 가능한 이 시스템은, 망원경 구동부, CCD, 돔을 제어할 수 있는 소프트웨어, 각 기기를 원격에서 조정 작동할 수 있는 장비, 기상과 하늘의 실시간 상황 및 망원경의 상태를 확인 할 수 있는 원격 모니터링 카메라 등으로 구성되어 있다. 구축 이후 M67 산개성단과 SA98 표준성 영역을 원격으로 관측하였다. 이를 통해, 관측시에 발생할 수 있는 문제점과 장애요인을 분석하여 보완 개선하였고, 시범관측으로 확보한 자료를 활용하여 관측환경을 정량화하는 중이다. 최우선 과제는 센터가 위치한 내나로도 지역의 시상정보를 검증하고 축적하는 일이다. 센터는 천체관측소에 시상 관측기 설치하여 자료를 축적하고 있다. 이 정보의 신뢰성을 확보하기 위해 150mm 굴절망원경으로 얻어진 시상정보와 비교 검증하고자 한다. 또한 이 과정에서 센터 천체관측소에 구축된 망원경으로 관측 가능한 한계등급을 얻을 수 있었고, 표준계 변환작업을 통해 1차와 2차 소광계수를 구해 보았다. 추가적으로 관측 가능한 일수를 지속적으로 기록하여, 계절별, 월별 관측 가능일 수를 조사할 예정이다.

  • PDF

Development of Dynamic Analysis Program for Wind Turbine Blade (풍력 발전기 블레이드의 동특성 해석 프로그램 개발)

  • Seo, Young-Su;Park, Il-Ju;Jung, Sung-Nam;Shin, Eui-Sup
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2010.04a
    • /
    • pp.64-67
    • /
    • 2010
  • 본 논문에서는 풍력 발전기에 사용되는 블레이드의 동특성을 해석하기 위한 프로그램을 개발하였다. 복잡한 형상의 풍력 발전기 블레이드의 모델을 단순화시키기 위하여 보 이론을 이용하였다. 블레이드의 회전 운동은 Hamilton 원리를 유한요소 보 모델을 이용하여 정식화를 수행하였다. 회전 속도에 따라 블레이드에 적용되는 원심력과 검증된 단면 물성치를 이용하여 복합재료 블레이드의 고유치 해석을 수행하였다. 기존의 상용 소프트웨어의 해석 결과와 비교를 통하여 검증 연구를 수행하였으며, 이를 토대로 본 해석 프로그램의 타당성을 보였다.

  • PDF

중앙 시계를 이용한 혼합 분산 시뮬레이션 운영

  • 서동욱
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1995.04a
    • /
    • pp.0-0
    • /
    • 1995
  • 대부분의 시뮬레이션이 특정 시스템의 모델에 대한 분석을 위해 시행된다. 하지만 이러한 용도뿐만 아니라 실제 시스템이 의도대로 진행될 것인지의 검증을 위해서 시뮬레이 션을 사용할 수 있다. 예를 들어, FMS(유연생산시스템)와 같이 분산된 환경에서 작동하는 시스템을 구축하는 경우, 시스템의 작동 여부를 검증하는 용도로 시뮬레이션을 사용할 수 있는데 이 경우 첫단계에는 모든 기계를 시뮬레이션으로 대치하여 처리하다가 한단위씩 실 제 기계로 교환하여 목적에 부합하는지를 검토함으로써 전체 시스템을 용이하게 구축할 수 있다. 위와 같은 경우 그 실행 과정에서 실제 작업과 시뮬레이션 작업이 혼합되어 나타나게 된다. 이러한 혼합 분산 시뮬레이션에서는 실제 작업과 시뮬레이션 작업을 동기화하는 문제 가 발생하며 하드웨어의 실제 작업뿐만 아니라 소프트웨어의 실작업 시간 또는 시뮬레이션 진행에 반영되어야만 한다. 여기서는 실제 작업과 시뮬레이션 작업이 혼합되어 나타나는 혼 합 분산 시뮬레이션을 정의하고, 그 필요성을 살펴본다. 그리고 이러한 문제에 대한 기존의 시뮬레이션 연구들의 적용성을 고찰해 보며, 혼합 분산 시뮬레이션의 운영 방법으로서 중앙 시계를 이용한 실제 작업과 시뮬레이션 작업의 동기화 방안을 제시한다.

  • PDF

A Design of Gamma Correction Circuit for CMOS Image Sensor (이미지 센서용 감마 교정 회로 설계)

  • Lee, Hyun-Jung;Lee, Dong-Hun;Sonh, Seung-Il
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.1
    • /
    • pp.1008-1012
    • /
    • 2005
  • 최근 디지털 카메라, 영상관련 디지털 기기들의 증가와 DMB(Digital Multimedia Broadcasting)의 시작으로 영상 처리 분야의 중요성이 점차 높아지고 있으며, 적절히 교정하지 못한 영상은 너무 밝거나 또는 너무 어둡게 보일 수 있기 때문에 영상을 컴퓨터 스크린에 정확하게 표현하는 감마교정은 영상을 디스플레이 하는 장치에서 더 많은 비중을 차지하고 있다. 본 논문에서는 영상 입력 장치 또는 카메라 이미지 센서로부터 얻은 Bayer Data 가 전처리 과정에서 수행하는 감마교정에 대해 이해하고, ROM에 감마 값을 고정하여 수행하지 않았다. 구간 선형 알고리즘을 이용한 하드웨어적인 처리를 수행하는 감마 교정을 구현하고자 한다. 이를 위해서 Visual C++을 이용하여 소프트웨어적인 구현과 구간 선형법 알고리즘을 이용한 구현을 검증한 후, 구간 선형 알고리즘을 적용한 감마 교정을 하드웨어로 설계 후, Modelsim6.0a를 이용하여 데이터를 검증한다.

  • PDF

Security Evaluation Method for Secure Operating Systems during Development Process (보안 운영체계의 개발 과정 중 보안성 검증방법)

  • 강호석;김남창;심영철;이진석;장인숙
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.853-855
    • /
    • 2003
  • 표준으로 정의된 IT제품의 보안성 평가 방안들은 CC나 ITSEC, TCSEC과 같이 많이 나와있다. 그러나 이러한 표준은 너무 추상적이고 소프트웨어의 각 단계에 따른 보안성을 측정하는데 불충분하다. 또 SSE-CMM같은 프로세스를 평가하는 방법의 경우 역시 너무 추상적이고 포괄적인 면만을 설명하였고 프로세스 자체에 대한 평가에 중점을 두었을 뿐 각 단계의 보안강도를 평가하는데는 부족하다. 이 논문에서는 이러한 단정을 보안하고자 각 공정단계에서, 특히 제품을 계획하는 단계인 요구분석단계와 디자인 단계에서 그래프 모델링과 모듈 다이어그램 통한 검증방법을 제시하였다. 여기서는 보안 운영체계라고 특정 제품을 명시하였지만 실제로 다양한 IT제품에 적용될 수 있다.

  • PDF