• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 춘계종합학술대회
• /
• pp.653-656
• /
• 2007

국내 전자상거래의 표준으로 채택된 ebXML에 대한 관심이 집중되면서 국내외적으로 ebXML 솔루션들의 검증의뢰에 대한 대비책의 필요성이 대두되고 있다. 이 중 BPSS의 검증을 위한 시험도구는 국내외적으로 전무한 상태이다. 이에 ebXML에서 가장 중요하고 필요한 부분으로써 ebMS 표준적합성 및 상호운용성과 연계된 ebXML BPSS 검증 체계 확립이 절실히 요구된다. 본 논문에서는 ebXML BPSS 검증항목으로 작성된 케이스 항목에 따라서 문서의 적합성 여부를 평가하기 위한 시스템 모델을 제안하고자한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• 전자통신동향분석
• /
• 제14권6호통권60호
• /
• pp.38-50
• /
• 1999

적합성 시험(conformance test)은 통신 프로토콜 제품에 대해 그 제품이 프로토콜 표준에 따라 올바르게 구현되었는지를 검증하는 것이다. 그러므로 적합성 시험은 구현제품의 기능과 그 기능의 동작 행위가 프로토콜 표준에서 기술된 요구사항을 만족하는지를 조사하는 것을 요구하며 이를 시험규격으로 표현한다. 이때 프로토콜의 동작행위에 대한 시험 시나리오는 적합성 시험규격의 핵심을 이루는 것으로 시험을 기술하기 위한 국제표준 언어인 TTCN(Tree and Tabular Combined Notation)으로 기술한다. 본 논문에서는 적합성 시험 및 TTCN에 대하여 살펴보았다.

• 한국ITS학회 논문지
• /
• 제15권3호
• /
• pp.68-76
• /
• 2016

한 장의 카드로 전국 버스 지하철 기차 고속도로 요금 지불이 가능한 선불형 전국호환 교통카드가 2014년 6월 21일에 출시되어 서울, 경기, 수도권 및 주요 대도시를 중심으로 운영 중이다. 본 연구에서는 서비스 시행 후 국내 교통카드사의 전국호환 교통카드에 전국호환 기능 존재 유무 및 정상 결재가 이루어지고 있는지 국가 표준을 바탕으로 실환경 적합성 평가를 진행하였다. 이를 위해 서울, 경기를 포함한 총 6개 지역의 버스, 지하철 등을 대상으로 전국호환 교통카드와 지불 단말기 간의 지불 결제 통신 데이터 결과를 분석하였다. 그 결과 전국호환 교통카드와 지불 단말기 간에 CONFIG DF 조회 명령이 정상적으로 전달되는 것을 확인하였다. 이를 통해 실제 설치되어 운영되고 있는 전국호환 교통카드시스템의 기술적 안정성을 확인할 수 있었다. 향후 다양한 교통수단으로 서비스 확장이 된다면 사용자의 대중교통 이용이 더욱 용이해질 것으로 기대된다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2009년도 춘계학술대회 논문집
• /
• pp.259-262
• /
• 2009

IEC 61850 based substation automation system mainly consists of human machine interface and a various of IEDs in charge of protective and control functions of the substation. Both of them should require the performance verification of IEC 61850 communication services because their communication relation is the same as client and server throughout the digital network. This paper shows a research result on the testing method of basic communication interface of the IEC 61850 based client, which was implemented by the analysis of real communication between HMI and IED of IEC 61850 based substation automation system and refereed to IED IEC 61850 conformance test procedures.

• 방송공학회논문지
• /
• 제12권3호
• /
• pp.214-221
• /
• 2007

