• 제목/요약/키워드: safety-critical

검색결과 2,174건 처리시간 0.026초

ISO 22000 국제규격 제정에 따른 한국형 식품안전경영시스템(FSMS) 구축모델과 적용방안 (A Korean Food Safety Management System(FSMS) Based on the Premises of ISO 22000)

  • 문재승;유왕진;이철규
    • 품질경영학회지
    • /
    • 제33권3호
    • /
    • pp.41-46
    • /
    • 2005
  • The production, processing, sale and service of food materials are not subject to attainment via a single country. In accordance with internationalization of the world, issues related to food safety have emerged as critical international concerns and they are closely associated with the health and interest of domestic consumers, producers, manufacturers, and distributors. As a third party certification standards, ISO 22000 is in progress International Organization for Standardization(ISO) and the Draft International Standard(DIS) has already been presented on December 2004. The purpose of this study is to analyze the international standards, guidelines and legislation in regard of Food Safety Management System(FSMS) including ISO 9001, Hazard Analysis Critical Control Point(HACCP) and Product Liability(PL) so as to present Korean-model Food Safety Management System requirements and system establishment model.

EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETY

  • OURGHANLIAN, ALAIN
    • Nuclear Engineering and Technology
    • /
    • 제47권2호
    • /
    • pp.212-218
    • /
    • 2015
  • We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

다단 전류도입선 해석 (Study of Multi-Step Current Lead)

  • 문정수;설승윤
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2000년도 춘계학술대회논문집B
    • /
    • pp.379-384
    • /
    • 2000
  • High-Tc superconducting current leads with multi-step and continually varied cross-sectional area are studied to reduce heat leak into cryostat and material use. Assuming conduction-cooled lead the cross-sectional area is reduced along the heat flow direction according to the increase of critical current density which increases with decreasing temperature. In this study, we also analyze the multi-step cross-sectional area High-Tc current leads. The multi-st데 current leads changes the cross-sectional area to have constant safety-factor at changed section. The heat leak into cryostat, total voume, safety-factor and the temperature profiles are compared to those of the constant safety-factor current leads. The developed methods are applied to the Bi-2223 superconductor sheathed with Ag-Au alloy.

  • PDF

Grafcet을 이용한 연동로직 분석 (Analysis of Interlocking Functions using Gragcet Language)

  • 황종규;이종우;이재호;최규형
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1999년도 하계학술대회 논문집 A
    • /
    • pp.471-473
    • /
    • 1999
  • Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signaling which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in computer based control system. In this paper, the GRAFCET(GRAphe Fonctionnel do Commande Etape/Transition) language is used as a analysis and verification tool for safety-critical interlocking logic. The general description for Grafcet notation are provided and the general modeling for interlocking logic is presented.

  • PDF

고소작업대 조종훈련용 시뮬레이터 (Aerial Working Platform Training Simulator)

  • 기재석
    • 대한안전경영과학회:학술대회논문집
    • /
    • 대한안전경영과학회 2007년도 춘계학술대회
    • /
    • pp.133-141
    • /
    • 2007
  • Aerial working platform is recently used broadly in heavy industry and construction field and also the utilization of it is growing. However, the raise of critical incident caused by unskilled operator is increasing gradually. To reduce and prevent such incident, the training for operating is essential. It's not easy to cover the requirements for the training with real platform because of the high price of it, safety and weather condition. This paper proposes a simulator for the training based on virtual reality to give the training safely regardless to the weather condition and the simulator is deliverable in lower price than real one. The simulator proposed in this paper is available to be set according to the level of trainee managing the assessment level and be also applied for the design of general heavy equipment training simulator based.

  • PDF

고소작업대 조종훈련용 시뮬레이터 (Aerial Working Platform Training Simulator)

  • 기재석
    • 대한안전경영과학회지
    • /
    • 제9권4호
    • /
    • pp.57-62
    • /
    • 2007
  • Aerial working platform is recently used broadly in heavy industry and construction field and also the utilization of it is growing. However, the raise of critical incident caused by unskilled operator is increased gradually. To reduce and prevent such incident, the training for operating is essential. It's not easy to cover the requirements for the training with real platform because of the high price of it, safety and weather condition. This paper proposes a simulator for the training based on virtual reality to give the training safely regardless to the weather condition and the simulator is deliverable in lower price than real one. The simulator proposed in this paper is available to be set according to the level of trainee's skill managing and be also applied for the design of general heavy equipment training simulator.

