• 제목/요약/키워드: software hazard analysis

검색결과 90건 처리시간 0.036초

SysML을 이용한 STPA 기반의 위험원 분석 프로세스 (Hazard Analysis Process Based on STPA Using SysML)

  • 최나연;이병걸
    • 인터넷정보학회논문지
    • /
    • 제20권3호
    • /
    • pp.1-11
    • /
    • 2019
  • 자동차, 원자력, 철도, 항공 등의 분야에서 발생하는 소프트웨어의 고장이나 사고는 바로 큰 재산 피해나 인명 피해로 연결될 수 있다. 이에 체계적이고도 효과적인 안전품질 관리의 필요성이 커지고 있으며, 최근 관련 산업 분야에서는 IEC 61508을 기반으로 안전 국제 표준이 제정되어 산업에 적용되고 있다. 국제 표준에서 명시하고 있는 안전 생명주기에 따르면 소프트웨어 안전성 품질을 확보하기 위해서는 개발 초기 단계에서 위험원 및 위험 분석(Hazard and risk analysis)을 통한 안전 요구사항을 개발하도록 권고하고 있다. 본 논문에서는 소프트웨어의 안전성 요구사항의 식별 및 정의를 위해 SysML을 활용한 STPA 기반의 위험원 분석 프로세스를 제안한다. 세부적으로는 SysML의 BDD과 IBD 다이어그램을 활용하여 기존 STPA 분석에서 활용되고 있는 제어구조도를 보다 명확하게 정의할 수 있도록 개선하였고, SD 다이어그램을 활용하여 안전 제약사항(요구사항)을 상세화할 수 있도록 하였다. 제안 방법의 적용 결과, STPA에서 누락되었던 위험원을 추가적으로 식별할 수 있었고, 위험원의 발생 시나리오도 상세하게 구체화할 수 있었다.

열차 차상 통신용 소프트웨어의 사전 위험원 분석 연구 (Preliminary Hazard Analysis for Communication Software in Train Communication Network)

  • 임현재;차기호;송규연
    • 전기학회논문지
    • /
    • 제66권9호
    • /
    • pp.1379-1384
    • /
    • 2017
  • To guarantee safety and reliability, RAMS(Reliability Availability Maintainability and Safety) activity for a communication software in train communication network is studied. In this paper, preliminary hazard analysis in RAMS activities is studied for the communication software. Preliminary hazard analysis is done through library for communication software that the specification is defined by IEC 61375. The hazards are defined, then causes and consequence for each hazard are defined. The total 36 preliminary hazards are classified. For high severity hazards are changed to acceptable level by upgrading of system requirement specification.

Preliminary Hazard Analysis: Assessment of New Component Interface Module Design for APR1400

  • Olaide, Adebena Oluwasegun;Jung, Jae Cheon;Choi, Moon Jae;Ngbede, Utah Michael
    • 시스템엔지니어링학술지
    • /
    • 제17권1호
    • /
    • pp.21-34
    • /
    • 2021
  • The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.

A Study of Software Hazard Analysis for Safety Critical Function in Military Aircraft

  • Oh, Hung-Jae;Hong, Jin-Pyo
    • 전기전자학회논문지
    • /
    • 제16권2호
    • /
    • pp.145-152
    • /
    • 2012
  • This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

지수형과 로그형 위험함수 학습효과에 근거한 NHPP 소프트웨어 신뢰성장모형에 관한 비교연구 (The Comparative Study of NHPP Software Reliability Model Exponential and Log Shaped Type Hazard Function from the Perspective of Learning Effects)

  • 김희철
    • 디지털산업정보학회논문지
    • /
    • 제8권2호
    • /
    • pp.1-10
    • /
    • 2012
  • In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The finite failure nonhomogeneous Poisson process models presented and the life distribution applied exponential and log shaped type hazard function. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model could be confirmed. This paper, a failure data analysis of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and coefficient of determination.

철도신호시스템 분석을 위한 위험원 분석 techniques 연구 (A study on hazard analysis techniques for railway signalling system)

  • 이창룡;정호형;오세화;윤학선;이기서
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
    • /
    • pp.232-238
    • /
    • 2011
  • Hazard analysis provides the basic foundation for system safety. Hazard analysis is performed to identify hazards, hazard effects, and hazard causal factors. Hazard analysis is used to determine system risk, to determine the significance of hazards, and to establish design measures that will eliminate or mitigate the identified hazards. Hazard analysis is used to systematically examine systems, subsystems, facilities, components, software, personnel, and their interrelationships, with consideration given to logistics, training, maintenance, test, modification, and operational environments. This paper present hazard analysis techniques which is commonly used in railway signalling, comparised their benefits and limitations.

  • PDF

