• 대한전자공학회논문지TC
• /
• 제45권8호
• /
• pp.98-105
• /
• 2008

FlexRay는 높은 유연성과 신뢰성을 갖는 고속의 통신프로토콜이다. 자동차회사와 반도체회사들에 의해 개발되었고 x-by-wire 시스템을 이용하여 차량 내 LAN으로 구현된다. FlexRay는 차량 내 전자 장치간의 통신을 위해 고속의 시리얼 통신, time triggered bus, fault tolerant 통신을 제공한다. 본 논문에서는 먼저 SDL(Specification and Description Language)을 이용하여 FlexRay communication controller와 bus guardian 프로토콜 규격과 기능 부분을 설계한다. 다음 설계한 SDL 소스를 기반으로 Verilog HDL을 이용하여 하드웨어로 설계한다. 설계한 FlexRay 시스템은 Samsung $0.35{\mu}m$ 공정을 이용하여 합성하였으며, 그 결과 76 MHz의 속도로 동작하는 것으로 나타났다. 또한 FlexRay 시스템의 동작을 확인하기 위해 차량에 적용되는 자동차 경보 시스템에 응용하였다. FlexRay 시스템은 ALTERA Excalibur ARM EPAX4F672C3을 이용하여 검증하였으며 성공적으로 동작함을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제22권4호
• /
• pp.51-58
• /
• 2017

Research on the Development of EPUB SCP(Secure Content Protection) Technical Specification and International Standardization has been carried out as a R&D project granted by the Korea Copyright Commission since 2014. The research aims to build a standard framework for the EPUB DRM(Digital Rights Management) based on the Readium LCP(Licensed Content Protection) and KS EPUB DRM specifications, to develop element technologies for the framework, and to standardize it as an IDPF(International Digital Publishing Forum) industrial standard. One of the essential features of the EPUB DRM developed though this study is to support the lending model of the digital library. This paper introduces LSD(License Status Document) specification which is a DRM license management protocol for the digital library lending process, and also represents a model which can automatically test the implemented entities of the LSD specification, test scenarios and test materials.

• 정보보호학회논문지
• /
• 제14권6호
• /
• pp.47-56
• /
• 2004

본 논문에서 다루는 보안 정형 명세를 지원하는 도구인 SPEAR II와 IFAD VDM-SL Toolbox의 추요 기능과 사용자 환경 및 동작 모듈, 코드 생성 과정을 비교하고, 보안 소프트웨어 개발을 위한 두 도구의 성능적 측면을 살펴 본 후 용이한 개발을 제공해주는 도구로부터의 보안 소프트웨어 개발 방안을 제시한다. 본 논문에서 제시하는 보안 프로토콜 코드 생성 도구 기능 비교는 정형 명세 기법을 이용한 소프트웨어 개발 방법에서 정형 명세를 통한 보다 안전한 보안 소프트웨어를 개발하는 방향을 제시한다. 이러한 방향 제시를 통하여 보다 안전한 보안 소프트웨어 개발을 이룰 수 있다.

• 정보학연구
• /
• 제5권1호
• /
• pp.69-77
• /
• 2002

블루투스는 차세대 근거리 무선통신 기술로 각광받고 있으며, 프로토콜 스택은 블루투스 응용 시스템을 위한 다양한 서비스를 제공한다 블루투스 규격은 개방된 세계적인 규격으로 완전한 시스템을 정의하고 있지만 프로토콜 스택은 개발자에 따라 다른 방법으로 하드웨어와 소프트웨어의 역할을 기능성 중심으로 독자적으로 분할하여 설계 및 구현이 가능하다. 이는 프로토콜 스택의 기능적인 면에서 두 계층에서의 구현 방법이 다르다는 것을 의미한다. 본 논문에서는 프로토콜 스택 개발의 첫 단계로 소프트웨어 계층의 최하위 계층인 HCI 계층의 개발에 중점을 두었다. 그 결과로서 HCI 계층의 기능적 역할 분담과 흐름제어 기능 및 패킷들 사이의 관계를 설계 및 구현하였다. 실험결과는 다른 블루투스 장치들과의 연결 과정을 보여주고 있으며, 이것은 블루투스 모듈 사이에서의 데이터 통신이 적절한 운영을 하고 있음을 증명한다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.153-158
• /
• 2008

