• 조명전기설비학회논문지
• /
• 제25권7호
• /
• pp.63-71
• /
• 2011

Due to the rapid development of digital technnology and informantion communication, in the IEC 61850 based substation automation system, the innovative paradigm shift is expected and also required in many substation-related jobs, especially in the device function test area Accordingly a common testing model which can simplify the complex contents of the SAS performance test performed by test engineers has been identified, that can overcome limitations of engineers' own testing knowledge and experience. Testing models and its design system for the comprehensive performance test of the Substation Automation System is developed and the result of the study is reported in this paper.

• 한국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.

• 시스템엔지니어링학술지
• /
• 제11권1호
• /
• pp.1-7
• /
• 2015

The purpose of this paper is to present the results of reengineering of the YGN 3&4 (Yonggwang Nuclear Power Plant, Units 3&4) SDS (Safety Depressurization System) retrofit design and to make recommendations for the improvement in design and design procedure implementing the Systems Engineering (SE) process. YGN 3&4 is a basic model for OPR1000 (the Korean standard 1000 MWe plant). The basic model, herein, represents the reference plant for the OPR1000 development. In the middle of the YGN 3&4 construction, the Korean Nuclear Regulatory Body requested a retrofit of this plant with a means to rapidly depressurize the plant in conformance with a severe accident mitigation requirement. For the reengineering of the SDS in YGN 3&4, V-model and functional and physical architectures have been developed. A SE decision making method has been used for the selection of SDS valves. Finally, recommendations have been made to improve OPR1000 design for the improved operation and enhanced safety.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.730-741
• /
• 2005

층위 구조 아키텍처는 프로그램을 일반성에 따라 분할하는 모듈 구성의 방법이다. 본 논문은 객체지향 프로그램으로부터 층위 구조 아키텍처를 복구하고 아키텍처 문서와의 일치성을 검사하는 방법을 제시한다. 객체지향 프로그램에서의 층위구조 스타일 규칙을 기술하기 위해, 모듈 간 사용 관계에 기반한 모듈들의 부분 순서 집합을 구성하며, 재정의 관계를 통해 모듈 간 층위 관계를 정의한다. 또한, 층위 관계의 의미를 설계 패턴에서의 예를 통해 설명한다. 프로그램으로부터 층위 구조 아키텍처를 복구하기 위한 절차를 기술하며, 복구를 위한 메타 모델을 제시한다. 이를 기반으로 공개 소스 프로젝트를 통해 개발된 소프트웨어의 소스코드들로부터 층위 구조 아키텍처를 복구하고, 복구된 아키텍처로부터 발견된 층위 관계의 의미와 아키텍처 문서와의 불일치 부분들에 대해 논의한다. 검사를 통해 아키텍처 문서와 일치하지 않는 부분들이 발견하였고, 이를 조사한 결과 이들이 층위 구조 아키텍처에서 허용 가능한 예외로 여겨지지만 아키텍트가 이들 부분에 대한 변경을 주의 깊게 관리할 필요가 있다는 것을 지적하였다.

• 한국CDE학회논문집
• /
• 제13권3호
• /
• pp.235-242
• /
• 2008

This paper proposes a method for improving the process plan quality by use of dimensional tolerances. Dimensioning and tolerancing plays a key role in manufacturing process plan because the final part must ensure conformance with the dimensions and tolerances in its drawing. As a first step for the improvement of process plan quality, two resultant tolerances in design and process plan should be compared each other, and so a tolerance chart is used for acquisition and comparison of the two tolerances. In addition to two kinds of design and manufacturing tolerances, operational sequences or paths for the resultant dimension and tolerance are additionally recognized for measuring the quality of process plan quantitatively. Rooted tree is applied to find the related paths for the manufacturing resultant tolerances. A quality coefficient is defined by the components of two tolerances and their relations, the paths related to manufacturing resultant tolerances and the difficulty of an operation. In order to improve the quality of manufacturing process plan, the paths that two kinds of tolerances are the same or different in the rooted tree are recognized respectively and a method for tolerance rearrangement is developed. A procedure for improving the quality is suggested by combining the coefficient and the tolerance rearrangement method. A case study is applied to illustrate the efficiency of improvement method.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제12권3호
• /
• pp.286-292
• /
• 2012

