• 제목/요약/키워드: Safety case

검색결과 5,986건 처리시간 0.038초

CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구 (CodeAnt : Code Slicing Tool for Effective Software Verification)

  • 박민규;김동우;최윤자
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제4권1호
    • /
    • pp.1-8
    • /
    • 2015
  • 고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다.

철도안전정보 지원시스템의 요구사항 개발을 위한 엔터프라이즈 아키텍처 활용 연구 (A Study on the Enterprise Architecture to Develop the Requirements for Railway Safety Support information Systems)

  • 이병길;이재천
    • 한국철도학회논문집
    • /
    • 제10권6호
    • /
    • pp.751-757
    • /
    • 2007
  • 이 논문은 엔터프라이즈 아키텍처 접근을 기반으로 시스템 수준의 철도안전정보지원시스템의 안전 요소에 대한 요구사항 개발에 관한 내용이다. 모델링은 다음과 같은 절차를 따른다. 첫째로, 요구사항은 EIA-632프로세스를 따른다. 또한 관련 전문가의 도움을 받아 사고기반 시나리오를 개발한다. 개발된 시나리오는 DoDAF모델을 지원하는 CASE 도구의 지원을 받아 구현한다. 이 결과는 시스템관련 종사자의 이해를 돕는다.

한국형 고속전철의 주행조건에 따른 진동특성 분석에 관한 연구 (A Study on the Vibration Characteristics due to the Running Conditions for Korean High Speed Train)

  • 박찬경;한영재;김영국;김석원;최강윤
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2003년도 추계학술대회 논문집(I)
    • /
    • pp.125-130
    • /
    • 2003
  • Korean High Speed Train (KHST) designed to operate at 350km/h has been tested on high speed line in JungBu site since it was developed in 2002. The dynamic performances of railway vehicle are generally stability, safety and ride comfort. The stability performance of KHST was proved that it is stable at 400Km/h through Roller Rig test. The safety and ride comfort need to be predicted the capability of it at 350km/h by the on-line test because KHST is testing at 300km/h up to now. Therefor, in this paper, the safety and ride comfort at 350km/h are predicted the performance using the acceleration results at 300kw/h and these results show that the KHST's dynamic performances are very good. Also, it illustrate the two cases occurred the abnormal vibration of KHST during some on-line tests. The first case is that the variation of vertical acceleration of wheel is analyzed when an abrasion occur on wheel. The second case is that the lateral acceleration of wheel, bogie and body are analyzed when the KHST is unstable at high speed. The occurrences of these special phenomena were due to the some faults of the suspension and braking systems and the faults were improved. In present, it is testing with safety.

  • PDF

Application of Dynamic Probabilistic Safety Assessment Approach for Accident Sequence Precursor Analysis: Case Study for Steam Generator Tube Rupture

  • Lee, Hansul;Kim, Taewan;Heo, Gyunyoung
    • Nuclear Engineering and Technology
    • /
    • 제49권2호
    • /
    • pp.306-312
    • /
    • 2017
  • The purpose of this research is to introduce the technical standard of accident sequence precursor (ASP) analysis, and to propose a case study using the dynamic-probabilistic safety assessment (D-PSA) approach. The D-PSA approach can aid in the determination of high-risk/low-frequency accident scenarios from all potential scenarios. It can also be used to investigate the dynamic interaction between the physical state and the actions of the operator in an accident situation for risk quantification. This approach lends significant potential for safety analysis. Furthermore, the D-PSA approach provides a more realistic risk assessment by minimizing assumptions used in the conventional PSA model so-called the static-PSA model, which are relatively static in comparison. We performed risk quantification of a steam generator tube rupture (SGTR) accident using the dynamic event tree (DET) methodology, which is the most widely used methodology in D-PSA. The risk quantification results of D-PSA and S-PSA are compared and evaluated. Suggestions and recommendations for using D-PSA are described in order to provide a technical perspective.

진행성 파괴에 대한 사면안정의 확률론적 해석 (Probabilistic Analyrgis of Slope Stactility for Progressive Failure)

  • 김영수
    • 한국지반공학회지:지반
    • /
    • 제4권2호
    • /
    • pp.5-14
    • /
    • 1988
  • 균질토 사면에서 진행성 파괴에 대한 확를론적 모델이 제시되었다. 파괴면 위의 어떤 절편에 대한 국부적인 Safety Margin은 정규분포차 가정하였다. 파괴면을 따라 존재하는 전단강도의 불확실성은 1차원 Random Field Models로 표현되었다. 이 연구에서는 파괴가 Toe에서 시작되어 사면 정상까지 진행되는 경우만을 고려하였다. 파괴면위의 어느 두 인접 절편의 Safety Margin의 Joint Distribution은 Bivariate Normal로 가정하였다. 활동파괴의 전체적인 파괴확률은 일련의 Conditional events의 급으로 표현되었다. 최종적으로 개발된 절차가 절취사면의 신뢰도를 얻기 위하여 한 예에 적용되었다.

  • PDF

