• 제목/요약/키워드: co-verification environment

검색결과 107건 처리시간 0.026초

횡단보도의 시인성 향상을 위한 기준검토 및 검증 테스트를 통한 보완 기준(안) 연구 (The Study of Complementary Standards to Improve Visibility on Crosswalk throughout Verification Studies after Reviewing Standards)

  • 이미애;이동희;이윤경
    • 조명전기설비학회논문지
    • /
    • 제28권8호
    • /
    • pp.14-23
    • /
    • 2014
  • According to the analysis of crosswalk pedestrian accidents, accidents that occur at night represent 70% of all deaths among crosswalk pedestrians when compared to accidents occurring in the daytime. This is due to the poor visibility that hinders drivers to recognize pedestrians at night. Illuminance on the horizontal plane of the road and the current state of crosswalk lighting are not sufficient enough to comply with standards. Thus, we analyzed factors derived from lighting environment studies on improving crosswalk visibility, domestic and foreign crosswalk lighting standards, and subsequently proposed solutions which are needed to raise domestic crosswalk lighting standards, and a means to uphold those standards through proper verification.

상호 호환성 검증을 위한 IoT 기반의 CoAP 프로토콜 구현 및 실험 (Implementation and Experiment of CoAP Protocol Based on IoT for Verification of Interoperability)

  • 김문권;김도현
    • 한국인터넷방송통신학회논문지
    • /
    • 제14권4호
    • /
    • pp.7-12
    • /
    • 2014
  • IETF (Internet Engineering Task Force)의 CoAP (Constrained Application Protocol) 프로토콜은 작은 용량의 메모리와 저전력 등 제한된 환경에서 센서나 구동체 노드 간에 통신을 지원한다. CoAP 프로토콜은 HTTP와 쉽게 상호 변환할 수 있으며, 사물인터넷(Internet of Thing : IoT)와 M2M (Machine-to-Machine) 환경에서 저전력 센서와 구동체 네트워크를 통한 기반 시설을 감시하거나 관리할 수 있다. IETF CoRE(Constrained RESTful environments) 워킹그룹(Working Group)에서 2010년에 CoAP 프로토콜에 대한 표준화를 시작하여 최근에 RFC(Request for Comments) 7252로 발표한다 [2]. 본 논문에서는 이질적인 운영 환경에서 CoAP 프로토콜을 설계하고 구현하여 상호 호환성을 검증한다. 이를 위해 CoAP 클라이언트에는 윈도우 기반의 CoAP 프로토콜을 실현하고, CoAP 서버에는 리눅스 기반의 CoAP 프로토콜을 구현하여 상호 연동 실험을 실시하여 동작을 확인한다.

Virtual Environment Modeling for Battery Management System

  • Piao, Chang-Hao;Yu, Qi-Fan;Duan, Chong-Xi;Su, Ling;Zhang, Yan
    • Journal of Electrical Engineering and Technology
    • /
    • 제9권5호
    • /
    • pp.1729-1738
    • /
    • 2014
  • The offline verification of state of charge estimation, power estimation, fault diagnosis and emergency control of battery management system (BMS) is one of the key technologies in the field of electric vehicle battery system. It is difficult to test and verify the battery management system software in the early stage, especially for algorithms such as system state estimation, emergency control and so on. This article carried out the virtual environment modeling for verification of battery management system. According to the input/output parameters of battery management system, virtual environment is determined to run the battery management system. With the integration of the developed BMS model and the external model, the virtual environment model has been established for battery management system in the vehicle's working environment. Through the virtual environment model, the effectiveness of software algorithm of BMS was verified, such as battery state parameters estimation, power estimation, fault diagnosis, charge and discharge management, etc.

In-Circuit 시스템 온 칩 검증 방법과 디버깅 환경 (In-Circuit System-on-Chip Verification and Debugging Environment)

  • Lee, Jae-Gon;Ando Ki;Kyung, Chong-Min
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2003년도 하계종합학술대회 논문집 II
    • /
    • pp.1007-1010
    • /
    • 2003
  • This paper presents in-circuit system-on-chip verification and debugging environment. To maximize the emulation speed, the software part is compiled natively for the host computer and the hardware part is mapped into FPGA. The two parts communicate with each other in transaction level. The operation of the hardware part and the software part is recorded independently during the emulation, and after the emulation is over, they are merged in a waveform to give user a unified view that covers both hardware and software.

  • PDF

