• Title/Summary/Keyword: Safety-critical System

Search Result 887, Processing Time 0.029 seconds

AGING TEST AND SOFTWARE RELIABILITY ANALYSIS METHOD FOR PC-BASED CONTROLLER

  • Song Jun-Yeob;Jang Ju-Su
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.06a
    • /
    • pp.969-973
    • /
    • 2005
  • This paper presents a survey of software reliability modeling and it's application to pre-built software system combined with hardware such as numerical controller based on personal computer systems. Many a systems in these days are much more becoming software intensive and many software intensive systems are safety critical. For this reason, the technique well developed to measure of software reliability is very important for whom to assess such a system. This paper provides a brief idea of method to evaluate such a system's reliability based on hardware performance.

  • PDF

Stability Investigation of Rotor Systems by Complex Modal Analysis (복소 모드해석을 이용한 회전체의 안정성 분석)

  • Han, Dongju
    • Journal of Aerospace System Engineering
    • /
    • v.7 no.4
    • /
    • pp.27-35
    • /
    • 2013
  • Identifying the stability of rotor systems is prerequisite for clear determination of the parameter identification and safety, through which operating conditions may be rationally ascertained. For this purpose, the complex modal analysis of periodically time-varying system has been introduced by transforming the relation between periodic eigen-vectors and the corresponding adjoint vectors into the latent value problem. Stability investigation associated with modal features for rotor systems is performed using numerical simulation based upon the analysis model.

Formal Specification and Verification of Real Time System using SyncCharts (SyncCharts를 이용한 실시간 시스템의 정형 명세와 검증)

  • 김성재;최진영
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10c
    • /
    • pp.415-417
    • /
    • 2002
  • 실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

  • PDF

A Study on the Dynamic Characteristics of Truncated Cone Type Squeeze Film Damper Bearing and Rotor System (절단 원추형 Squeeze Film Damper 베어링과 회전축계의 동특성에 관한 연구)

  • 윤석철
    • Journal of the Korean Society of Safety
    • /
    • v.12 no.1
    • /
    • pp.9-18
    • /
    • 1997
  • This paper is a study on the dynamic characteristics of truncated cone type squeeze film damper(SFD) bearing and rotor system. This model can alter the radial oil film gap which Is Important to the performance of rotor-bearing system and manufactured easily to change the shape concept of traditional circular type SFD bearing. In theoretical analysis, the oil film pressure distribution, the oil film force, the film damping coefficient and the eccentricity ratio, etc. were induced with regard to the film inertia effect. The film damping coefficients and optimum design parameters are calculated. When unbalance parameter U is greater than 0.2, the nonlinear vibration such as "Jump" phenomena appears in the vicinity of rotor critical speed. At this time, the increases of bearing parameter U, journal distance S, Reynolds number Re can control this unstable vibration. The experimental results show that SFD hearing and rotor system which are designed according to the design parameters in the stable region are operated stably in rotational speed 9,600rpm without nonsynchronous behavior.

  • PDF

A Study on the Development of' XML Based Shopping Mall System (XML 기반의 쇼핑몰 시스뎀 개발에 관한 연구)

  • 임영문;이보영
    • Journal of the Korea Safety Management & Science
    • /
    • v.3 no.1
    • /
    • pp.11-24
    • /
    • 2001
  • Since the types and formats of the provided material and data are difficulties from one to another, difficulties have occurred in exchanging and sharing Information. Under such a circumstance, standardization and management of information or files have been a critical factor leading to an active and successful Electronic Commerce. XML(extensible Markup Language), which is a standardized format for data exchange via internet, has been recognized as a standard by World Wide Web Consortium(W3C). XML takes web environment as the interface, runs well even in a heterogeneous environment and saves data in a standardized format, therefore, it can be effectively used for creating and transferring standardized files. In this paper, a XML-based data processing system, which aims at supplementing the existing HTML-based shopping mall system and the methodology for constructing the system is presented with specific examples.

  • PDF

Fuzzy FMECA analysis of radioactive gas recovery system in the SPES experimental facility

  • Buffa, P.;Giardina, M.;Prete, G.;De Ruvo, L.
    • Nuclear Engineering and Technology
    • /
    • v.53 no.5
    • /
    • pp.1464-1478
    • /
    • 2021
  • Selective Production of Exotic Species is an innovative plant for advanced nuclear physic studies. A radioactive beam, generated by using an UCx target-ion source system, is ionized, selected and accelerated for experimental objects. Very high vacuum conditions and appropriate safety systems to storage exhaust gases are required to avoid radiological risk for operators and people. In this paper, Failure Mode, Effects, and Criticality Analysis of a preliminary design of high activity gas recovery system is performed by using a modified Fuzzy Risk Priority Number to rank the most critical components in terms of failures and human errors. Comparisons between fuzzy approach and classic application allow to show that Fuzzy Risk Priority Number is able to enhance the focus of risk assessments and to improve the safety of complex and innovative systems such as those under consideration.

