• 대한안전경영과학회지
• /
• 제15권1호
• /
• pp.51-60
• /
• 2013

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

• 융합신호처리학회논문지
• /
• 제11권2호
• /
• pp.177-182
• /
• 2010

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 하드웨어/소프트웨어 분할, 하드웨어/소프트웨어 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 시스템의 하드웨어 구성요소를 개발하는 과정에서 이전까지는 디자인단계가 많은 시간 및 노력을 요구하는 단계였지만, 현재에는 설계한 디자인의 기능적 검증단계가 중요 요소로 간주되고 있다. 본 논문에서는 시스템수준 설계언어인 SystemC 기반의 테스트벤치 구조를 이용하여 Verilog HDL로 설계된 하드웨어 구성요소의 올바른 동작여부를 판별하는 기능검증시스템을 설계하였다. 설계된 기능검증시스템에서 SystemC 모듈의 멤버 변수와 Verilog 모듈의 와이어 및 레지스터 변수간의 데이터 전달은 본 논문에서 정의되는 SystemC 사용자 정의 통신채널을 통하여 이루어진다. 제안된 기능검증시스템을 UART에 적용하여 올바른 동작여부를 판별하였다. 본 논문의 기능검증시스템 설계에 사용된 SystemC는 C++기반의 하드웨어 모델링용 클래스 라이브러리를 제공하므로 RT 수준보다 높은 추상화수준에서 소프트웨어와 하드웨어 또는 이 둘을 결합한 시스템수준의 모델링을 단일 언어와 환경에서 설계할 수 있는 이점이 있다. 또한 기능검증시스템 설계에 작성된 SystemC 모듈 코드들은 부분적인 코드 수정 후 다른 하드웨어 구성요소의 기능을 검증하는데 재사용할 수 있는 이점이 있다.

• 전자공학회논문지CI
• /
• 제43권4호
• /
• pp.39-49
• /
• 2006

본 논문에서는 차세대 입출력 인터페이스인, PCI 익스프레스 컨트롤러의 기능 검증을 위해 효율적인 검증 환경을 제안하였다. 검증 환경은 벡터 생성 부분, 테스트 벤치, 그리고 두개의 메모리로 구성된다. 이러한 효율적인 검증 환경을 제대로 동작시키기 위한 명령어 세트를 정의하였다. 이 명령어는 어셈블리 구조를 가지며, PCI 익스프레스의 모든 프로토콜을 지원하며, 설계된 PCI 익스프레스 컨트롤러를 검증하기 위한 모든 시나리오를 제공하도록 정의되었다. 또한 본 논문에서는 랜덤 벡터 생성 부분, 시뮬레이션 부분, 그리고 비교 엔진으로 구성된 랜덤 검증 환경을 제안하였다. 본 랜덤 테스트 검증 환경에서 수행된 결과는 일반적인 기본 동작 검증과 설계 기반 검증에서 찾지 못한 특수 경우의 에러도 발견 할 수 있다.

• Asian Journal of Business Environment
• /
• 제8권4호
• /
• pp.17-27
• /
• 2018

Purpose - Current study aimed at investigating the symbolic and evaluation relevance to global luxury brands as the causes of inducing social identity verification, and also explored whether the social identity verification will affect the attitude toward the brands. Research design, data, and methodology - 323 questionaries from Chinese consumers were used to test hypotheses by structural equation model of AMOS 22.0. Results - First, social identity verification positively affected on the brand attitude. Second, both the symbolic relevance and the evaluation relevance positively affected on social identity verification. Third, the mediation roles of social identity verification were identified. Social identity verification played a full mediation role in the effect of the symbolic relevance on the brand attitude, and played a partial mediation role in the effect of the evaluation relevance on the brand attitude. Conclusions - This study could contribute to the advancement of theory concerned with the roles of consumers' social identity verification which induces positive attitude toward the global luxury brands. Global brand managers in China should try to search ways by which consumers can feel both the symbolic relevance and evaluation relevance to their luxury brands, and should make efforts to improve the symbolic relevance and evaluation relevance to their brand.

• Journal of information and communication convergence engineering
• /
• 제8권2호
• /
• pp.140-144
• /
• 2010

This paper is a research on an evaluating method for the dynamic signature verification system. It is described about various factors such as error rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, the processing speed of signature verification and so on. This study identifies factors to consider in evaluating signature verification systems comprehensively and objectively without an officially approved signature database, examines the meaning of each of the factors, and proposes criteria for evaluating and analyzing the factors.

• 한국철도학회논문집
• /
• 제7권2호
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• 한국의상디자인학회지
• /
• 제8권2호
• /
• pp.61-71
• /
• 2006

The purpose of this study is to present a contents production process for costume design analysis by take advantage of the image media of Chinese historical backgrounds. The production process of contents for lectures on fashion design analysis can be summarized as follows: The contents for the design analysis of Chinese costumes can be divided into major media and supplementary media. Major media can be completed through the processes including the selection of Chinese historical backgrounds. images and media (video, DVD title or VOD), verification of image capture parts, image captures, and applications of PPT files. Supplementary media consist of production of analysis materials for each item and TPO, report preparation methods and discussions, and printed matters to be used at the stage of image comparison and verification. This way, a process applicable to the design analysis of Chinese costumes can be presented.

• 대한조선학회 특별논문집
• /
• 대한조선학회 2017년도 특별논문집
• /
• pp.32-37
• /
• 2017

Due to the nature of semi-submergible drilling rig, various equipments are arranged in a limited space, and therefore the many types of outfitting holes passing through the hull structure are densely arranged and that is required the detailed structural strength evaluation in terms of ULS and FLS by class or client. Particularly, semi-submergible drilling rig has a variety of global load which affects the structure strength around holes compared to general commercial ship, and its response of stress is also complicated, so it is difficult to carry out the prediction design of structural strength evaluation and reinforcement. In this regard, this paper presents a case study on the evaluation of structural strength for the various holes and large openings of semi-submergible drilling rig conducted by our company, as well as an established hole verification procedure.

• 소성∙가공
• /
• 제27권4호
• /
• pp.201-210
• /
• 2018

An airbag is an essential automotive component used in all kinds of vehicles such as an internal combustion engine and an electric motor vehicle and is used to minimize the damage of an occupant in the event of an accident. Airbag-related parts are being monopolized by a small number of foreign companies around the world. In this situation, it is necessary to develop and research the airbag-related part molding technology for expansion of the domestic airbag-related market and corporate export. As a part of this research, we have developed a mold for airbag inflator cap. The development consists of three steps which are the design of components, analysis of the design and verification of it. In the case of the design, the transfer type mold was designed for the multi-cylindrical shaped feature. Analysis was then conducted on the design. By examining the results of analysis, changing features and numbers of punches and dies were added in the analysis and repeatedly analyzed. After the addition, proper dimensions from the analysis were achieved, and prototypes were practically produced and verified. In the case of prototype verification, Pressurizing Burst Test was conducted on the existing products and the prototype. By comparing the results of the test, the possibility of replacing the existing product of the airbag inflator cap is presented in this paper.

• 한국해양공학회지
• /
• 제27권1호
• /
• pp.24-30
• /
• 2013

The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.