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

Search Result 2,336, Processing Time 0.029 seconds

Co-design of Nuclear Power Digital Plant Protection System using Ptolemy (PtolemyII를 이용한 디지털 원자력 발전소 보호시스템의 통합 설계)

  • Kim, Jin-Hyun;Hwang, Hye-Jung;Lee, Na-Young;Choi, Jin-Young
    • Annual Conference of KIPS
    • /
    • 2002.04a
    • /
    • pp.435-438
    • /
    • 2002
  • 원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 대표적인 Safety-critical 시스템으로서 그 설계로부터 구현에 이르기까지 다양한 방법으로 안정성을 보장하는 설계방법이 연구되고 있다. 특히 이러한 내장형 시스템은 근래에 들어 하드웨어-소프트웨어 통합설계를 통해 설계초기부터 안정성과 일관성 등을 높일 필요가 있다. 본 연구에서는 아날로그 및 디지털이 혼합된 Heterogeneous 시스템의 통합 설계 도구인 PtolemyII[1]을 이용하여 원자력 발전 내장형 시스템의 일종인 Digital Plant Protection 시스템을 설계하고 이를 시뮬레이션 함으로 Safety-critical 시스템 가운데 가장 높은 등급을 요하는 시스템에 통합설계를 적용시켜 본다. 그리고 이에 대한 정형 검증기법을 제안한다.

  • PDF

Design and Implementation of Visual Ethernet Traffic Generator (비쥬얼 이더넷 트래픽 발생기의 설계 및 구현)

  • Jung, In-Hwan;Kim, Jin-Hwan
    • Annual Conference of KIPS
    • /
    • 2002.11b
    • /
    • pp.1305-1308
    • /
    • 2002
  • 본 논문에서는 이더넷(Ehternet)의 네트워크 진단과 분석을 위해 필수적인 트래픽 발생기(traffic generator)를 설계하고 구현한다. 이더넷 트래픽은 패킷의 양과 프로토콜의 종류 그리고 패킷의 길이 등에 영향을 받는다. 본 연구에서 구현하고자 하는 트래픽 발생기는 이 세가지 항목을 편리한 사용자 인터페이스를 통해 선택하여 다양한 네트워크 트래픽을 발생하는 것을 목표로 한다. 구현된 트래픽 발생기 VTG 는 허브, 라우터 등 네트워크 장비의 성능 평가와 패킷을 모니터링하는 소프트웨어들인 네트워크 진단 시스템과 침입탐지 시스템 등의 성능 평가 및 검증을 위해 사용될 수 있다.

  • PDF

Development of Control Algorithm for Improving Stability and Compensating Voltage Unbalance of Bipolar-type DC micro-grid (바이폴라 타입 DC 마이크로그리드의 전압 불평형 보상 및 안정도 향상을 위한 제어기법 개발)

  • Kim, Hyun-Jun;Lee, Ji-Heon;Han, Tae-hee;Han, Byung-Moon;Kim, Ju-Yong;Chae, Woo-Kyu
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.343-344
    • /
    • 2013
  • 본 논문에서는 바이폴라 타입 DC 마이크로그리드의 전압 불균형을 보상하기 위한 전압 밸런싱 기법과 안정도 향상을 위한 제어기법을 제안하였다. 선로 임피던스와 부하 불균형에 의한 전압 불평형 문제를 해석하고 제안하는 기법을 통해 이를 해결하였으며 과도 상태에 대한 DC 배전계통의 안정도 향상기법을 개발하였다. 제안하는 시스템의 동작 타당성을 체계적으로 분석하기 위해 PSCAD/EMTDC 소프트웨어를 이용한 시뮬레이션 모델을 개발하고 그 성능을 검증하였다.

  • PDF

