• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.855-859
• /
• 2009

In this paper, we introduce the estimation method by Risk or SIL(Safety Integrity Level) for the criterion of safety assurance and summarize each application method and target. IEC 62278(EN 50126) which is international standard for the specification and verification of the railway system RAMS indicate a criterion of safety assurance. Especially, it recommend the safety verification by continuous verification as the order of requirement establishment, design, manufacture, installation, operation, and maintenance for the equipment not easy to quantify the operation environment. In this paper, we study the SIL requirement allocation method relating to internal new system development and existing system improvement by analysing SIL recommendations which were used to understand SIL for a train control equipment in 1990s in IRSE and theoretically their allocation background. This paper help the safety management of Korea train control system to develope the quantitative management procedure as international level by analyzing the SIL requirement allocation by operation agency and the right SIL verification procedure by manufacture and indicating the example to assure safety because it is necessary for improvement and localization for the Korea train control system having highly dependence on aboard technology.

• 풍력에너지저널
• /
• 제14권1호
• /
• pp.29-36
• /
• 2023

The analysis of the floating offshore wind turbine platform is based on the procedures provided by the IEC including the International Classification Society, which recommends the analysis in the time domain. But time-domain simulation requires a lot of time and resources to solve tens of thousands of DLCs. This acts as a barrier in terms of floating structure development. For final verification, it requires very precise analysis in the time domain, but from an initial design point of view, a simplified verification procedure to predict the quantity of materials quickly and achieve relatively accurate results is crucial. In this study, a structural design procedure using a design wave applied in the oil and gas industries is presented combined with a conservative turbine load. With this method, a quick design spiral can be rotated, and it is possible to review FOWTs of various shapes and sizes. Consequently, a KRISO Semi-Submersible FOWT platform was developed using a simplified design procedure in frequency-domain analysis.

• 한국ITS학회 논문지
• /
• 제11권5호
• /
• pp.62-69
• /
• 2012

교통 시뮬레이션 모형은 실제 교통 네트워크를 모형으로 구현하여 여러 가지 교통정책을 평가하는 데에 사용된다. 이때 모형이 실제의 교통현상을 잘 반영했는지 여부를 판단하는 모형 검증 절차는 가장 중요한 절차 중 하나이며 모형 검증에는 실측 교통량과 속도 등이 주로 사용된다. 본 연구에서는 노스캐롤라이나 랄리에 있는 I-40 고속도로 상에서 일어나는 심각한 오후 첨두 병목현상을 DYNASMART-P라는 메조스코픽 교통 시뮬레이션 모형으로 구현한 결과를 검증하고자 하였다. 연구 대상 축의 경우 노스캐롤라이나 교통국(NCDOT)의 교통정보센타에서 속도검지기를 설치하여 온라인으로 속도를 수집하고 있다. 그러나 검지기 측정 자료는 지점속도이고 시뮬레이션 모형의 결과값은 링크 평균속도이므로 모형 검증에 사용하기에는 적합하지 않다. 따라서, 본 연구에서는 GPS 장비를 활용하여 통행시간을 측정하여 모형에서의 통행시간과 비교함으로써 시뮬레이션 모형의 결과를 검증하였다. 이 논문에서는 데이터 수집, 모형검증 절차 및 결과를 서술하였다.

• 한국CDE학회논문집
• /
• 제14권5호
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• 전자통신동향분석
• /
• 제34권1호
• /
• pp.142-153
• /
• 2019

In this paper, we focus on the process of using open source software (OSS) and factors that should be considered when using project-based OSS. We also elaborate on how to avoid using OSS licenses in an OSS-based technology development process, why dual OSS licenses and security threats should be avoided, and the method of notification after use. In addition, the OSS license verification method and environment are described in the course of project development. In the verification method, the OSS license used for technology development in the course of project execution is validated in advance by the person who decides whether or not to use the OSS, and then additional verification using the tool after technology development. It is expected that this paper will be helpful for establishing the OSS usage consideration and the license verification procedure, and environment in the future.