지진파 감쇄식에 대한 민감도 분석 연구 (HAZUS) (Sensitivity Analysis of HAZUS Results Attenuation)

  • 오태석;김준경;강익범;유성화
    • 한국지구물리탐사학회:학술대회논문집
    • /
    • 한국지구물리탐사학회 2006년도 공동학술대회 논문집
    • /
    • pp.247-252
    • /
    • 2006
  • 지진위험평가를 위해 감쇄함수의 민감도를 분석하였으며 FEMA(USA)에 의해 개발된 HAZUS software를 사용하였다. 시나리오 지진은 과거 1978년 홍성지역에서 발생된 피해지진을 감안하여 홍성군지역 내에서 $M_w$ 6.0으로 설정하였으며 연구지역은 충남 보령시를 대상으로 지진피해를 평가하였다. 지진위험평가시 감쇄함수를 3가지로 분류하여 수행한 결과 여러 유형의 건물에서 지진피해에 많은 영향이 있다는 것을 확인할 수 있었다. 따라서 감쇄함수는 지진위험평가에 있어서 매우 중요한 요소라 판단된다.

  • PDF

통합관제실 열차운행제어 시스템의 소프트웨어 위험원 분석 (Hazard Analysis of Train Traffic Control System Software In Integrated Control Centre)

  • 안진;박진영;한찬희;신덕호;이종우
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2005년도 추계학술대회 논문집
    • /
    • pp.982-989
    • /
    • 2005
  • Safety of the Train Control System become more important along with the progress of the computer and the technology of communications in these days. Safety of the Train Traffic Control System needs an accurate analysis of the Hazard to reduce losses of a property and lives. Many of advanced railroad nations already had established safety standards when they set the system even considering scrap of railroad and put a great concern on developing safety system which is getting larger and more complicate. Domestic railroad system has to introduce improved technology and systematically prepare and make a scientific survey to achieve unparalleled reliability and safety as well. In this Study, ITCC CTC System will show the research and the analysis of the hazard to ensure the safety of software.

  • PDF

위험원 분석 결과를 반영한 시스템 안전 요구사항 생성에 관한 연구 (On the Development of Systems Safety Requirements Using Hazard Analysis Results)

  • 김재철;이재천
    • 대한안전경영과학회지
    • /
    • 제13권4호
    • /
    • pp.9-16
    • /
    • 2011
  • Modern systems become more complex and the demand for systems safety goes up sharply. Thus, the proper handling of the safety requirements in the systems design is getting greatly increased attention these days. Hazard analysis has been one of the active areas of research in connection with systems safety. In this paper, we study a subject on how the hazard analysis results can be incorporated in the systems design. To this end we set up a goal on how to systematically generate safety requirements that should reflect hazard analysis results and be implemented in the systems design and development. To do so, we first review the process for systems design and suggest the associated Model. Then the process and results of hazard analysis are analyzed and Modeled particularly with emphasis on the safety data. The resulting data Model incorporating both the hazard analysis and system life cycle is used in the generation of safety requirements. Based on the developed data Model, the generation of the requirements, the construction of requirements DB, and the change management later on is demonstrated through the use of a computer-aided software tool.

유해요인조사용 평가 소프트웨어 개발 (Development of Evaluation Softwares for Job Hazard Analysis)

  • 정병용;이종협;김국
    • 대한인간공학회지
    • /
    • 제24권4호
    • /
    • pp.79-83
    • /
    • 2005
  • Efforts to identify jobs or tasks having known risk factors for work-related musculoskeletal disorder can provide the groundwork for changes aimed at risk reduction. An effective identification method is the ergonomic job hazard analysis which breaks a job into its various elements or actions, describes them, measures and quantifies the ergonomics risk factors. Some analytical methods including OWAS, RULA, REBA, and NLE have been used as tools in quantifying the risk factors. But these traditional methods using worksheet or paper are difficult to explain to participants for performing the job hazard analysis in the field, and take a long time. We develop some software tools to implement the analytical methods using EXCEL programs or computer program. These tools developed in this study are faster and easier to perform the ergonomic job analysis than the traditional methods using worksheet.