• 전자공학회논문지B
• /
• 제29B권11호
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• 한국정보처리학회논문지
• /
• 제1권2호
• /
• pp.263-271
• /
• 1994

제조장치의 네트워크 환경은 PLC, 로보트와 같은 프로그래머블디바이스에 Mini- MAP 네트워크 접속장치를 장착하여 원격제어가 가능한 공정한 네트워크 시스템 구성 이 연구되고 있다. 본 논문에서 설계된 공정 네트워크 접속장치는 MAP 3.0 규격을 근거로 MAC부 계층은 TBC(token bus controller)가 수행하고, LLC부 계층은 class 3으로, 응용계층은 MMS(manufacturing message standard)를 기본으로 설계하였다. 구현된 소프트웨어는 Mini-MAP의 실시간 정보 전송 성능을 보존하기 위하여 C Exec. 의 real-time executive를 기반으로 설계하여 firmware로 탑재하였다. 본 접속장치는 군관리 공정 모델에서 시험 운영하였으며, LLC 계층의 오류검출과 전송기능은 프로토 콜 분석기를 이용하여 확인하였으며, MMS는 적합성 시험을 이미 받은 MMS를 탑재한 상용제품과의 통신운영을 통하여 적합성 시험을 확인하였다.

• 전자공학회논문지B
• /
• 제30B권10호
• /
• pp.59-68
• /
• 1993

This paper describes implemation of 'General-purpose ETRI MAP interface module' (GEM) for Mini-MAP network. GEM operates as a Mini-MAP node in our FA system. To communicate between GEM and programmable devices(PD) such as PLC and CNC, serial communication is used. Application programs of a MiNi-MAP host system control and monitor programmable devices via GEM. GEM is implemented and tested on the basis of the MAP 3.0. TBC in the Nini-MAP board performs the function of the MAC sublayer. The LLC sublayer is implemented according to the specification of Class 3 that includes Type 1 and 3. And the MMS services are designed within the scope of implementation class MAP3. All the softwares are implemented under the real-time multitask OS for real-time application of the Mini-MAP and they are loaded into PROMs at the network board of GEM. We tested the LLC functions to make use of a protocol analyzer for the token-passing protocol. Also the MMS conformance test was carried out by exchanging primitives between GEM and a MMS product that had already passed the conformance test. Therefore GEM is proposed as a network tool of Computer Integrated Manufacturing (CIM) to integrate PDs which don't support MAP functions.

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

During system resource improvement process that based on Object-Oriented technology could be affect to the continuous system performance if lack appropriate management and control objects mechanism. This paper proposes a methodology to support continuous system performance and its stability. The adoption is based on Java Container Framework and Collections Framework for object collection. Also includes Software Engineering, Object Migration and Multiple Class Loaders mechanism accommodate to construct Continuous Migration Container (CMC). CMC is a runtime environment provides interfaces for management and control to support upgrading object process. Upgrade object methodology of CMC can be divided into two phase are object equivalence checking and object migration process. Object equivalence checking include object behavior verification and functional conformance verification before object migration process. In addition, CMC use Multiple Class Loaders mechanism to support reload effected classes instead of state transfer in migration process while upgrading object. These operations are crucial for system stability and enhancement efficiency.

• 대한임베디드공학회논문지
• /
• 제5권2호
• /
• pp.103-110
• /
• 2010

Due to the increasing amount of electronic control system in a vehicle, the automotive software is increasingly sophisticated and complicated. Therefore it may be faced a time critical problem caused by its complexity. In order to solve such problems, the automotive electronic system can use a real-time scheduling mechanism based on predictability. We first consider the standard specification of the AUTOSAR OS and uC/OS-II such as its scheduling theory with time determinism. In this paper, we propose the scheduling algorithm to be conformable to a conformance class of OSEK/VDX specification. Algorithm analysis shows that our scheduling algorithm outperforms an existing Trampoline OS by intuition.

• 한국CDE학회논문집
• /
• 제8권3호
• /
• pp.141-149
• /
• 2003

The ship STEP is an international standard for the computer-interpretable representation of ship product information and for the exchange of ship product model data. The ship STEP consists of several APs(Application Protocol), such as AP215(ship arrangement), AP216(ship moulded form), AP218(ship structures), AP226(ship mechanical systems), and AP234(operating logs, records, message). The STEP AP216(ISO 10303) are an application protocol for the exchange of ship arrangement and ship moulded forms. The AP216 specifies the geometric shape and the hydrostatic properties of the ship moulded form. This paper introduces the state-of-the-art of ship STEP AP216 and develops the test case for the validation of data structure of AP216.