Development of limit equilibrium method as optimization in slope stability analysis

  • Mendjel, D.;Messast, S.
    • Structural Engineering and Mechanics
    • /
    • 제41권3호
    • /
    • pp.339-348
    • /
    • 2012
  • The slope stability analysis is usually done using the methods of calculation to rupture. The problem lies in determining the critical failure surface and the corresponding factor of safety (FOS). To evaluate the slope stability by a method of limit equilibrium, there are linear and nonlinear methods. The linear methods are direct methods of calculation of FOS but nonlinear methods require an iterative process. The nonlinear simplified Bishop method's is popular because it can quickly calculate FOS for different slopes. This paper concerns the use of inverse analysis by genetic algorithm (GA) to find out the factor of safety for the slopes using the Bishop simplified method. The analysis is formulated to solve the nonlinear equilibrium equation and find the critical failure surface and the corresponding safety factor. The results obtained by this approach compared with those available in literature illustrate the effectiveness of this inverse method.

병원간호사의 안전간호활동과 간호기록 수행간의 관계 (The Association between Safety Care Activity and Documentation of Nursing Records among Nurses in General Hospitals)

  • 강행선;송효정
    • 중환자간호학회지
    • /
    • 제11권3호
    • /
    • pp.85-94
    • /
    • 2018
  • Purpose : The purpose of this study was to identify the association between safety care activity and documentation of nursing records among nurses working in hospitals and to provide basic data for developing hospital policy for the documentation of nursing records. Methods : By using a self-reported questionnaire, data were collected from 212 nurses working in six general hospitals in Jeju province from November 2015. Data were analyzed using descriptive statistics, t-test, ANOVA, Pearson correlation coefficients, and stepwise multiple regression with the SAS WIN 9.2 program. Results : Safety care activity was positively correlated with the documentation of nursing records (r=.83, p<.001). The documentation of nursing records was significantly predicted by safety care activity, working department, and nursing delivery system, and 70.9% of the variance in the documentation of nursing records was explained (F=172.31, p<.001). Conclusions : In this study, safety care activity was the most influencing factor for the documentation of nursing records. Improving work circumstances and building a system are required for nurses' safety care activity to lead to good documentation of nursing records.

간호대학생의 환자안전 역량에 영향을 미치는 요인 (Factors affecting nursing students' patient safety competencies)

  • 민들레;곽은주;박승미
    • 한국간호교육학회지
    • /
    • 제28권3호
    • /
    • pp.259-267
    • /
    • 2022
  • Purpose: The purpose of this study is to identify nursing students' level of critical thinking disposition, communication skills, and self-leadership and to identify factors that affect the patient safety competency of nursing students. Methods: This study employs a descriptive research, method and was conducted from April 20 to May 19, 2022, with students from three nursing colleges in Korea. The collected data were analyzed by frequency and percentage, independent t-test, Pearson's correlation coefficients, and multiple regression. All analyzes were conducted using IBM SPSS 22.0. Results: The results of the multiple regression analysis showed that the regression model was significant (F=17.30, p<.001) and that communication skills (β=.22, p=.001), self-leadership (β=.31, p<.001), patient safety education experience (β=.15, p=.009), and subjects for credit (β=.15, p=.006) explained 28.0% of nursing students' patient safety competency. Conclusion: It is necessary to develop a self-leadership and communication skills improvement program and to organize rgular courses safety education subjects to improve the patient safety competency of nursing students.

Rapid Detection Methods for Agro-Food Safety

  • Kim, Gi-Young
    • 한국환경농학회:학술대회논문집
    • /
    • 한국환경농학회 2009년도 정기총회 및 국제심포지엄
    • /
    • pp.157-168
    • /
    • 2009
  • Frequent outbreaks of foodborne illness have been increasing the awareness of agro-food safety. Conventional methods for pathogen detection and identification are labor.intensive and take days to complete. The increasing use of rapid food safety testing is receiving more and more attention. The major reason for this trend is that the food industry requires quick and accurate results. The rapid detection of contaminants in food is critical for ensuring the safety of consumers. Recent advances in technology make detection and identification faster, more sensitive and more specific than traditional method. In this paper, technology trends and recent developments in rapid methods for agro-food safety are discussed.

  • PDF