• Journal of Navigation and Port Research
• /
• v.48 no.3
• /
• pp.214-220
• /
• 2024

Remote control is used for operating maritime autonomous surface ships. The operator controls the ship using control data generated by the remote control system. To ensure successful remote control, three principles must be followed: safety, reliability, and availability. To achieve this, the suitability of both the control data and operators for remote control must be established. Currently, there are no international regulations in place for evaluating remote control suitability through experiments on actual ships. Conducting such experiments is dangerous, costly, and time-consuming. The goal of this study is to develop a suitability evaluation method using the output values of control devices used in actual ship operation. The proposed method involves evaluating the suitability of data by analyzing the output values and evaluating the suitability of operators by examining their tracking of these output values. The experiment was conducted using a shore-based remote control system to operate the training ship 'Hannara' of Korea National Maritime and Ocean University. The experiment involved an iterative process of obtaining the operator's tracking value for the output value of the ship's control devices and transmitting and receiving tracking data between the ship and the shore. The evaluation results showed that the transmission and reception performance of control data was suitable for remote operation. However, the operator's tracking performance revealed a need for further education and training. Therefore, the proposed evaluation method can be applied to assess the suitability and analyze both the control data and the operator's compliance with the three principles of remote control.

• Review of KIISC
• /
• v.22 no.5
• /
• pp.7-13
• /
• 2012

제어 시스템 보안을 위하여 보안 적합성 확인과 유효성 검사 및 사고 발생 시 제어 시스템의 피해 상황 및 영향 범위에 대해 실제의 제어 시스템 구성 요소를 분석하는 환경이 필요하며, 실제 기기와 시뮬레이션을 이용하여 취약성을 검증하기 위한 환경 및 제어 시스템 구성 요소의 취약성을 발견하는 도구가 필요하다. 본 논문에서는 제어 시스템 보안 및 국내 제어 시스템 테스트 베드 구축을 위하여 선진국들의 제어 시스템 테스트 베드 구축 현황 및 사례에 대하여 설명하고자 한다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• ICROS
• /
• v.2 no.4
• /
• pp.63-71
• /
• 1996

산업화가 고도화 될수록 공장 또는 사무자동화의 필요성이 늘어날수록 정보공유의 필요성이 중요시되는데 이런 필요성들은 통신의 발전을 촉발시키는데 중요한 촉매가 되었다. 공장자동화에 사용되는 통신방법 중에 FULL-MAP, MINI-MAP, ETHERNET 등 여러가지가 있지만, 그 중 1993년 11월부터 1994년 3월까지 일본의 재단법인 기계진흥협회 기술연구소내의 MAP Test Center에서 실시했던 MIN-MAP의 물리층(Physical Layer)규격에 의한 적합성 시험을 받으면서 얻은 시험항목과 문제점 및 해결방안을 적기로 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1367-1370
• /
• 2004

본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.

• Proceedings of the IEEK Conference
• /
• 2000.09a
• /
• pp.295-298
• /
• 2000

본 논문에서는 WPEG가 적합성 검사를 위해 표준안에 명시된 조건하에서 검사를 수행한다. MPEG-4 encoder의 각 부분을 제어함으로써 shape coding에 대한 test를 수행하고 또한 검사하려는 항목을 고려하여 부호화 변수를 조절하면서 여러 종류의 test비트열을 생성하여 비교함으로써 MPEG-4 decoder의 객체기반 형상 부호화에 대한 적합성 검사를 수행한다.

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.355-359
• /
• 2006

본 논문은 퍼지 계층분석법을 이용하여 교통신호의 교차로에서의 적합성에 대해서 논의한다. 교차로에서의 교통신호는 현시, 주기 등이 현재의 교차로 상황에 적합한가를 구별하여 판별할 수 있다. 교통신호의 적합성 여부는 현시, 주기를 따로 구별한 신호체계에서의 지체차량의 지체시간을 비교하여 구별한다. 교통 신호체계는 고정신호체계, 최적신호체계, 퍼지응용신호체계를 구별하여 응용단계가 높은 신호체계가 적합성이 높음을 퍼지계층분석법을 이용하여 밝히고 이를 이용 새로운 체계의 교통신호 체계도 제시한다.

• Proceedings of the KAIS Fall Conference
• /
• 2007.11a
• /
• pp.252-255
• /
• 2007

본 논문은 퍼지 계층분석법을 이용하여 교통신호의 교차로에서의 적합성에 대해서 논의한다. 교차로에서의 교통신호는 현시, 주기등이 현재의 교차로 상황에 적합한가를 구별하여 판별할 수있다. 교통신호의 적합성 여부는 현시, 주기를 따로 구별한 신호체계에서의 지체차량의 지체시간을 비교하여 구별한다. 교통신호체계는 고정신호체계, 최적신호체계, 퍼지응용신호체계를 구별하여 응용단계가 높은 신호체계가 적합성이 높음을 퍼지계층분석법을 이용하여 밝히고 이를 이용 새로운 체계의 교통신호 체계도 제시한다.

• 전기의세계
• /
• v.44 no.10
• /
• pp.40-46
• /
• 1995

소음을 줄이고자 하는 위치 혹은 공간의 선정문제, 또한 제어용 음파가 원래 제어하고자 하는 음파와 함께 섞인 상태에서 관찰하게 됨으로서 발생하는 문제, 제어용 음원의 위치 선정에 관련된 사항 등 가관측성 및 가제어성으로 대별될 수 있는 부분과 제어대상 물리량, 즉 제어대상 가격함수 선정의 물리적 적합성 등이 있을 수 있다. 전술한 가관측성 및 가제어성 관련 사항은 참고문허[3]에 비교적 상세히 기술되어 있으므로 본 고에서는 제어대상 가격함수의 선정과 관련된 음향학적 사실들을 중점적으로 다루도록 한다.