• International Journal of Reliability and Applications
• /
• 제2권3호
• /
• pp.161-187
• /
• 2001

Starting with the meaning of the word quality, diverse concepts connoted by the term are examined. Instead of a bathtub curve, the desirable shape of a failure rate covering the entire life of a good product, which might be called hockey-stick line, is introduced. From the hockey-stick line and the definition of reliability, two measurements are extracted. The terms reliability, failure rate, product life, and durability are explained. From the customer's standpoint, the concept of product quality is classified in five factors, according to related technology: performance, reliability, conformance to specifications, customer perception, and fundamentals advantage. The correlation of the five factors for a first-class product is discussed, Since the market share of a company is determined as the competition result of its product value, defined as product quality and price, the market share increase is derived mathematically from the increment of product value. The market share increase, $\Delta$S, can be calculated from the present market share, S, and the oriented relative value increment of new product, R, to the current product in the same company for the same market target: $\Delta$S : $\Delta$(1-S). R/(1+S.R). Finally, the importance of separating warranty cost from the profit equation for the durables is explained.

• 컴퓨터교육학회논문지
• /
• 제6권1호
• /
• pp.19-28
• /
• 2003

본 논문에서는 e-learning의 컨텐츠 표준화 연구에 있어 국내외적으로 관심이 집중되고 있는 ADL의 SCORM 표준을 따르는 LMS를 개발하기 위해 컴포넌트 구조에 기반한 개발 방법론을 제시한다. 또한 JSP, EJB 등 J2EE 기반의 분산 객체 컴포넌트에 기반하여 개발된 LMS인 iOneLMS를 SCORM 표준을 따르는 LMS로 변환하기 위해 제시된 방법론에 따라 SCORM 핵심 모듈을 설계하고 J2EE 기반의 EJB 컴포넌트로 구현하였다. SCORM 컴포넌트 모듈은 컨텐츠 들여오기, 강좌등록하기, 수강 및 학습 데이터 수집 등 세 모듈로 나누어 구현하도록 하였으며, 구현 과정에서 ADL 및 AICC에서 제공하는 클래스 라이브러리를 일부 재사용 하였다.

• 한국통신학회논문지
• /
• 제16권12호
• /
• pp.1423-1434
• /
• 1991

본 논문에서는 적합성 시혐 표기 기법인 TTCN이 객체, 클래스, 상속 등의 객체지향 개념을 갖도록 확장하였다. 분산 시스템 환경하에서 ISDN과 같은 응용 프로토콜 구현 제품들이 표준 프로토콜에 적합한 지를 시험하기 위한 시험 시스템은 구조가 복잡하고, 병렬로 수행하는 프로토콜 시험 행위를 포함하고 있기 때문에 기존의 TTCN으로는 전체 시험 suite를 이해하기 쉽고 명확하게 나타낼 수없다. ISO에서는 TTCN에 병렬성을 표기할 수 있도록 확장하는 연구가 잔행 중에 있으나, 이와 병행하여 병렬 시험 요소를 하나의 객체로 표기하는 객체 모형을 TTCN에 적용한다면 신뢰성과 소프트웨어 재사용을 증대시키는 효과를 얻을수 있으며, TTCN을 하나의 시험 언어로 발전 시킬수 있을것이다.

• 대한건축학회논문집:계획계
• /
• 제33권12호
• /
• pp.65-72
• /
• 2017

Three decades after its establishment in 1946, Seoul National University was transferred to its current location in Gwan-ak District in accordance with the Seoul National University Integration Plan. In the 40 years since Seoul National University transferred to the Gwan-ak area, much quantitative and qualitative growth has taken place, and the university has grown into a world-class research institution. In this process, the campus was expanded externally and internally, and many changes have been made to the campus life bases and facilities which were planned at the beginning of the campus' construction. This study examines the expansion of the facilities at Seoul National University's Gwan-ak campus, as well as the expansion of the campus' boundaries. In addition, through quantitative analysis (Space Syntax), we predicted the location of campus life bases of the present multi-centralized campus and suggested a future developmental direction for the campus.