• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.354-357
• /
• 2004

According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than in the past. In this paper, new network-based protocol for Korean railway signaling has designed between CTC and SCADA system, and the overview of designed protocol is briefly represented. Using the informal method for specifying the communication protocol, a little ambiguity may be contained in the protocol. To clear the ambiguity contained in the designed protocol, we use LTS model to design the protocol for this interface link between CTC and SCADA, the LTS is an intermediate model for encoding the operational behavior of processes. And then, we verify automatically and formally the safety and the liveness properties through the model checking method. Especially, the modal ${\mu}$-calculus, which is a highly expressive method of temporal logic that has been applied to the model checking method. It will be expected to increase the safety, reliability and efficiency of maintenance of the signaling systems by using the designed protocol for railway signaling in Korea.

• Journal of the Korean Applied Science and Technology
• /
• v.26 no.3
• /
• pp.350-356
• /
• 2009

The objection of this research is to conform of practicable possibility and recycling of producing junk after citrus fruits is processed. In the middle of practicable possibility, with verification of antibiosis that tactiling sensibility in a microorganism. With extracting d-limonene oil that have 70${\sim}$90% a component of oil out of junk citrus peel, making certain the about 12000ppm(1.2%) concentration of it. By means of antibiosis property over the a pathogenic bacterium as well as a residence bacterium, considerating the limit of application against daily living supplies needs to antibiosis. Antibiosis effect of a stationing bacterium in the body permanently and by means of antibiosis verification of special bacteria Propionibacterium Acnes that causative skin trouble is selected, in based the antibiotic sencitivity test check up result of minimal inhibitory concentration(MIC).

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.1
• /
• pp.31-36
• /
• 2006

Development of launch vehicle needs a large-scale and complicated System Engineering discipline interfacing to small-quantity production with special manufacturing processes. In general, the System Engineering discipline of launch vehicle has its relationship with Production, Operations, Product Assurance and Management disciplines and its internal partitions into the functions of System Engineering Integration & Control, Requirements Engineering, Analysis, Design and Configuration and Verification. As a function of Product Assurance, reliability of launch vehicle plays an significant role in risk management, system safety, flight safety and launch certification through design assurance. Moreover, major functions of systems engineering are integrated by means of reliability in the phases of design and verification. Therefore, derailed identification of system engineering interfaces of reliability, and execution of tasks for reliability assurance is required for successful development of launch vehicle. This paper identifies specific pattern and mechanism of the interfaces between reliability and system engineering.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1160-1165
• /
• 2008

The development of a new railway vehicle is under progress through the Next Generation High-Speed Rail Development Project in Korea. Its aim is to develope fundamental technology of the vehicle that can run over 400km/h. The new distributed traction bogie system, 'HEMU'(High-speed Electric Multiple Unit), will be used and is different from previously developed high speed railway vehicles. Previous vehicles adopted push-pull type system, which means one traction-car drives rest of the vehicle. Due to the difference, investigation on dynamic behavior and its safety evaluation are necessary, as a part of verification of the design specification. In this paper, current progresses of researches are presented. And the High-Speed Railway vehicle system is evaluated for a dynamic characteristic simulation. Proper models including air-suspension system, wheel-rail, bogie and car-body will be developed according to the vehicle simulation scenario. International safety standard will be applied for final verification of the system. This research can propose a better solution when test running shows a problem in the parts and elements. Finally, the vehicle that has excellent performance will be developed, promoting academic achievement and technical development.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.6
• /
• pp.380-387
• /
• 2004

In accordance with the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by a digital communication channel. At the same time, the importance of the communication link has become increasingly significant. However, there are some questionable matters in the current state of railway signaling systems in KNR. First, different communication protocols have been applied to create an interface between railway signaling systems although the protocols have the same functions. Next, the communication protocols currently used in the railway fields have some illogical parts such as structure, byte formation, error correction scheme, and so on. To solve these matters, the standard communication protocol for railway signaling systems is designed. The newly designed protocol is overviews in this paper. And the simulation is performed to analysis the performance of data link control for designed protocol. According to this simulation, it is identified that the link throughput of new protocol is improved about 10% and the frame error rate is improved than existing protocol. And it is verified the safety and liveness properties of designed protocol by using a formal method for specifying the designed protocol. It is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling systems by using the designed communication protocol for railway signaling.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.23 no.5
• /
• pp.279-288
• /
• 2019