고속철도용 유리애자의 진동 및 파손가능성 분석 (Analysis of Fault Possibility and Vibration of Glass Insulator on High-speed Railway)

  • 김영석;송길목;정진수;김선구;전용주;류영태
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2008년도 제39회 하계학술대회
    • /
    • pp.2044-2045
    • /
    • 2008
  • This paper was studied fault possibility of glass insulator through the proper vibration and field vibration comparison. The proper vibration of 1 cell glass insulator have many frequency band and high amplitude showed in high frequency than low frequency. The field signal amplitude of viaduct and open route were biggest moment pantograph of high-speed rail. From the FFT analysis of viaduct and open route, in the case of positive direction, the strut tube insulator effect by vertical vibration was big, the frequency was 82.5Hz and 105Hz, respectively. However, in the case of negative direction, the vibration did not cause big effect. In comparison with the proper vibration of glass insulator, the resonance was not observed.

  • PDF

국외 NaTech 사례연구를 통한 재난관리 방안 고찰 (Discussions on the Disaster Management for NaTech based on the Foreign Case Studies)

  • 유병태;백종배;고재욱
    • 한국안전학회지
    • /
    • 제31권1호
    • /
    • pp.111-117
    • /
    • 2016
  • Natural disasters can cause major accidents in chemical facilities where they can lead to the release of hazardous materials which in turn can result in fires, explosions or toxic dispersion. Technological disasters triggered by natural disasters are referred to as NaTech(Natural Disaster Triggered Technological Disaster). These trends increase the probability of catastrophic future disasters and the potential for mass human exposure to hazardous materials released during disasters. In the present study, we proposed some methods for effective disaster management by conducting case study of major NaTech. First, establishing information sharing system of chemical accident for stakeholders and improving disaster manuals and standards of central and local government and co-operation support system. Second, activating information service of emergency planning and community right to know. Third, improving the integrated chemical accident database including NaTech accidents.

역사적 건축물 화재위험성 평가를 위한 화재안전속성의 중요도분석 연구 - 낙산사를 중심으로 - (A Study on the Weighting of Fire Safety Attributes for Fire Risk Assessment in Historic Buildings - Focused on NakSansa-)

  • 이지희
    • 한국안전학회지
    • /
    • 제27권3호
    • /
    • pp.189-196
    • /
    • 2012
  • Fire is one of the greatest threats to historical buildings not only to the building's occupants but also to the building's structure and contents. The purpose of this research is to evaluate fire risk in historical buildings in Korea through a series of survey and review. In this research, a multicriteria decision-making approach involving Analytical Hierarchy Process has been designed to determine a weighted index to identify factors and quantify fire risk. Fire risk ranking systems of historical building has been developed in some applications, for example, BOCA, WISCONSIN, FSES and HFRI. According to the such derived fire risk indexing, the Human Activity index showed the highest risk, followed by Historic Buildings, Fire Safety Systems, and then Natural Environmental Causes. Comparison of these factors indicates that the derived risk values differ from case to case. It is proposed that a performance-based design approach should consider the building & occupant characteristics, locations and historical significance, resulting in a more accurate and effective evaluation of fire risk.

RISK-INFORMED REGULATION: HANDLING UNCERTAINTY FOR A RATIONAL MANAGEMENT OF SAFETY

  • Zio, Enrico
    • Nuclear Engineering and Technology
    • /
    • 제40권5호
    • /
    • pp.327-348
    • /
    • 2008
  • A risk-informed regulatory approach implies that risk insights be used as supplement of deterministic information for safety decision-making purposes. In this view, the use of risk assessment techniques is expected to lead to improved safety and a more rational allocation of the limited resources available. On the other hand, it is recognized that uncertainties affect both the deterministic safety analyses and the risk assessments. In order for the risk-informed decision making process to be effective, the adequate representation and treatment of such uncertainties is mandatory. In this paper, the risk-informed regulatory framework is considered under the focus of the uncertainty issue. Traditionally, probability theory has provided the language and mathematics for the representation and treatment of uncertainty. More recently, other mathematical structures have been introduced. In particular, the Dempster-Shafer theory of evidence is here illustrated as a generalized framework encompassing probability theory and possibility theory. The special case of probability theory is only addressed as term of comparison, given that it is a well known subject. On the other hand, the special case of possibility theory is amply illustrated. An example of the combination of probability and possibility for treating the uncertainty in the parameters of an event tree is illustrated.

자동차유리 제조공정에서 발생하는 산업재해의 손실비용 추정 (Cost Estimation of Accidents in Auto-Glass Manufacturing Process)

  • 임현교;이승훈
    • 한국안전학회지
    • /
    • 제26권1호
    • /
    • pp.43-48
    • /
    • 2011
  • Estimation of accident costs would set a sound criterion on which invest judgement for work improvement would be decided. Unfortunately, however, the professional agency and most companies in Korea still adopt the conventional cost estimation method based on Heinrich's theory would not be applicable any more since it was developed about a century ago. This research was carried out to confirm the validity of conventional accident cost estimation method. With 110 accident cases occurred in an autoglass manufacturing plant for last 7 years, post-accident treatment procedure was simplified as a model with several phases, and practical costs were analyzed case by case. The results showed that, as expected, the company should the largest portion of loss due to accidents, and that mean indirect cost were 10.10(${\pm}20.70$) times as much as direct cost estimated by conventional method. Therefore, finally, accident types and items influenced much on accidents costs were analyzed and discussed.