기능 검증 및 성능 평가 통합 접근 방법을 통한 통신 프로토콜 개발을 위한 SDL-OPNET 코-시뮬레이션 기법 (SDL-OPNET Co-Simulation Technique for the Development of Communication Protocols with an Integrated Approach to Functional Verification and Performance Evaluation)

  • 양치평;김태형
    • 한국시뮬레이션학회논문지
    • /
    • 제19권2호
    • /
    • pp.157-164
    • /
    • 2010
  • 우수하고 신뢰성 있는 통신 시스템의 개발을 위해 시스템에 대한 기능 검증과 성능 평가가 모두 필수적인데 반해 이들은 주로 형식 언어 도구를 이용한 기능 모델링과 전문 네트워크 성능 평가 도구에 의한 성능 모델링을 통해 개별적으로 수행되어 왔다. 그러나 한 시스템을 별도로 중복하여 모델링 하는 것은 비용의 증가와 모델 간 불일치를 가져오게 된다. 본 논문은 이 문제를 해결하기 위해 SDL-OPNET 코-시뮬레이션을 통해 SDL로 설계된 통신 프로토콜의 성능을 평가하는 통합 설계 기법을 제안한다. 제안 기법은 Tau의 환경함수와 OPNET의 외부시스템 모듈을 이용하는 코-시뮬레이션 시스템의 설계 방법을 제시한다. InRes 프로토콜이 예로 사용되어 제안 기법의 적용가능성과 효용성을 보여준다.

CoAP 프로토콜 구현과 USN 환경 적용 (Implementation of CoAP Protocol for USN Environment)

  • 민경주;김용운;유상근;김형준;정회경
    • 한국정보통신학회논문지
    • /
    • 제15권5호
    • /
    • pp.1189-1197
    • /
    • 2011
  • 제한된 자원을 갖는 센서 노드를 효율적으로 관리하기 위해, IETF WG에서 2010년에 CoAP 프로토콜을 발표하였다. 아직 RFC로 확정 받지 않은 상태이기 때문에, 이 프로토콜의 단점을 보완하고, 논리적인 검증이 필요하다. 본 논문에서는 PC환경에서 CoAP 프로토콜을 구현하고, 프로토콜의 신속한 논리적 검증을 확인한 후, 이를 기반으로하여 실제 센서 노드 및 네트워크 노드에 적용한다. 메모리와 컴퓨팅 능력 등이 PC 환경과 비교하여 크게 제한되기 때문에, 센서 노드에 적용하기 위해서는 하드웨어에 종속적인 환경 적용이 필요하다. 이를 위해 Cygwin 환경에 포팅하고, 하드웨어 종속성을 해결하기 위한 방법 등을 제시하고, 이를 실험을 통해 검증한다.

전지형 크레인 조향제어 알고리즘 개발 및 연성해석 기반의 성능평가 (Development of Steering Control Algorithms for All-terrain Crane and Performance Verification Based on Real-time Co-simulation)

  • 서자호;이근호;오광석
    • 대한기계학회논문집A
    • /
    • 제41권5호
    • /
    • pp.367-374
    • /
    • 2017
  • 본 연구의 목적은 120톤급 전지형 크레인의 조향성능 향상을 위한 제어 알고리즘의 개발이다. 이를 위해 AMESim 소프트웨어를 이용하여 전지형 크레인의 유압조향시스템을 모델링하고, PID 기반의 조향제어용 제어기를 MATLAB/Simulink 환경에서 설계하였다. 설계된 제어기의 성능은 실시간 시뮬레이터를 활용한 유압 및 제어 모델간 연성해석을 통하여 검증하였다.

상용차용 HILS기반 능동형 공기현가 시스템의 가상 Components 개발에 관한 연구 (Study on Development of Virtual Components for Active Air Suspension System Based on HILS for Commercial Vehicle)

  • 고영진;박경민;백일현;김근모;이재규
    • 한국자동차공학회논문집
    • /
    • 제21권2호
    • /
    • pp.26-36
    • /
    • 2013
  • Purpose of this study is to develop virtual components and environment for developing a controller of an Active Air Suspension System in laboratory that slough off existing development environment using real vehicle test. This paper presents an air spring modeling and analysis of air suspension system for a commercial vehicle. Preferentially, It was performed vehicle test for pneumatic system and an air spring for characteristic analysis of system. Each component of an air spring suspension system was developed through emulations and modeling of system for pressure and height sensors in the basis on test results in SILS environment. Non-linear characteristics of air spring are accounted for using the measured data. Also, pressure and volume relations for vehicle hight control is considered. After performance verification of virtual model was performed, we developed virtual environment based on HILS for an Active Air Suspension System. We studied estimation and verification technology for control algorithm that developed.

천장 부착 컬러 표식을 이용한 이동로봇의 자기위치추정 (Localization of Mobile Robot Using Color Landmark mounted on Ceiling)

  • 오종규;이찬호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
    • /
    • pp.91-94
    • /
    • 2001
  • In this paper, we proposed localization method of mobile robot using color landmark mounted on ceiling. This work is composed 2 parts : landmark recognition part which finds the position of multiple landmarks in image and identifies them and absolute position estimation part which estimates the location and orientation of mobile robot in indoor environment. In landmark recognition part, mobile robot detects artificial color landmarks using simple histogram intersection method in rg color space which is insensitive to the change of illumination. Then absolute position estimation part calculates relative position of the mobile robot to the detected landmarks. For the verification of proposed algorithm, ceiling-orientated camera was installed on a mobile robot and performance of localization was examined by designed artificial color landmarks. As the result of test, mobile robot could achieve the reliable landmark detection and accurately estimate the position of mobile robot in indoor environment.

  • PDF

시스템수준의 하드웨어 기능 검증 시스템 (System-level Hardware Function Verification System)

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