• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.750-757
• /
• 1999

The protocol conformance testing is to check whether an implementation of a protocol conforms to its specification. And it is important to improve the interoperability of protocol and the efficiency of cost. In general, protocol is composed of the control flow representing observable behaviors and the data flow representing internally used variables. Until now, research for generation of test suite has been realized only consideration the control flow of protocol or separation control flow from data flow. Case of considering control flow, contents of test was simple and definite. Length of test was short. But it was of little application, and it didn't manage each kind errors in data flow. Therefore, we must generate test case that can manage control and data flow. So, anomaly of variable must be removed for efficient conformance testing. Therefore in this dissertation, we proposed algorithm which can remove anomaly of variable for efficient conformance testing. And it showed that anomaly of variable was got rid of applying this algorithm to real protocol.

• 정보보호학회논문지
• /
• 제14권4호
• /
• pp.3-11
• /
• 2004

웹 상에서의 전자상거래의 활성화와 더불어 XML이 관련된 응용과 업계 표준의 기반이 되고 있으며, XML 데이터뿐만 아니라 임의의 콘텐츠에 대한 서명을 XML로 표현하여 무결성, 인증, 부인방지의 보안 기능을 제공하는 XML 전자서명에 대한 표준화가 W3C와 IETF의 공동 작업으로 수행되고 있다. 이러한 추세에 따라 XML 전자서명을 구현한 제품 개발이 증가하고 있으며, XML 전자서명을 구현한 제품은 다른 제품들 간의 상호운용성을 지원하기 위해 관련 기술 표준을 정확하게 준수하여 구현되어야 한다. 본 논문에서는 시험 절차와 시험 케이스 등을 포함하는 XML 전자서명 표준적합성 시험 방법을 제시한다. 시험 케이스들은 XML 서명 표준을 분석하여 도출되었으며, 본 논문에서 제시된 시험 방법을 구현한 XML 표준적합성 시험 도구의 설계와 용법을 설명한다.

• 전기전자학회논문지
• /
• 제26권1호
• /
• pp.1-9
• /
• 2022

전력시스템의 신뢰성을 보장하며 분산전원의 수용성을 높이기 위해 IEEE 1547과 같은 표준을 개정하여 분산전원의 계통 연계기준을 강화하고 있다. 본 논문은 이러한 표준을 준수하는 IEEE 1547-2018 기반의 스마트 인버터 기능의 제어 알고리즘을 제안하고, 스마트 인버터 기술의 검증을 위해 구축한 Power HILS 기반의 테스트 플랫폼을 소개한다. 스마트 인버터 기능 중 Volt-var 제어와 Frequency-watt 제어 알고리즘은 상호운용성 표준을 준수하도록 해당 기능의 curve를 상위로부터 설정할 수 있도록 하며, 각 기능의 Enable 신호 시점을 상위 지령에 따라 제어할 수 있도록 하였다. 표준에 따라 Power HILS 테스트 플랫폼을 통해 Volt-var 제어와 Frequency-watt 제어에 대한 형식시험을 수행하였고, 명시된 표준 형식시험을 전부 만족함을 측정 결과를 통해 검증하였다.

• Journal of Information Technology Applications and Management
• /
• 제18권4호
• /
• pp.95-118
• /
• 2011

In developing information systems, conceptual modeling is among the most fundamental means. The importance attributed to conceptual modeling has not only given rise to a lot of modeling methods, but also to the "yet another modeling approach (YAMA)" syndrome and the "not another modeling approach (NAMA)" hysteria. Criticism of conceptual modeling methods usually targets their lacking of theoretical foundations. In response to such criticism, various approaches towards theoretical foundations of conceptual modeling have been proposed so far. One of the recent responses to the quest for theoretical foundations of conceptual modeling is the reference to the philosophical ontology. The currently most prominent of diverse approaches towards ontological foundations of conceptual modeling appears to be the Bunge-Wand-Weber (BWW) ontology. Recent approaches attempt to regard BWW ontology as another conceptual data model as well as a criterion for evaluating various conceptual models. However, unfortunately, relatively few researches have been made on interoperability between the Entity-Relationship (ER) model, which is the most dominant conceptual data model, and ontology based model. In this paper, we investigate the interoperability between ontology and the ER model. In detail we (i) reclassify components of ER model with respect to ontology concepts, (ii) identify some components that cannot be directly represented in ontology notation, and (iii) present alternative representations to the components to acquire ontologically clear ER diagrams. Additionally, we (iv) present a set of mapping rules for converting the ontologically clear ER diagram into the corresponding ontology. In a case study, we show the process of converting an ER diagram for a concise Project Management System (PMS) into the ontologically clear ER diagram and the corresponding ontology. We also describe an experiment that we undertook to test whether users understand the Ontologically-Clear ER diagram better.

