• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• 한국항공운항학회지
• /
• 제23권3호
• /
• pp.28-34
• /
• 2015

An analysis method of trajectory prediction has been suggested and the developed trajectory prediction module, which is an important functional component of the Arrival Manager (AMAN) of Jeju airport, has been tested by applying the suggested method. The objective of this method is to improve prediction performance of the trajectory prediction module. The trajectory prediction module predicts the trajectories based on the real-time track data and flight plans. Therefore, the suggested analysis method includes the simulation framework which is based on real-time playback, recording, and graphic display systems for testing. Besides, the definition of time error, which is a important index for the time based scheduling system, such as AMAN, is included in the suggested analysis method. An example of arrival time prediction accuracy improvement through the suggested analysis method has also been presented.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.316-318
• /
• 2005

소프트웨어 개발 생산성물 높이고 신뢰성 있는 프로그램을 개발하기 위하여 수많은 테스트 기법 및 도구들이 연구되고 있다. 본 논문은 효율적인 소프트웨어의 단위 테스팅을 위해 XML 기반의 테스트 스크립트 언어를 설계하고 테스팅 도구를 제안한다. 제안하는 테스팅 도구는 테스트 대상 소스를 기반으로 테스트 스크립트를 생성해주는 테스트 스크립트 생성기와 테스트 스크립트를 대상 언어로 작성된 테스트 드라이버로 변환해 주는 테스트 드라이버 변환기를 제공함으로서 보다 간편한 테스트 환경을 제공한다. 테스트 스크립트를 XML 형태로 기술함으로서 개발자들은 새로운 스크립트 언어의 학습이 불필요하며 대상 언어에 독립적인 테스트 스크립트를 작성 할 수 있다. 또한 테스트 실행 후 테스트 평가 결과를 XML로 제공함으로서 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 XML 기반의 테스트 스크립트 언어와 테스팅 도구는 프로그래밍 언어에 독립적인 부분과 종속적인 부분을 분리하여 여러 가지 프로그래밍 언어의 단위 테스트 환경을 하나로 통합 할 수 있게 해주어 관련 소프트웨어 테스팅 분야의 발전에 크게 기여할 것으로 기대된다.

• 전기학회논문지
• /
• 제67권6호
• /
• pp.715-723
• /
• 2018

The energy storage system consists of batteries, power conditioning system and energy management system. If ESS is installed and operated in the field, SAT(Site Acceptance Test) of ESS is being essentially required for the safety and performance of ESS. Furthermore, in order to more accurately and reliably validate the performance of the ESS in advanced countries, it has been required to perform not only performance testing by H/W equipments but also performance verification by S/W tool. Therefore, this paper proposes the modeling of portable test equipment in order to evaluate the performance and reliability of ESS by using the PSCAD/EMTDC S/W. And also, the prototype of 30[kW] scaled portable test equipments is implemented based on the S/W modeling. From the results of various simulations and testings such as power quality, LVRT and anti-islanding tests, it is confirmed that 30[kW] scaled portable test equipment is useful for SAT of ESS, because the simulation results of PSCAD/EMTDC are identical to them of 30[kW] test equipment at the same test conditions.

• Nuclear Engineering and Technology
• /
• 제50권5호
• /
• pp.780-787
• /
• 2018

This article presents a security module based on a field programmable gate array (FPGA) to mitigate man-in-the-middle cyber attacks. Nowadays, the FPGA is considered to be the state of the art in nuclear power plants I&C systems due to its flexibility, reconfigurability, and maintainability of the FPGA technology; it also provides acceptable solutions for embedded computing applications that require cybersecurity. The proposed FPGA-based security module is developed to mitigate information-gathering attacks, which can be made by gaining physical access to the network, e.g., a man-in-the-middle attack, using a cryptographic process to ensure data confidentiality and integrity and prevent injecting malware or malicious data into the critical digital assets of a nuclear power plant data communication system. A model-based system engineering approach is applied. System requirements analysis and enhanced function flow block diagrams are created and simulated using CORE9 to compare the performance of the current and developed systems. Hardware description language code for encryption and serial communication is developed using Vivado Design Suite 2017.2 as a programming tool to run the system synthesis and implementation for performance simulation and design verification. Simple windows are developed using Java for physical testing and communication between a personal computer and the FPGA.

• 대한의용생체공학회:의공학회지
• /
• 제26권1호
• /
• pp.37-42
• /
• 2005