Scan techniques are almost mandatorily adopted in designing current System-on-a-Chip (SoC) to enhance testability, but inadvertently secret keys can be stolen through the scan test channels of crypto SoCs. An efficient scan design technique is proposed in this paper to protect the secret key of an Advanced Encryption Standard (AES) core embedded in an SoC. A new instruction is added to IEEE 1149.1 boundary scan to use a fake key instead of user key, in which the fake key is chosen with meticulous care to improve the testability as well. Our approach can be implemented as user defined logic with conventional boundary scan design, hence no modification is necessary to any crypto IP core. Conformance to the IEEE 1149.1 standards is completely preserved while yielding better performance of area, power, and fault coverage with highly robust protection of the secret user key.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

• 컴퓨터교육학회논문지
• /
• 제5권4호
• /
• pp.31-42
• /
• 2002

본 논문에서는 통신 프로토콜 개발 시 사용되는 PDU, SDU, SAP, 서비스 프리미티브를 어떻게 정의하고 사용하는지에 대한 명확한 설계 개념과 검증 방법을 ITU에서 통신 규격 및 설계 언어로 권고하고 있는 SDL과 국제 통신 표준 언어인 ASN.1, MSC, TTCN을 사용하여 정립한다. 통신 프로토콜의 예로 잘 알려진 Inres 프로토콜을 확장하여 SDL로 설계하며, SDL의 설계 규격에 비트 스트링 전송을 위한 ASN.1 메시지의 삽입, 규격에 대한 설계 검증을 위한 MSC의 생성, 검증으로부터 TTCN을 이용한 시험 케이스의 생성 및 적합성 시험 등 프로토콜 개발 순기 전반에 걸친 개발 방법론을 정립한다.

• 대한기계학회논문집A
• /
• 제39권1호
• /
• pp.19-26
• /
• 2015

본 논문은 변량 및 열화를 가지는 부품들로 구성된 동적 시스템에 대하여 주파수 영역에서 성능 신뢰도를 향상시키기 위한 설계방법을 제안한다. 제안하는 설계방법은 이산화한 주파수로 주파수 범위를 표현하고 각 주파수에서 응답의 규격 대비 순응도를 이용하여 주파수 영역에서의 성능 신뢰도를 모델링한다. 성능 신뢰도 추정시 계산 시간의 효율성을 높이기 위하여 주파수 응답에 대한 메타 모델과 극치값, 그리고 Set-theory를 적용한다. 또한 표본추출기법을 이용하여 추정한 성능 신뢰도를 평가하고 최적화할 수 있는 방법을 제시하였다. 진동저감 시스템의 설계에 적용하여 제안한 설계방법의 응용성을 나타낸다.

• 대한전자공학회논문지TC
• /
• 제43권11호
• /
• pp.168-174
• /
• 2006

본 논문에서는 IMS(IP Multimedia Subsystem)기반의 이동통신망에서 IPv4를 기반으로하는 UA(User Agent)와 IPv6를 기반으로 하는 UA간 통신을 위한 구조를 제안하고 이를 검증하기 위해 IMS 프로토콜 변환기를 설계하고 구현한다. 이를 위하여 IPv4/IPv6간의 이전 시나리오를 정리하고 분석하였고 분석된 결과를 바탕으로 이전의 필수 요소인 프로토콜 변환기를 제시하였다. 제시된 IMS 프로토콜 변환기는 IMS-ALG(IP Multimedia Subsystem - Application Level Gateway)기능과 TrGW(Translation Gateway)의 기능들로 구성되었고 이들 구성요소를 구현하고 실험을 통하여 이들의 적합성을 검증하였다.