• 한국인터넷방송통신학회논문지
• /
• 제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 프로토콜을 구현하여 상호 연동 실험을 실시하여 동작을 확인한다.

• 한국공간정보시스템학회 논문지
• /
• 제5권1호
• /
• pp.27-38
• /
• 2003

최근 여러 분야에서 지리공간 정보의 활용이 증가함에 따라 기존에 각자 구축해 두었던 각종 지리 공간 정보를 개인.조직 나아가 사회 국가 간에 자유롭게 유통 및 활용하려는 요구가 증가되고 있다. 이를 위해 OGC에서는 다양한 분야의 지리공간 정보를 손쉽게 상호 운용하기 위해 이질적인 환경의 지리공간 정보를 XML로 엔코딩하여 다양한 분야에 사용 가능하도록 하는 GML 명세를 제시하였으며, ISO/TC 211에서도 GML을 채택하여 국제 표준으로 추진 중에 있다. 따라서, 본 논문에서는 지리공간 정보 상호 운용 방법인 GML 3.0을 분석하고, 엔코딩 과정을 좀더 간편하고 효율적으로 바꾸기 위해 엔코딩 방법을 정의하는 매핑 규칙을 작성하여 활용하였다. 마지막으로 공간 데이타베이스에 구축된 지리공간 정보를 GML 3.0 문서로 엔코딩 할 수 있도록 매핑 규칙을 활용한 GML 3.0 엔코딩 시스템을 설계 및 구현하였다. 특히, 본 논문에서는 엔코딩 시스템을 테스트하기 위해 공간 데이타베이스 시스템으로 ZEUS를 사용하였다.

• 한국항공우주학회지
• /
• 제38권10호
• /
• pp.979-984
• /
• 2010

GPS/Galileo 통합 수신기를 사용하는 사용자는 특정 측위 시스템에 대한 의존도를 줄이고, 개선된 성능의 PNT 서비스를 제공받을 수 있을 것으로 예상된다. 그러나 사용자들은 GPS와 Galileo, 두 시스템 간의 서로 다른 시각 척도를 사용함으로써 발생하는 문제(즉, GGTO)를 해결해야만 한다. GGTO는 측위 서비스를 요구하는 항법용 수신기뿐만 아니라 정밀한 시각 서비스를 요구하는 타이밍용 수신기에서도 분석되어야 한다. 본 논문에서는 GPS/Galileo 통합 타이밍용 수신기를 사용할 때에 고려해야 하는 상호운용성 문제를 분석하고, 모의실험을 통해 다양한 가정 하에 시각 측면에서의 성능을 예측하였다. Ashtech 사(社)의 상용 타이밍용 수신기를 사용하여 GPS 실측 데이터를 확보하고, Galileo 데이터를 모사한 후에, 타이밍용 환경에 적합한 실험 시나리오를 구성하여, 시나리오 별시각 측면에서의 성능을 평가하였다.

• 한국항행학회논문지
• /
• 제20권1호
• /
• pp.45-52
• /
• 2016