Design and Implementation of Triple-DES Coprocessor for 32-bits Data Bus (32 비트 데이터 버스를 이용한 3-DES Coprocessor의 설계 및 구현)

  • Choi, Hong-Mook;Kim, Yong-Bum;Cho, Hwa-Hyun;Choi, Myung-Ryul
    • Annual Conference of KIPS
    • /
    • 2003.05c
    • /
    • pp.2209-2212
    • /
    • 2003
  • 정보 통신 기술의 발전이 우리 생활을 편리하게 만들고 있지만, 한편으로는 해킹, 도청 등의 부작용이 발생하고 있다. 이러한 부작용을 최소화시키는 결정적인 역할을 하는 분야가 암호 학이다. 현재의 정보 보호 시스템 대부분이 소프트웨어 방식으로 구현되어 있어 암호화 속도 문제 및 해킹에 의한 불법 정보 유출의 위험성이 높은 현실이다. 이러한 점을 해결하기 위해 암호 알고리즘의 하드웨어 구현은 필수적이다. 따라서 본 논문에서는 암호 알고리즘의 속도 및 안전성 문제를 향상시키기 위해 기존에 많이 이용되고 있는 3-DES를 32 비트 데이터 버스를 이용한 하드웨어로 선계 및 구현하여 검증하고 성능 분석을 하였다.

  • PDF

Development of Energy Management System (에너지관리, 제어 시스템(EMS) 개발)

  • Lee, J.Y.;Choi, Y.S.;Shin, C.G.;Chung, H.C.
    • Proceedings of the KIEE Conference
    • /
    • 1998.07c
    • /
    • pp.854-857
    • /
    • 1998
  • 에너지관리, 제어 시스템(EMS)은 전력계통의 실시간 제어 및 총체적인 관리를 최대화하기 하여 컴퓨터 및 통신 시스템으로 구축된 제어시스템이다. 본 EMS의 주요특성은, 첫째 상당히 빠른 속도로 발전되는 컴퓨터 및 통신 기술들을 수시로 수용할 수 있는 기능, 둘째 상대적으로 지속적이며 오래토록 사용되는 수학적인 알고리즘 및 Buiness Rule들을 처리하는 소프트웨어를 급변하는 Computing 환경에서 적응해 갈 수 있는 기능, 셋째 Heterogenous한 시스템에 접속시킬 수 있는 Database를 갖추었다. 끝으로, 대형 전력계통의 Modeling과 이에 부합하는 실시간 Data로 자동화된 전력계통 실시간 운영상의 결과들을 해석 및 검증하였다.

  • PDF

Automotive Embedded System Software Development and Validation with AUTOSAR and Model-based Approach (AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템 소프트웨어의 개발 및 검증 기법)

  • Kum, Dae-Hyun;Son, Jang-Kyung;Kim, Myung-Jin;Son, Joon-Woo
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.13 no.12
    • /
    • pp.1179-1185
    • /
    • 2007
  • This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

Ensuring Securityllable Real-Time Systems by Static Program Analysis (원격 실시간 제어 시스템을 위한 정적 프로그램 분석에 의한 보안 기법)

  • Lim Sung-Soo;Lee Kihwal
    • Journal of the Korea Society of Computer and Information
    • /
    • v.10 no.3 s.35
    • /
    • pp.75-88
    • /
    • 2005
  • This paper proposes a method to ensure security attacks caused by insertion of malicious codes in a real-time control system that can be accessed through networks. The proposed technique is for dynamically upgradable real-time software through networks and based on a static program analysis technique to detect the malicious uses of memory access statements. Validation results are shown using a remotely upgradable real-time control system equipped with a modified compiler where the proposed security technique is applied.

  • PDF

