• Journal of Positioning, Navigation, and Timing
• /
• 제10권4호
• /
• pp.263-269
• /
• 2021

The carrier-based differential global navigation satellite system (CD-GNSS) has been garnering significant attention as a promising technology for unmanned vehicles for its high accuracy. The CD-GNSS systems to be used for safety-critical applications should provide a certain level of integrity. The integrity of these systems must be analyzed under various conditions, including fault-free and satellite fault conditions. The systems should be able to detect the faults that can cause large biases on the user position errors and quantify the integrity risk by computing the protection level (PL) to protect the user against the faults that are left undetected. Prior work has derived and investigated the PL for the fault-free condition. In this study, the integrity of the CD-GNSS system under the fault condition is analyzed. The position errors caused by the satellite's fault are compared with the fault-free PL (PL_H0) to verify whether the integrity requirement can be met without computing the PLs for the fault conditions. The simulations are conducted by assuming the ephemeris fault, and the position errors are evaluated by changing the size of the ephemeris faults that missed detection. It was confirmed that the existing fault monitors do not guarantee that the position error under the fault condition does not exceed the PL_H0. Further, the impact of the faults on the position errors is discussed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.587-597
• /
• 2003

일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다.

• 한국미생물·생명공학회지
• /
• 제50권1호
• /
• pp.51-62
• /
• 2022

Lactobacillus rhamnosus SKG34 (LrSKG34), a potential probiotic strain, was successfully isolated from Sumbawa Mare's milk. Our previous studies showed that the strain is resistant to gastrointestinal conditions, possesses antioxidant activity, and lowers blood cholesterol levels. Further clarification of the potential probiotic characteristics and safety assessment are necessary. This study aimed to evaluate the adhesion of LrSKG34 to Caco-2 cell monolayers and its effect on mucosal integrity in vitro. We also examined the LrSKG34 safety profile based on antimicrobial susceptibility testing, haemolytic activity determination, Caco-2 cell monolayer translocation evaluation, and in vivo investigation of the effect of LrSKG34 on the physiology, biochemical markers, and histopathological appearance of major organs in an animal model. LrSKG34 attached to Caco-2 cell monolayers and maintained mucosal integrity in vitro. The typical resistance of lactobacilli to ciprofloxacin, gentamicin, vancomycin, trimethoprim-sulfamethoxazole, and metronidazole was confirmed for LrSKG34. No haemolytic activity was observed on blood agar plates, and no LrSKG34 translocation was observed in Caco-2 cell monolayers. Administration of LrSKG34 to Sprague-Dawley rats did not adversely affect body weight. No abnormalities in hematological parameters, serum biochemistry levels, or histopathological structures of major organs were observed in LrSKG34-treated rats. Collectively, the results implicate LrSKG34 as a promising and potentially safe probiotic candidate for further development.

• 한국압력기기공학회 논문집
• /
• 제11권2호
• /
• pp.51-60
• /
• 2015

Local wall thinning and integrity degradation caused by several mechanisms, such as flow accelerated corrosion, cavitation, flashing and/or liquid droplet impingement, is a main concern in secondary steam cycle piping system of nuclear power plants in terms of safety and operability. Thinned pipe management program (TPMP) has being developed and optimized to reduce the possibility of unplanned shutdown and/or power reduction due to pipe failure caused by wall thinning. In this paper, newest technologies, standards and regulations related to the integrity assessment, repair and replacement of thinned pipe component are reviewed. And technical improvement items in TPMP to secure the reliability and effectiveness are also presented.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.194-194
• /
• 2000

In aviation navigation by GPS, requirements on availability and integrity must be absolutely satisfied for safety. Current study on accomplishing this integrity includes RAM(Receiver Autonomous Integrity Monitoring), checking integrity internally in GPS receiver itself. However RAIM techniques have be investigated and presented under assumption that there is included only one fault in measurements from GPS, In case of multiple fault, an interaction among bias errors sometimes results in decreasing the effect of multiple fault. This may make an exact fault detection and identification difficult, and study on mutiple fault RAIM focused on. This paper explains the reasons that techniques applied on single fault are not adequate to extend directly to two faults case and shows that RAIM solution on two fault may be given in revised parity space.