본 논문에서는 지상파 DMB(Terrestrial Digital Multimedia Broadcasting, T-DMB) 데이터 서비스 중 하나인 방송웹사이트(Broadcast Web Site, BWS) 서비스에 대한 송수신 정합 시험 도구를 개발하였다. 먼저 지상파 DMB BWS 서비스를 위한 송신 측 및 수신 측 정합 시험 방법론을 수립하였다. 시험 도구는 BWS 비트스트림 분석기, BWS 참조 복호 모듈(소프트웨어) 그리고 BWS 시험 비트스트림 등의 세 가지로 구성된다. 송신 측 시험을 위해 BWS 비트스트림 분석기를 개발하였으며, 수신 측 시험을 위해 BWS 참조 복호 모듈을 개발하고 BWS 시험 비트스트림을 제작하였다. 이 시험 비트스트림의 적합성을 검증하는 데 본 논문에서 개발한 비트스트림 분석기가 실제로 사용되었다. 동일한 시험 비트스트림을 시험 대상 BWS 복호 모듈과 참조 복호 모듈에 동시에 입력하고, 이 두 모듈의 결과를 비교함으로써 수신 측 시험을 수행한다. 본 논문에서 개발한 시험 도구들은 MOT 프로토콜, HTML, PNG, MNG, JPEG, Ecma 스트립트 등 BWS에 포함된 모든 프로토콜 및 텍스트/이미지 규격에 대한 시험을 포함한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.122-124
• /
• 2008

Korea Electric Power Research Institute has being carried out an IEC 61580 communication service test on IED trial products developed related to power IT project "The verification of Performance of the Substation Automation System and Its Field Test". This paper describes control testing, one of the IEC 61850 conformance testing items, which consists of DO, enhanced DO, SBO and enhanced SBO with a number of test cases.

• 조명전기설비학회논문지
• /
• 제23권8호
• /
• pp.41-47
• /
• 2009

디지털 기술 기반의 차세대 변전시스템과 관련하여 프로세스 버스까지 확장된 변전자동화시스템 구현에 관한 연구가 국내외에서 활발히 진행 중에 있다. 특히 IEC 61850 국제 규격이 적용된 머징유닛(Merging Unit)은 프로세스 기반 변전자동화시스템의 핵심 구성요소로 그 관심이 매우 크다. 본 논문에서는 변전소의 CT와 VT를 통합 전압 전류의 값을 IEC 61850 기반의 디지털 값인 SV(Sampled Value)로 변환하여 보내는 머징유닛의 기능과 통신서비스에 대한 적합성 성능 검증에 대한 방안을 제시하고 머징유닛을 시험할 수 있는 시험시스템을 보여주고자 한다.

• 대한기계학회논문집A
• /
• 제36권11호
• /
• pp.1327-1334
• /
• 2012

본 논문은 4차 동적 시스템인 구동기를 구성하는 부품들의 변량 및 공기외란의 변량으로 인해 구동기 성능에 변량이 존재할 때, 구동기의 성능을 순응도 기반으로 최적화한 설계 결과를 제시하였다. 구동기는 BLDC 모터와 평기어 및 웜기어 조립체, 카나드로 구성된다. 구동기의 성능은 시간에 따라 변화하는 카나드 각도 정보를 이용하여 평가하였다. 고차 시스템의 성능은 해석적 접근을 통해 시스템 변수들의 함수로 표현하기 어렵기 때문에 반응표면모델을 기반으로, F-검정을 수행하여 유효한 시스템 변수들을 선정한 후 성능을 유효한 시스템 변수들의 함수로 근사화하였다. 본 연구에서 변량을 가지는 구동기 성능의 규격에 대한 순응도를 확률값으로 정의하였다. 순응도를 최적화하여 구한 설계변수는 부품 및 공기외란에 변량이 존재하더라도 고려한 규격을 모두 만족시킬 수 구동기를 제공할 수 있다.

• 전자공학회논문지CI
• /
• 제45권6호
• /
• pp.204-212
• /
• 2008

항만물류분야에 적용되는 능동형 RFID 태그는 화물 컨테이너에 부착되어 여러 나라의 항만에 설치된 판독기로부터 인식이 가능해야 한다. 따라서 RFID 적합성 시험방법에 관한 국제표준인 ISO/IEC 18047-7에서 능동형 RFID 판독기와 태그간의 에어 인터페이스 평가방법을 제시하고 있다. 하지만 기존 국제표준에 따라 짧은 시간동안 이루어지는 통신 신호를 감지하여 평가하기에는 측정시간 및 결과의 불확실성이 높아 정확한 평가에 대한 어려움이 존재한다. 본 논문에서는 측정시간을 단축하고, 불확실성을 개선할 수 있도록 능동형 RFID 태그에 '자체 시험 모드' 환경을 갖도록 하는 새로운 평가방법을 제안하고, 그것을 실제 태그에 적용하므로써 기존 방법보다 측정 시간 및 불확도가 개선됨을 검증하였다.