Safety-related cabinets and their electrical parts, such as relays and switches in nuclear power plants, should maintain continuous functioning, as well as structural safety according to the nuclear regulatory guidelines. Generally, an electrical part is qualified if its functioning is maintained without abnormality during excitement by motion compatible with the test response spectrum, which is larger than its in-cabinet response spectrum (ICRS). ICRS can be determined by shake-table test or dynamic analysis. Since existing cabinets in use can hardly be stopped and moved, dynamic analysis is preferred over shake-table test in determining ICRS. The simple method, suggested by the Electric Power Research Institute (EPRI) to determine ICRS, yields conservative or non-conservative results from time to time. In order to determine that the ICRS is better than EPRI method in a simple way, Ritz method considering global and local plate behaviors was suggested by Gupta et al. In this paper, the Ritz method is modified in order to consider the rocking and frame behaviors simultaneously, and it is applied to a simple numerical example for verification. ICRS is determined by Ritz method and compared with the results by finite element method (FEM). Based on this numerical example, recommendations for using Ritz method are suggested.

• Journal of Navigation and Port Research
• /
• v.45 no.5
• /
• pp.231-237
• /
• 2021

Enhancing the performance of maritime wireless communication has been highlighted by the issue of cell planning in the sea area because of lack of an appropriate Propagation Loss Model (PLM). To resolve the cell planning issue in vast sea areas, it was essential to develop the (PLM) matching the intended sea area. However, there were considerable gaps between the prediction of legacy PLMs and field measurement in propagation loss and there was a need to develop the adjusted PLM (A-PLM). Therefore, cell planning was performed on this adjusted model, including modification of the base station's location, altitude, and antenna azimuth to meet the quality objectives. Furthermore, in order to verify the availability of the cell planning, Communication Service Quality Monitoring System (CS-QMS) was developed in the LTE-Maritime project to collect LTE signal quality information from the onboard equipment at regular intervals and to ensure that the service quality was high enough to satisfy the goals in each designated grid. As a result of verification, the success rate of RSRP was 95.7% for the intensive management zone (IMZ) and 96.4% for the interested zone (IZ), respectively.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.59 no.1
• /
• pp.10-17
• /
• 2010

Safety-critical systems related to the railway communications are currently undergoing changes. Mechanical and electro-mechanical devices are being replaced by programmable electronics that are often controlled remotely via communication networks. Therefore designers and operators now not only have to contend with component failures and user errors, but also with the possibility that malicious entities are seeking to disrupt the services provided by theirs systems. Recognizing the safety-critical nature of the types of communications required in train control operations, the communications infrastructure will be required to meet a number of safety requirements such as system faults, user errors and the robustness in the presence of malicious attackers who are willing to take determined action to interfere in the correct operation of a system. In this paper, we proposed the safety strategies employed in the railway communications and a security mechanism for Korean railway communication system. Also, we presented the developed means for validation and determination of communication safety based on the proposed security mechanism in the railway system.

• Journal of the Korean Society of Systems Engineering
• /
• v.4 no.2
• /
• pp.55-61
• /
• 2008

In this paper, there is the case study which assesses the systems engineering capability maturity of the safety organization that performs the Railway Safety project using systems engineering method. To In ore effective and efficient a research and development to railway safety domain, a new research and development method can be progressively needed such as systems engineering. To assess quantitatively research of systems engineering efforts in the railway safety project, SECM(EIA/IS 731) Standard is utilized in the paper. It is by questionnaire that the capability maturity assessment is executed wit h the safety organization and staffs who performs the systems engineering activities; requirement analysis and management, interface control management. product verification and validation, and so on. As a result, the systems engineering capability level of the safety organization rises from 0 level at the initial project to 2 level after two years and all staffs give an affirmative answer about the importance and effectiveness of the systems engineering approach.

• Nuclear Engineering and Technology
• /
• v.49 no.2
• /
• pp.295-305
• /
• 2017

This paper reviews current status of the unified approach known as integrated safety assessment (ISA), as well as the associated SCAIS (simulation codes system for ISA) computer platform. These constitute a proposal, which is the result of collaborative action among the Nuclear Safety Council (CSN), University of Madrid (UPM), and NFQ Solutions S.L, aiming to allow independent regulatory verification of industry quantitative risk assessments. The content elaborates on discussions of the classical treatment of time in conventional probabilistic safety assessment (PSA) sequences and states important conclusions that can be used to avoid systematic and unacceptable underestimation of the failure exceedance frequencies. The unified ISA method meets this challenge by coupling deterministic and probabilistic mutual influences. The feasibility of the approach is illustrated with some examples of its application to a real size plant.