• Journal of Multimedia Information System
• /
• 제2권2호
• /
• pp.241-248
• /
• 2015

The safety-critical software in healthcare systems needs more and more perceptive excess among human observation and computer support. It is a challenging conversion that we are fronting in confirming security in healthcare systems. Held in the center are the patients-the most important receivers of care. Patient injuries and fatalities connected to health information technologies commonly show up in the news, contrasted with tales of how health experts are being provided financial motivation to approve the products that may be generating damage. Those events are unbelievable and terrifying, however they emphasize on a crucial issue and understanding that we have to be more careful for the safety and protection of our patients.

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

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

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.594-601
• /
• 1996

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase [1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2(SDS1,2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AECB). Software verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Output from Wolsong 2, 3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.

• 중소기업융합학회논문지
• /
• 제3권1호
• /
• pp.31-41
• /
• 2013

치명적인 사고를 막기 위해 드라이버 졸음 (DD)를 검출하는 다양한 최근 방법이 제안되고있다. 본 논문은 운전자의 눈에 폐쇄 속도를 모니터링 할 수 있는 기능을 AdaBoost 기반 물체 검출 알고리즘에 적용한 DD 탐지 시스템 구현에서 하드웨어/소프트웨어 공동 설계 방법을 제안한다. 소프트웨어 구성 요소는 DD 검출 알고리즘 중에서 필요한 기능성을 완전하게 달성하기 위해 전체적인 제어 및 논리 연산을 구현한다. 반면, 본 연구에서는 DD 검출 알고리즘의 중요한 기능은 처리를 가속화하기 위해 맞춤형 하드웨어 구성 요소를 통해 가속된다. 하드웨어/소프트웨어 아키텍처는 비디오 도터 보드와 알테라 DE2 보드에 구현되었습니다. 제안 된 구현의 성능을 평가하고 몇 가지 최근의 작품을 벤치마킹했다.

• 한국산학기술학회논문지
• /
• 제17권4호
• /
• pp.382-391
• /
• 2016

철도와 같은 안전중시 시스템에 대해 체계적인 안전관리의 필요성이 점차 커지고 있어 IEC 61508, 62278, ISO 26262 등의 안전과 관련된 표준들이 제정되었고, 관련연구가 수행되고 있다. 그중 안전 프로세스의 중요한 활동인 위험원 분석에 대하여 다양한 연구가 수행되어 왔으나, 시스템설계 프로세스와의 구체적인 연계성이 부족하였다. 또한 기존의 위험원 분석방법은 시스템 설계가 상당 수준 진행된 하드웨어 및 소프트웨어 구성품 정보에 의존하기 때문에, 설계 변경에 많은 비용과 일정이 소요된다. 이러한 문제들을 해결하기 위해서 본 논문에서는 시스템 설계초기인 개념설계 단계에서 수행한 기능분석 결과를 안전 프로세스에서 직접적으로 활용하여 위험원을 분석하고 이를 바탕으로 위험을 줄이기 위해 필요한 안전요구사항을 생성하는 방법에 대하여 연구를 수행하였다. 설계 초기에 위험원 분석 및 안전요구사항의 도출을 수행함으로써, 향후 요구사항 변경 등 여러 요인으로 시스템 설계 및 안전 설계의 변경 시에 이를 반영하는데 있어서 시간 및 비용 관점에서 상대적으로 효율적인 접근 방법이 된다. 한편, 사례연구로서 본 논문에서 제시한 방법을 경전철 역사의 안전성을 확보하기 위한 요구사항의 도출에 적용하는 연구를 수행하였다.

• 한국전기전자재료학회논문지
• /
• 제19권12호
• /
• pp.1128-1133
• /
• 2006

The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI (Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the ]measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.1488-1494
• /
• 2006

The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI(Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.

• International Journal of Aeronautical and Space Sciences
• /
• 제15권1호
• /
• pp.44-53
• /
• 2014

A lightning strike to the aircraft seriously affects the aircraft and its components in various ways. As one of the most critical threats to the flight safety of an aircraft, fuel vapour ignition by lightning can occur through various means, notably through hot spot formation on the fuel tank skins. In this study, a coupled thermal-electrical approach using the commercial software ABAQUS is used to study the effects of a lightning strike on aircraft fuel tanks. This approach assumes that the electrical conductivity of a material depends on temperature, and that a temperature rise in a material due to Joule heat generation depends on electrical current. The inter-dependence of thermal and electrical properties-the thermal-electrical coupling-is analyzed by a coupled thermal-electrical analysis module. The analysis elucidates the effects of different material properties and thicknesses of tank skins and identifies the worst case of lightning zones.

• 한국항행학회논문지
• /
• 제25권4호
• /
• pp.273-279
• /
• 2021

무인항공기에 적용되는 비행제어컴퓨터는 safety-critical 구성품으로, 내결함성을 확보함으로써 운용의 신뢰성을 높이기 위해 다중화 구조로 설계되고 있다. 이러한 다중화 구조가 적용된 비행제어컴퓨터는 각각의 독립적인 연산/제어 장치가 동일한 시점에 동일한 작업을 수행할 수 있도록 설계되어야 하며, 이를 위해 각 연산/제어 장치 간의 작업 동기화를 위한 동기화 알고리즘이 포함되어야 한다. 본 논문에서는 무인기에 적용되는 이중화 비행제어컴퓨터간의 동기화를 위한 소프트웨어 설계 방법을 제안한다. 제안하는 동기화 방법은 고장률 감소를 위해 최소의 하드웨어 리소스만을 사용하여 동기화할 수 있도록 설계하였고, 동기화에 사용되는 하드웨어 타이머의 동작 방식을 고려하여 설계함으로써 타이머 동작에 따른 동기화 오차를 최소화 할 수 있도록 설계하였다.