AMI 네트워크 기반 수용가 자동 수요반응 시스템

  • Seo, Jong-Gwan;Jeon, Hui-Yeon;Lee, Jae-Jo
    • Information and Communications Magazine
    • /
    • v.34 no.5
    • /
    • pp.68-75
    • /
    • 2017
  • 본고에서는 Advanced Metering Infrastructure (AMI) 네트워크 기반의 자동 수요반응 기술에 대해 소개한다. 수요반응은 피크 수요 기간 동안 전력의 안정화에 큰 기여를 할 수 있으며, 수요반응의 범위와 효과가 증가함에 따라 일반 수용가의 참여가 매우 중요한 이슈로 떠오르고 있다. 하지만, 다양한 지역에 위치한 수용가를 대상으로 수요반응 서비스를 제공하기 위해서는 유틸리티 또는 수요관리사업자와 고객 간의 수요반응 신호 교환과 정보 공유를 위한 통합 네트워크 구축이 필수적으로 필요하다. 또한, 이기종 시스템 간 상호운용성 보장을 위한 공통의 통신 제어 기술이 요구된다. 본고에서는 AMI 네트워크를 기반으로 IEC/PAS 규격인 Open Automated Demand Response version 2.0 (OpenADR2.0) 기술을 채택하여 수용가를 대상으로 한 자동화된 수요반응 서비스를 실현하고자 한다. AMI 디바이스를 수요반응 자원으로 활용하기 위하여 기존의 기능은 유지한 채로 OpenADR2.0 프로토콜을 탑재하여 수요반응 기능이 추가된 디바이스들을 개발하였으며, 프로토콜 적합성 테스트와 필드 테스트를 통하여 자동화된 수요 반응 서비스 및 부하 감축을 검증하였다. 개발 소프트웨어는 OpenADR Alliance로부터 국제공인인증을 획득함으로써 수요 반응 시스템의 레퍼런스 통신 기술로 적용이 가능하다.

An Operational Scheme of Software Configuration Management (소프트웨어 형상관리 운영 방안에 관한 연구)

  • 김태달
    • Proceedings of the Korea Database Society Conference
    • /
    • 1999.10a
    • /
    • pp.165-171
    • /
    • 1999
  • 형상관리는 프로젝트를 추진함에 있어 현실적으로 필수적인 관리 항목으로 인식할 필요성이 대두되고 있다. 그 이유는 프로젝트를 성공적으로 완료하기 위해서는 전체 프로젝트 공정을 통해 사전에 계획된 절차에 준하여 단계별로 어떻게 추진되고 있는지 추진과정을 추적, 확인되어야 하며, 또한 추진 결과에 있어 단계별로 어떤 결과물이 양산되고 있는지를 검증 및 확인하여야 하기 때문이다. 본 논문에서는 이러한 형상관리를 위해서는 프로젝트 수행 초기에 형상관리 계획을 입안하기 위한 형상관리 조직형태를 제안하며 작성된 계획서에 수록된 형상관리 조직을 운영함에 있어 필요한 형상관리활동의 주요 내용들에 대해 국내외 표준 및 지침에 대해 조사하였으며, 현실적으로 공공 프로젝트를 추진함에 있어 형상관리를 위한 필수관리 항목과 문서화 기준 및 이들 문서들간의 연관성에 대해 연구, 제안한다.

  • PDF

Implementation of Efficient Effect of CMOS Image Sensor (CMOS 이미지 센서용 효과적인 Effect 구현)

  • Song, Hyung-Don;Lee, Dong-Hun;Sonh, Seung-Il
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.1
    • /
    • pp.999-1003
    • /
    • 2005
  • 본 논문에서는 영상 입력 장치 또는 카메라 이미지 센서로부터 얻은 이미지 데이터에 대하여 Bayer입력 포맷을 우리가 디스플레이 장치로 보는 영상으로 출력하기 위해 전처리 작업을 수행한 후 이미지 이펙트를 수행한다. 본 논문에서는 연산량과 레지스터의 수를 줄이고 칩의 성능을 향상시키기 위해 이미지 이펙트를 RGB에 적용하지 하지 않고 YCbCr을 이용하여 이미지 이펙트를 수행한다. 이를 구현하기위해 원본 이미지 사이즈를 640${\times}$480으로 입력 데이터를 사용하고, 소프트웨어로 전처리하여 이미지 결과를 확인한 후, 최적화된 알고리즘를 적용하여 VHDL설계언어를 이용한 하드웨어 설계 후, ModelSim 6.0a를 이용하여 데이터를 검증한다.

  • PDF