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

Search Result 2,336, Processing Time 0.033 seconds

The Design and Implementation of InfiniBand Device Driver based on Linux (리눅스 기반 InfiniBand 장치 드라이버의 설계 및 구현)

  • Kim, Sun-Wook;Park, Chan-Ho;Park, Kyoung
    • Proceedings of the IEEK Conference
    • /
    • 2003.07d
    • /
    • pp.1597-1600
    • /
    • 2003
  • InfiniBand 구조는 입출력 처리에 최적화된 입출력 연결망과 프로세서 상호간 통신에 최적화된 클러스터 연결 망을 통합한 차세대 클러스터 연결 망이다. 본 논문에서는 리눅스 운영체제를 기반으로 하는 InfiniBand 연결망용 호스트 채널 어댑터(HCA : Host Channel Adapter)장치 드라이버의 소프트웨어 스택 및 구조, 그리고 메시지 전송 절차에 대해 설명하였고 장치 드라이버의 동작 검증을 위한 환경 및 테스트에 대해 논하였다.

  • PDF

Implementation of an AIC Player for Interactive TV Systems (대화형 방송 시스템 응용을 위한 AIC Player의 구현)

  • 조준환;김종호;정제창
    • Proceedings of the IEEK Conference
    • /
    • 2000.09a
    • /
    • pp.635-638
    • /
    • 2000
  • 멀티미디어 기술의 총아라고 불리는 차세대 디지털 방송은 현재 선진 각 국에서 표준안 제정에 심혈을 기울이고 있으며 그 핵심적인 기술은 대부분 MPEG-2를 근간으로 하고 있는 실정으로 현재는 양방향 서비스에 대한 논의가 제한적으로 이루어지고 있다. 이에 차세대 영상압축 기술인 MPEG-4에서는 시스템 차원에서 사용자와의 상호작용을 지원할 수 있는 구조로 개발되어 있다. 본 논문에서는 이러한 기술적 차이에 착안해서 현재 제정된 디지털 방송 표준안을 기본으로 하고 사용자와의 상호작용을 지원하는 부가 데이터 방송은 MPEG-4 시스템 표준을 이용하여 양방향성이 강조된 디지털 방송 시스템 모델을 제안한다. 제안된 기술은 별도의 하드웨어의 지원 없이 소프트웨어만으로 처리할 수 있으며 차후 하드웨어로 제작될 디지털 TV 수신기모델을 손쉽게 검증, 제시함으로써 셋톱박스 및 디지털 TV 개발에 응용할 수 있다.

  • PDF

마켓리포트-DC 경기침체 뚫고 고부가가치 산업으로 고공 행진

  • Gwon, Gyeong-Hui
    • Digital Contents
    • /
    • no.3 s.142
    • /
    • pp.46-56
    • /
    • 2005
  • 인터넷의 급속한 확대와 유무선 통신인프라 등의 확충으로 디지털콘텐츠 산업은 지식정보화사회의 핵심산업으로 급부상하고 있다. 또한 디지털의 속성상 가공이 쉽고 유통이 간편해 고부가가치 창출의 핵심으로 부상하고 있다. 이러한 이유 때문에 세계 유수의 선진국들은 시장 선점을 위해 디지털콘텐츠 산업을 중요한 전략산업으로 선정, 집중적인 투자를 진행하고 있다. 이러한 가운데 국내 디지털콘텐츠 시장은 이제 단순한 기대의 차원을 넘어 질과 양적인 측면에서 비약적인 발전을 보이고 있다. 2001년 시장조사결과 2조3,000억원 수준이던 국내 디지털콘텐츠 산업의 전체 시장규모는 올해 6조원을 넘어서는 등 3배에 가까운 양적인 성장을 이뤘으며 내년에는 7조원을 돌파할 것으로 전망된다. 또한 한국 디지털콘텐츠 산업의 대표주자인 게임의 경우 이미 내수 기반의 사업활동을 넘어서서 그 무대를 세계로 확장해가고 있으며 몇몇 게임사의 경우 이미 세계 시장에서 그 진가를 인정받고 있는 세계적 기업으로 성장하고 있다. 이와 같은 성과에도 불구하고 국내 디지털콘텐츠산업은 여전히 투자 부족과 참여업체의 영세성 등의 문제점이 해결되지 못하는 등 많은 과제를 남기고 있다. 이에 월간 <디지털콘텐츠>는 한국소프트웨어진흥원의‘2004년 디지털콘텐츠 시장 보고서’를 긴급 입수, 디지털콘텐츠 산업의 변화와 흐름을 파악하고, 장기적인 정책 방향을 검증해 시장의 변화에 따라 발빠른 대응책 마련에 단초가 될 수 있도록 분석했다.

  • PDF

Implementation of Boundary Value Analysis Tool for Software Verification in Railway Signaling Systems (철도신호시스템 소프트웨어 검증을 위한 경계값 분석도구의 구현)

  • Jo, Hyun-Jeong;Hwang, Jong-Gyu;Baek, Jong-Hyen;Lee, Jae-Ho
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.1252-1253
    • /
    • 2011
  • The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

  • PDF