• Coupled systems mechanics
• /
• 제4권1호
• /
• pp.67-98
• /
• 2015

Numerical prediction of dynamic behavior of fully coupled saturated porous media is of great importance in many engineering problems. Specifically, static and dynamic response of soils - porous media with pores filled with fluid, such as air, water, etc. - can only be modeled properly using fully coupled approaches. Modeling and simulation of static and dynamic behavior of soils require significant Verification and Validation (V&V) procedures in order to build credibility and increase confidence in numerical results. By definition, Verification is essentially a mathematics issue and it provides evidence that the model is solved correctly, while Validation, being a physics issue, provides evidence that the right model is solved. This paper focuses on Verification procedure for fully coupled modeling and simulation of porous media. Therefore, a complete Solution Verification suite has been developed consisting of analytical solutions for both static and dynamic problems of porous media, in time domain. Verification for fully coupled modeling and simulation of porous media has been performed through comparison of the numerical solutions with the analytical ones. Modeling and simulation is based on the so called, u-p-U formulation. Of particular interest are numerical dispersion effects which determine the level of numerical accuracy. These effects are investigated in detail, in an effort to suggest a compromise between numerical error and computational cost.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1209-1215
• /
• 2007

To establish the national railway safety system, the railway total safety technology development project has been promoted by Ministry of Construction and Transportation (MOCT) since August 2004. The project is mainly focused on the prevention of a critical railway accident and the reduction of accident/mortality rate. To achieve its goal effectively, the project is composed of 15 sub-projects each of which can be categorized into three different technological area. This work deals with the verification results for the outcomes of the sub-projects carried out at the 2nd year of the project. A new verification procedure is developed and applied to the project based on the system engineering. Three criterions - The suitability of the realization of a function, the suitability of a physical structure, the suitability of a design analysis report - are used for the verifications. The verification results are investigated by calculating standard deviations of scores of each results.

• 한국정보통신학회논문지
• /
• 제11권5호
• /
• pp.1029-1036
• /
• 2007

상태폭발문제는 이산사건 시스템 검증과정에서 피하기 어려운 문제로 알려져 있으며, 큰 시스템 해석을 어렵게 만드는 본질적인 요인이다. 본 논문에서는 이산사건 시스템의 무시간 DEVS/DEVS 명세에 대한 계층적인 설계/검증 방법을 제안하여 상태폭발문제를 회피할 수 있는 방법을 보인다. 제안한 방법은 DEVS 상위모델과 DEVS 하위 모델간의 설계/검증 과정을 계층적이면서도 반복적인 방식을 채택하여 검증에 필요한 요소 이외에는 정제 과정을 통하여 없애는 방안이다. 간단한 예제를 통하여 제안된 방법론을 소개하고 있다.

• 한국도로학회논문집
• /
• 제19권5호
• /
• pp.89-96
• /
• 2017

PURPOSES: This study aims to develop a rational procedure for estimating the pavement roughness index considering vehicle wandering. METHODS : The location analysis of the passing vehicle in the lane was performed by approximately 1.2 million vehicles for verification of the wandering distribution. According to verification result, the distribution follows the normal distribution pattern. The probability density function was estimated using each lane's wandering distribution model. Then the procedure for applying a weighted value into the lane profile was conducted using this function. RESULTS : The modified index, MRIw, with consideration towards applying the wandering weighted value application was computed then compared with MRI. It was found that the Coefficient of Variation for distribution of lateral roughness index in the lane was high in the case of a large difference between each index (i.e., MRIw and MRI) observed. CONCLUSIONS : This result confirms that the new procedure with consideration of the weight factor can successfully improve the lane representative characteristics of the roughness index.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.423-424
• /
• 2008

The procedure of design and verification for a 16-bit RISC processor is introduced in this paper. The proposed processor has Harvard architecture and consists of 24-bit address, 5-stage pipeline instruction execution, and internal debug logic. ADPCM vocoder and SOLA algorithm are successfully carried out on the processor made with FPGA.