본 논문에서는 항행안전시설 주파수와 Link-16(전술데이터링크) 간의 주파수 공유를 위한 간섭분석 방법 및 수치계산 과정을 제시하고 고찰한다. 상호운용성의 기준을 유도하기 위해 주파수 간섭분석 알고리즘 및 간섭 영향의 유무 판단에 필요한 신호-대-간섭 전력비인 보호비의 산출 과정을 기술한다. 또한 VHF-UHF 대역의 전파경로 예측모델인 ITU-R Rec. P.1546을 기반으로 무선시스템의 수신전력 계산 방법을 제시하였다. 시스템 링크 계산을 기반으로 실제 TACAN/DME 비콘과 Link- 16 지상단말기 간의 상호 운용성 보장에 요구되는 수신전력 또는 이격 거리를 구하는 방법과 실제 현장 평가를 위한 적용을 고찰하였다. 결과적으로 제시된 현장시험 구성 및 간섭분석을 적용하면 기존 시스템과의 상호운용성 판단에 용이한 수단이 될 것이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.489-497
• /
• 1999

국내의 ATM 기술은 대부분 교환기 시스템 개발에 집중되어 있었고 최근에는ATM 서비스 분야에 대한 개발 요구가 있다. 이러한 가운데 Internet 서비스는 데이타 망의 기본 서비스로 자리잡았으며, ATM망도 기본적으로 Internet 서비스를 지원하여야 한다. IETF의 IPOA (Classical IP and ARP over ATM)는 국내 망 여건 및 구현의 용이성으로 Internet 서비스를 위한 프로토콜중 가장 선호 대상이지만 RFC사양의 허술함, 구현자의 사양에 대한 이해 부족과 초기 외산 장비 제조 업체들의 자체 사양때문에 기존의 IPOA장비들과 상호 운용 시험에서 후발 IPOA 개발자는 시행착오를 겪어야만 한다. 본 논문에서는 기존 외산 IPOA 장비들과 자체 개발한 장비와 상호 운용 시험을 수행하면서 겪은 사례 연구를 정리하였고 이를 기초로 기존의 외산 IPOA와 상호 운용할 수 있는 최종 요구 사항을 제시하였다. 본 논문을 기초로 IPOA 장비를 개발한다면 국내 후발 ATM 장비 업체는 개발의 시간 및 노력을 줄일 수 있고 향후 IP/ATM 국내 기술력 향상에 도움이 될 것이다.Abstract While we have been focusing on development of ATM switching systems, recently the demand on service by use of ATM switching system is increasing rapidly. Among various ATM services, the Internet service should be provided in an ATM network since the Internet service has been the basic data service. Many domestic engineers consider the classical IP and ARP over ATM (IPOA) to be an appropriate method for interworking of IP and ATM because the IP is the network protocol used in most domestic data networks, and the IPOA is simpler and has less overhead than other approaches. However, it is not easy for a developer to implement the IPOA function module interoperable with other existing ones due to the incomplete description of IETF's RFC specifications, misunderstanding of designer and/or developer, and incompatible vendors' specifications. In this paper, we show several case studies undertaken for interoperability tests of IPOA products between our product and other vendor's products, and discuss the implementation requirement of the IPOA software to be interoperable with the existing IPOA equipment.The design and implementation requirements presented in this paper will reduce the effort of IPOA-developing engineers and time required for interoperability test. Also, this contribution will be helpful in IP/ATM interworking areas.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.928-934
• /
• 2009

Although the evolution and deployment of information technologies will undoubtedly play an important role in the current construction industry, many engineers are still unsure of the economic value of using these technologies. Especially for the planning of a construction project, a collaboration system to utilize the whole resources is a essential tool for the successful outcome. A detailed, authoritative, and readily accessible information model is needed to enable engineers to make cost-effective decisions among established and innovative plan alternatives. Most engineers rely on limited private experiences when they create solutions or design alternatives. Initial planning is crucial for the success of the construction project. Most construction projects are done through collaboration of engineers who have different specialized knowledge. Information technologies can dramatically enhance the performance of the collaboration. For the information delivery, we need a mediator between engineers. Object-based 3-D models are useful for the communication and decision assistance for the intelligent project design. In this paper, basic guidelines for the 3-D design according to different construction processes are suggested. Adequate interoperability of 3-D objects from any CAD system is essential for the collaboration. Basic architectures of geometry models and their information layer were established to enable interoperability for design checks, estimation and simulation. A typical international project for roadway was chosen for the pilot project. 3-D GIS model was created and bridge information models were created considering several requirements for planning and decision making of the project. From the pilot test, the integrated construction project planning using 3-D information models was discussed and several guidelines were suggested.