• 정보화연구
• /
• 제9권4호
• /
• pp.443-453
• /
• 2012

다양한 분야의 시스템들은 시스템 오류에 인한 피해의 최소화를 목적으로 안전필수 특성을 가지도록 요구된다. 본 논문에서, 안전필수 시스템으로 많이 연구되는 사이버물리시스템이 그 특성을 가지기위해 고려해야하는 이슈와 주요 요소인 시간을 기반으로 모델 지향 아키텍처에 대하여 논의한다. 메타모델링 접근 방식으로 마감시간, 전환상태와 기준치에 연결하여 시간 기반 아키텍처를 제시하고, 이를 모델지향 아키텍처를 이용하여 설계한다. 메타모델로부터 생성된 안전처리 모델과 함께 오류처리 컴포넌트를 사용하여 사이버 물리 시스템 및 시간기반 도메인에 적용 가능한 안전필수 아키텍처를 제시한다. 그리고 안전필수 시스템 설계 시 기본적 안전처리 상태, 다중적 상태, 복합적 상태를 통하여 세부적인 모델과 그 사례를 나타내었다.

• 한국멀티미디어학회논문지
• /
• 제15권1호
• /
• pp.115-130
• /
• 2012

오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.987-992
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.

• 한국항행학회논문지
• /
• 제19권2호
• /
• pp.91-97
• /
• 2015

이 논문은 항공 분야에서의 안전필수 소프트웨어를 평가하기 위한 고려사항을 기술한다. 항공 분야에서의 안전필수 소프트웨어의 평가를 수행하기 위해서는 해당 소프트웨어의 평가 수준에 대한 정보가 필요하다. 그 수준은 표준에 명시되어 있으나 소프트웨어 자체적으로 결정되는 요소가 아니며 시스템 안전 평가 결과 및 시스템 설계 결과에 의존적이다. 그러므로 소프트웨어 평가수준을 결정하기 위해 시스템 개발 및 시스템 안전 평가 표준에서 필요로 하는 정보에 대해 설명한다. 그리고 소프트웨어를 평가하기 위한 기존의 방법론들을 조사하고 항공기 지상 유도 및 통제 시스템 소프트웨어의 평가에 적용할 방법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.271-273
• /
• 2003

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

• Nuclear Engineering and Technology
• /
• 제33권6호
• /
• pp.596-604
• /
• 2001

This paper quantitatively presents the effects of important factors of the probabilistic safety assessment (PSA) of safety-critical digital systems. The result which is quantified using fault tree analysis methodology shows that these factors remarkably affect the system safety. In this paper we list the factors which should be represented by the model for PSA. Based on the PSA experience, we select three important factors which are expected to dominate the system unavailability. They are the avoidance of common cause failure, the coverage of fault tolerant mechanisms and software failure probability. We Quantitatively demonstrate the effect of these three factors. The broader usage of digital equipment in nuclear power plants gives rise to the safety problems. Even though conventional PSA methods are immature for applying to microprocessor-based digital systems, practical needs force us to apply it because the result of PSA plays an important role in proving the safety of a designed system. We expect the analysis result to provide valuable feedback to the designers of digital safety- critical systems.

• 전기전자학회논문지
• /
• 제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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.201-203
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and suggests software development methodology for more detail description.

• 한국항행학회논문지
• /
• 제21권1호
• /
• pp.50-57
• /
• 2017

최근 국내에서 추진된 항공 관련 안전필수시스템 기술 개발 사업들이 중도에 종료되거나 최종 단계에서 실용화되지 못하는 사례가 종종 발생했다. 사업실패의 원인은 여러 가지 요인이 있겠지만 본 연구에서는 불완전한 시험평가 절차에 주안점을 두고 관련 연구를 수행하였다. 일반적으로 안전필수시스템의 시험평가 프로세스는 시스템의 전 수명주기에 걸쳐 분포되고 단계별 연속성을 가져야 하며 시스템 설계 및 획득 전략의 성숙도에 따라 다양한 방법으로 실행될 수 있다. 본 논문의 목적은 국내 안전필수 항행시스템 개발 사업의 리스크를 줄이고 성공률을 높이기 위한 방안으로 국내외 시험평가 프로세스를 분석하여 새로운 전략을 제시하는 것이다. 먼저 안전필수시스템에 대한 검증 및 확인 기법에 대해 토의하고 선진기관의 시험평가 프로세스 및 절차와 국내 현황을 분석한 뒤 국내외 시험평가 프로세스를 비교함으로써 불완전한 시험평가 절차에 대한 보완책을 제시하였다.

• 대한수의학회지
• /
• 제61권3호
• /
• pp.20.1-20.9
• /
• 2021

This study is to develop a new scoring system for rating Hazard analysis and critical control points prerequisite evaluation items for meat shops to provide a more objective and accurate evaluation of food safety compliance. The importance of each item was measured by looking at the hazard severity level and the rate of non-compliance associated with it. It was found that the new scoring system is more stringent and gives a clearer picture of compliance with the most critical safety standards, and therefore is expected to have a positive effect on the hygiene and safety of livestock products.