The Application of Hazard Analysis Critical Control Point (HACCP) in Milk Processing Plants (유가공장의 HACCP 적용)

  • Jeong, Dong-Kwan
    • Journal of Dairy Science and Biotechnology
    • /
    • v.14 no.1
    • /
    • pp.1-15
    • /
    • 1996
  • With the starting of Uruguay Round(UR) and World Trade Organization(WTO), the direction of trade in world market has been setting up with the beginning of an opening age. However, world nations has been expressed a deep concern on the marketing and the circulations of unsafe foods, especially in the international trade of food products. Therefore, administration of most countries are taking a firm step on the safety of imported food products. The implementation of hazard analysis critical control point(HACCP) system in food industry is strongly appeared on the world stage at this point. Major international organizations, such as WHO, WTO, and EC have been recognized the importance of HACCP and already documented on their future plan for standardization of food safety in the international trade of food products by means of the this system. Several advanced countries have already developed HACCP system for the food industry and have been producing food products under this system. Now they have proposed rulemakings on a mandatory HACCP program in the production of domestic and imported food products. However, with the lacking of knowledge and information on the HACCP, there has been no actions for applying this system in the food industry of Korea. It is a very clear fact that Korean dairy and food industry will be faced on serious problems in exporting food products without applying HACCP system in the very near future. The objective of this article is to introduce the world trend. necessity, and application of HACCP system in food and dairy industry. Also a HACCP system developed by one dairy processing plant in Europe will be demonstrated as a moldel system.

  • PDF

A System Engineering Approach to Predict the Critical Heat Flux Using Artificial Neural Network (ANN)

  • Wazif, Muhammad;Diab, Aya
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.16 no.2
    • /
    • pp.38-46
    • /
    • 2020
  • The accurate measurement of critical heat flux (CHF) in flow boiling is important for the safety requirement of the nuclear power plant to prevent sharp degradation of the convective heat transfer between the surface of the fuel rod cladding and the reactor coolant. In this paper, a System Engineering approach is used to develop a model that predicts the CHF using machine learning. The model is built using artificial neural network (ANN). The model is then trained, tested and validated using pre-existing database for different flow conditions. The Talos library is used to tune the model by optimizing the hyper parameters and selecting the best network architecture. Once developed, the ANN model can predict the CHF based solely on a set of input parameters (pressure, mass flux, quality and hydraulic diameter) without resorting to any physics-based model. It is intended to use the developed model to predict the DNBR under a large break loss of coolant accident (LBLOCA) in APR1400. The System Engineering approach proved very helpful in facilitating the planning and management of the current work both efficiently and effectively.

ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES

  • Dehlinger, Josh;Dugan, Joanne Bechta
    • Nuclear Engineering and Technology
    • /
    • v.40 no.5
    • /
    • pp.365-374
    • /
    • 2008
  • Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

Development of CANDU Reactor Aging Monitor (CANDU형 원전 경년열화 감시시스템(Aging Monitor) 개발)

  • Kim, Hong Key;Choi, Young Hwan;Ko, Han Ok
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.5 no.2
    • /
    • pp.13-19
    • /
    • 2009
  • As the operating time in nuclear power plants (NPPs) increases, the integrity of nuclear components may be continually degraded due to aging effects of systems, structures and components. Recently, a number of NPPs are being operated beyond their design life to produce more electricity without shutting down. The critical issue in extending a lifetime is to maintain the level of safety during the extended operation period while satisfying the international regulatory standards. Therefore, it is beneficial to build a monitoring system to measure an aging status. In this paper, the Aging Monitor (AM) based on lots of aging database obtained from the operating plants and research results on the aging effects was developed to monitor, manage and evaluate the aging phenomena systematically and effectively in NPPs. The AM for the CANDU is divided into 6 modules: (1) Aging Alarm/Coloring Monitor, (2) Aging Database, (3) Aging Document, (4) Real-time Integrity Monitor, (5) Surveillance and Inspection Management System, and (6) Continued Operation and Periodic Safety Review (PSR) Safety Evaluation. The proposed system is expected to provide the integrity assessment for the major mechanical components of an NPP under concurrent working environments.

  • PDF