• Nuclear Engineering and Technology
• /
• 제46권6호
• /
• pp.875-882
• /
• 2014

In terms of safety and the efficient management of spent fuel storage, detecting failed fuel is one of the most important tasks in a CANada Deuterium Uranium (CANDU) reactor operation. It has been successfully demonstrated that in a CANDU reactor, on-power failed fuel detection and location systems, along with alarm area gamma monitors, can detect and locate defective and suspect fuel bundles before discharging them from the reactor to the spent fuel storage bay. In the reception bay, however, only visual inspection has been used to identify suspect bundles. Gaseous fission product and delayed neutron monitoring systems cannot precisely distinguish failed fuel elements from each fuel bundle. This study reports the use of a sipping system in a CANDU reactor for the integrity assessment of spent fuel bundles. The integrity assessment of spent fuel bundles using this sipping system has shown promise as a nondestructive test for detecting a defective fuel bundle in a CANDU reactor.

• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.1159-1168
• /
• 2012

기존의 Control Flow Integrity(CFI)와 Control Flow Locking(CFL) 기법은 프로그램이 개발자의 의도대로만 실행되도록 강제하여 실행 흐름의 무결성을 제공하고 안전한 프로그램 실행을 보장한다. 하지만, 함수 호출 문맥을 인지하는 보호 기법을 제공하지 않아 정밀도가 떨어지고 이를 악용한 공격을 허용하는 취약점을 가지고 있다. 본 논문에서는 이러한 문제점들을 해결하는 Source-code CFI(SCFI) 시스템을 제안한다. 제안한 시스템에서는 정밀도 높은 CFI 기능을 제공하여 프로그램의 안전성을 높인다.

• 한국철도학회논문집
• /
• 제7권3호
• /
• pp.251-258
• /
• 2004

A systematic methodology to determine safety requirements for railway signalling system and safety requirement allocation into system are presented. THR concept is used for as an interface between Risk Analysis to be performed by railway operator and System Design Analysis by the supplier. This approach is based on Signalling Safety Standard EN50129 by CENELEC.

• 한국생산제조학회지
• /
• 제23권2호
• /
• pp.103-108
• /
• 2014

Growing concerns about environmental pollution have led to an increase in the demand for compressed natural gas (CNG) vehicles in recent years. CNG vehicles are equipped with a cylinder valve installed in a high-pressure vessel to control the CNG flow. The cylinder valve must meet high quality safety standards because the pressure vessel stores high-pressure CNG. Therefore, safety evaluation of the cylinder valve is necessary to ensure the safety of CNG vehicles. In this study, fluid-structure interaction analysis for the structural integrity of the cylinder valve were conducted using a commercial finite element analysis code(ANSYS WORKBENCH V14). The CFD analysis was performed using a steady-state technique according to the inlet and outlet pressures in order to predict the pressure distribution. Structural analysis was performed by a static structure technique at the maximum working pressure to evaluate the structural integrity of the cylinder valve. From the results, the safety factor of the valve component is between 1.57 and 21.5.

• Biomolecules & Therapeutics
• /
• 제3권3호
• /
• pp.242-244
• /
• 1995

In vitro cell culture system has been proposed as a promising alternative model to in vivo skin irritation test. These studies were performed to screen the cytotoxicity effects of surfactants using normal human skin fibroblasts. Cell membrane integrity assessed by the leakage of lactate dehydrogenase (LDH) and mitochondrial integrity by MTT [3-(4, 5-dimethylthiazol-2-yl)-2, 5-diphenyl tetrazolium bromides reduction test were affected in a dose dependent manner. The irritation potential of surfactants to human skin patch test, and the changes of capillary permeability by rabbit intradermal safety test were assessed as in vivo methods. Our results suggest that LDH leakage assay and MTT reduction test using cultured human fibroblasts could be predictive for the irritancy of various surfactants in human, and LDH assay is superior correlated with in vivo test (r=0.886) to MTT test with in vivotest (r=0.757).