We construct and test the polarization-sensitive optical coherence tomography (PS-OCT) system for imaging porcine and human articular cartilages. PS-OCT is a new imaging technology that provides information regarding not only the tissue structures but tissue components that show birefringence such as collagen. In this study, we measure the cartilage thickness of the porcine joint and the phase retardation due to collagen birefringence. Also, we demonstrate that changes of the collagen fiber orientation could be detected by the PS-OCT system. Finally, differences between normal and damaged human articular cartilage are observed using the PS-OCT system, which is then compared with the regular histology pictures. As a result, the PS-OCT system is proven to be effective for diagnosis of the pathology related to the cartilage. In the future, this technology may be used for discrimination of the collagen types. When combined with endoscope technologies, the PS-OCT images may become a useful tool for in vivo tissue testing.

• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.65-72
• /
• 2009

현재 컴포넌트 기반 개발 기법은 재사용성과 생산성 측면에서 효과적인 소프트웨어 개발 방법으로 많은 각광을 받고 있다. 하지만 기존의 UML을 이용한 컴포넌트 기반 개발에서는 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태기계 다이어그램으로 표현하고, 표현된 상태기계 다이어그램을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태기계 다이어그램으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 개발한다.

• 천문학회지
• /
• 제52권5호
• /
• pp.207-216
• /
• 2019

In this paper we introduce a software package, the Very long baseline interferometry Network SIMulator (VNSIM), which provides an integrated platform assisting radio astronomers to design Very Long Baseline Interferometry (VLBI) experiments and evaluate the network performance, with a user-friendly interface. Though VNSIM is primarily motivated by the East Asia VLBI Network, it can also be used for other VLBI networks and generic interferometers. The software package not only integrates the functionality of plotting (u, v) coverage, scheduling the observation, and displaying the dirty and CLEAN images, but also adds new features including sensitivity calculations for a given VLBI network. VNSIM provides flexible interactions on both command line and graphical user interface and offers friendly support for log reports and database management. Multi-processing acceleration is also supported, enabling users to handle large survey data. To facilitate future developments and updates, all simulation functions are encapsulated in separate Python modules, allowing independent invoking and testing. In order to verify the performance of VNSIM, we performed simulations and compared the results with other simulation tools, showing good agreement.

• International Journal of Railway
• /
• 제4권2호
• /
• pp.50-55
• /
• 2011

The dynamic stability of railway vehicle has long been one of the important issues in railway safety. The dynamic simulator has been used as a tool for investigating the dynamic stability of railway vehicles and wheel/rail interfaces. In particular, small scale simulators have been widely used in laboratory studies instead of full scale roller rigs which can be quite costly and rather inconvenient for testing out the effect of diverse design parameters. But techniques for design of a small scale simulator for the fundamental study about the dynamic characteristics of the wheel-rail systems and the bogie systems have not been well developed in Korea. Therefore, a research on the development of a small scale simulator for investigating bogie dynamics needs to be undertaken. The present paper investigates design of a small-scaled derailment simulator and the design of a small scale bogie. The simulator developed can be used to investigate the effect of diverse parameters such as attack angle, wheelbase and cant on dynamic behavior of the bogie and key dynamic performance parameters such as derailment coefficient and critical speed.

• Geomechanics and Engineering
• /
• 제13권3호
• /
• pp.371-384
• /
• 2017

Physical and mechanical properties of rocks are of interest in many fields, including materials science, petrophysics, geophysics and geotechnical engineering. Uniaxial compressive strength UCS is one of the key mechanical properties, while density and porosity are important physical parameters for the characterization of rocks. The economic interest of carbonate rocks is very important in chemical or biological procedures and in the field of construction. Carbonate rocks exploitation depends on their quality and their physical, chemical and geotechnical characteristics. A fast, economic and reliable technique would be an evolutionary advance in the exploration of carbonate rocks. This paper discusses the ability of ultrasonic wave velocity to evaluate some mechanical and physical parameters within carbonate rocks (collected from different regions within Tunisia). The ultrasonic technique was used to establish empirical correlations allowing the estimation of UCS values, the density and the porosity of carbonate rocks. The results illustrated the behavior of ultrasonic pulse velocity as a function of the applied stress. The main output of the work is the confirmation that ultrasonic velocity can be effectively used as a simple and economical non-destructive method for a preliminary prediction of mechanical behavior and physical properties of rocks.