COMS MPIU FDIR(Fault Detection, Isolation & Recovery) Analysis (천리안 위성의 탑재체 접속장치에 대한 고장감지, 격리 및 회복에 대한 분석)

  • Cho, Young-Ho;Won, Joo-Ho;Lee, Yun-Ki;Kwon, Ki-Ho;Lee, Sang-Kon
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.2025-2026
    • /
    • 2011
  • 위성의 가장 큰 제한 중에 하나는 발사하면 더 이상의 수리가 불가능하다는 것이다. 그래서 사용하는 위성의 부품 및 시스템에 대하여 신뢰성 검증이 지상에서 많이 이루지고 있지만 모든 고장을 막을 수 있는 것은 불가능함으로 이에 대한 감시 및 고장시 대처하는 기능이 필요하다. 위성의 고장운영(fault management)은 탑재소프트웨어나 하드웨어로 구현하여 운영 중 시스템의 이상상황(anomaly)을 모니터링하고 이상상황이 발생한 경우 시스템이 안전하도록 조치하는 것이다. 본 논문은 천리안위성의 FDIR구조를 소개하였고 탑재체접속장치 경우 설계된 FDIR를 분석하였다.

  • PDF

A Study on the Specification of Communication Protocols Using Ada (Ada 언어를 이용한 통신 프로토콜의 명세화에 관한 연구)

  • 김길준
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.16 no.8
    • /
    • pp.697-700
    • /
    • 1991
  • In this paper, in first we show a main concept of Ada language and the architectures and functions of transport model for OSI, and than represent the possibility of describing the transport interface using Ada language. It is gived a following result. As we specify communication protocol using the Ada, we can to create of program for processing the communication protocol or for processing protocol itself. It is know to us to represent the effect debugging of softeware.

  • PDF

Implementation of PSO(Particle Swarm Optimization) Algorithm using Parallel Processing of GPU (GPU의 병렬 처리 기능을 이용한 PSO(Particle Swarm Optimization) 알고리듬 구현)

  • Kim, Eun-Su;Kim, Jo-Hwan;Kim, Jong-Wook
    • Proceedings of the KIEE Conference
    • /
    • 2008.10b
    • /
    • pp.181-182
    • /
    • 2008
  • 본 논문에서는 연산 최적화 알고리듬 중 PSO(Particle Swarm Optimization) 알고리듬을 NVIDIA사(社)에서 제공한 CUDA(Compute Unified Device Architecture)를 이용하여 새롭게 구현하였다. CUDA는 CPU가 아닌 GPU(Graphic Processing Unit)의 다양한 병렬 처리 능력을 사용해 복잡한 컴퓨팅 문제를 해결하는 소프트웨어 개발을 가능케 하는 기술이다. 이 기술을 연산 최적화 알고리듬 중 PSO에 적용함으로써 알고리듬의 수행 속도를 개선하였다. CUDA를 적용한 PSO 알고리듬의 검증을 위해 언어 기반으로 프로그래밍하고 다양한 Test Function을 통해 시뮬레이션 하였다. 그리고 기존의 PSO 알고리듬과 비교 분석하였다. 또한 알고리듬의 성능 향상으로 여러 가지 최적화 분야에 적용 할 수 있음을 보인다.

  • PDF

Application of ROBOID Studio to the control of LEGO NXT (레고 NXT의 제어를 위한 로보이드 스튜디오의 응용)

  • Lim, J.;Lee, S.;Kim, J.;Kim, K.;Suh, I.H.
    • Proceedings of the KIEE Conference
    • /
    • 2008.10b
    • /
    • pp.351-352
    • /
    • 2008
  • 네트워크 기반의 씬 클라이언트 로봇은 내장된 리소스가 부족하지만 네트워크를 통해 이를 극복하려는 로봇이다. 씬 클라이언트 로봇에는 부족한 내장 리소스를 네트워크를 통해 효과적으로 운영하기 위한 디바이스 맵 프로토콜과 로봇 제어 및 개발 플랫폼으로써 로보이드 스튜디오가 제안되어 있다. 현재 로보이드 스튜디오는 공개 소프트웨어 방식으로 다양한 로봇을 지원하지만, 아직은 실제 지원되는 로봇의 종류가 부족하다. 따라서 새로운 로봇에 대한 이식 지원 방법과 다양한 이식 환경 속에서 문제점을 찾아 해결해야 한다. 우리는 첫 번째로 씬 클라이언트 로봇보다는 내장 리소스가 풍부하며, 광범위한 사용자층을 갖고 있는 LEGO NXT를 선택하여 로보이드 스튜디오 운영 및 개발 환경의 이식 절차를 제안하고, 로보이드 스튜디오 프레임워크가 제공하는 네트워크 기반 로봇 제어 기술의 성능을 검증한다.

  • PDF

Back-to-Back Interconnection System using New 18-step Voltage Source Converter (새로운 18-step 전압원 컨버터를 이용한 Back-to-Back 계통연계시스템)

  • Lee, Hye-Yeon;Lee, Ji-Heon;Han, Byung-Moon;Li, Yulong;Kim, Soo-Yeol;Chang, Byung-Hoon
    • Proceedings of the KIEE Conference
    • /
    • 2008.11a
    • /
    • pp.62-64
    • /
    • 2008
  • 본 연구에서는 펄스다중화 보조회로론 이용한 18-step Back-to-Back 전압원 컨버터를 제안한다. 제안하는 Back--Back 전압원 컨버터는 교류연계점에서 유 무효전력의 독립적인 제어가 가능하다. 펄스수를 증가시키는 방법은 이론적인 접근을 통해 분석하였으며, 제안하는 시스템의 동작은 PSCAD/EMTDC 소프트웨어로 시뮬레이션 모델을 개발하여 확인하였고 실질적인 성능검증은 하드웨어 축소모형을 제작하고 실험을 통해 실시 하였다.

  • PDF

A Conformance Test Procedure for the Enterprise JavaBeans (컴포넌트 소프트웨어를 위한 적합성 검증 방법)

  • Joo, Un-Gi;Kim, Joong-Bae
    • IE interfaces
    • /
    • v.17 no.2
    • /
    • pp.149-157
    • /
    • 2004
  • This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.