SDR(Software Defined Radio)은 서로 다른 무선 전달 프로토콜간의 유동적 연동을 제공할 수 있는 솔루션이다. u-health 서비스 네트워크와 같은 여러가지 전달 프로토콜을 지원하는 센서노드들로 구성될 수 있는 다종 유비쿼터스 네트워크 환경에서, 특정 노드의 전달 프로토콜을 지원하는 AP(Access Point)로의 트래픽 집중이나, 특정 노드의 전달 프로토콜을 지원하는 AP에서의 장애 발생 또는 미설치로 인한 전달불능 등이 발생할 수 있다. 본 논문에서는 SDR 기능을 가진 노드와 혼잡 제어 기능을 가진 AP를 포함하는 다종 유비쿼터스 네트워크에서의 전달성능을 분석하기 위한 모델링 및 시뮬레이션에 대한 연구결과를 제시한다. 본 연구에서는 전달 프로토콜들의 구체적인 동작과정보다는 다종 전달 프로토콜로 구성된 네트워크에서의 유동적 연동성의 제공에 따른 전체 네트워크의 전달성능의 변화특성(dynamics)을 분석하기 위하여 DEVS(Discrete Event Systems Specification)방법론을 활용하였으며, DEVS형식론에 근거한 모델링과 DEVSim++시뮬레이션환경을 통한 분석결과를 제시하였다.

• 제어로봇시스템학회논문지
• /
• 제15권12호
• /
• pp.1209-1215
• /
• 2009

This paper discusses a common message protocol for green power systems such as tidal, wind, photovoltaic, and solar systems. For this investigations and analysis, existing protocols such as ELCOM-90, TASE.1, ICCP/TASE.2 and SCADA were analyzed for the application of green power systems in view of real-time property and reliability. For the analysis, the practical example of green power system using SACADA and ICCP are investigated and discussed. As a future direction of this investigations, the feasibility analysis of manufacturing message specification(ISO-9560) for green power system is discussed.

• 전자공학회논문지A
• /
• 제29A권8호
• /
• pp.18-25
• /
• 1992

Given a protocol specification, the task of testing whether an implementation conforms to the specification is called conformance testing. In this paper, the design and implementation of the protocol conformance test system using LAN on heterogeneous systems is descreibed. The test sequence used in this test system is generated using an algorithm on the basis of multiple UIO. The usability of this test system as an application was confirmed by performing the conformance test on the CCITT No.7 TCAP(transaction capabilities application part), implemented by ISDN Laboratory, Korea University in 1990.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제55권5호
• /
• pp.216-219
• /
• 2006

This paper presents an XML based standard specification of remote control protocol for home appliances. In the framework level, the XML protocol provides a useful bridge between services and platforms. The proposed protocol has been implemented into a personal video recorder for remote recording service. The results imply the potential of global standards for remote control by its minimum overhead in network and processor. The proposed XML is designated RCXML in this paper.

• 대한전자공학회논문지TC
• /
• 제45권6호
• /
• pp.1-7
• /
• 2008

FlexRay는 차세대 차량 내 전자 장치간의 통신을 위해 고속의 시리얼 통신, time triggered bus, fault tolerant 통신을 제공하는 새로운 네트워크 통신 시스템의 표준이다. FlexRay Communication Controller(CC)는 FlexRay 프로토콜 규격의 핵심 부분이다. 본 논문에서는 먼저 SDL(Specification and Description Language)를 이용하여 FlexRay CC 프로토콜 규격과 기능 부분을 설계한다. 다음 설계한 SDL 소스를 기반으로 Verilog HDL을 이용하여 하드웨어로 설계한다. 설계한 FlexRay CC는 Samsung $0.35\;{\mu}m$ 공정을 이용하여 합성하였으며, 그 결과 80 MHz의 속도로 동작하는 것으로 나타났다. 또한 FlexRay 시스템의 동작을 확인하기 위해 로봇에 적용되는 음원위치 추정 시스템에 응용하였다. 응용 시스템은 ALTERA Excalibur ARM EPAX4F672C3을 이용하여 검증하였으며 성공적으로 동작함을 확인하였다.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1395-1403
• /
• 1993

프로토콜의 적합성시험은 컴퓨터 통신에서 상호운용성과 비용의 효율성을 높이기 위해서 매우 중요하다. 적합성 시험은 구현된 내용이 프로토콜 규격에 적합하게 구현되었는지를 검사하는 것으로, 그것의 효율성과 오류검출능력은 시험 항목의 생성방법에 의해서 결정된다. 프로토콜이 유한상태기계로 표현될때 한상태에 여러개의 UIO(Unique Input Output)순서들이 존재할 수 있으므로 이들중 가장 적합한 순서를 선정함으로서 시험 길이를 최소화 할 수 있다. 따라서 본 논문은 시험 길이를 최소화하기 위해서 여러개의 UIO순서들간에 존재하는 최대중복성을 찾기 위한 알고리즘을 깊이트리를 이용하여 구성하였고, 이 알고리즘을 이용하여 최소길이의 시험 순서를 생성하는 예를 보여주었다.