• 대한의용생체공학회:의공학회지
• /
• 제44권2호
• /
• pp.99-108
• /
• 2023

According to the COVID-19, development of various medical software based on IoT(Internet of Things) was accelerated. Especially, interest in a central software system that can remotely monitor and control ventilators is increasing to solve problems related to the continuous increase in severe COVID-19 patients. Since medical device software is closely related to human life, this study aims to develop central monitoring system that can remotely monitor and control multiple ventilators in compliance with medical device software development standards and to verify performance of system. In addition, to ensure the safety and reliability of this central monitoring system, this study also specifies risk management requirements that can identify hazardous situations and evaluate potential hazards and confirms the implementation of cybersecurity to protect against potential cyber threats, which can have serious consequences for patient safety. As a result, we obtained medical device software manufacturing certificates from MFDS(Ministry of Food and Drug Safety) through technical documents about performance verification, risk management and cybersecurity application.

• 전기학회논문지P
• /
• 제64권3호
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2007년도 춘계학술대회
• /
• pp.425-435
• /
• 2007

This paper presents various information technologies of software product evaluation such as process for evaluators, process for developers, and process for acquirers. This study also introduces system life cycle processes and its application guide.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2001년도 춘계학술대회
• /
• pp.39-43
• /
• 2001

The existent system of management for Measurement of Safety Cost are not effective because of the data loss and time loss and occurrence of errors through manual calculation. Therefore, tile development of the software for measurement of safety cost can solve the problem through the systematic calculation for safety cost and converting the related data to database, and also can build the strategy of the investment of Safety cost through analysing and comparing with the past data in the database. As a part of development of the software of Measurement of Safety Cost which is appropriate for the domestic environment, this study is developing a software based on Noguji method, which is one of the methods of Measurement of Safety Cost, and to appraise the efficiency of the management of Measurement of Safety Cost we will implement and improve the software in the case of the domestic enterprises.

• 대한안전경영과학회지
• /
• 제3권1호
• /
• pp.1-10
• /
• 2001

The existent system of management for Measurement of Safety Cost are not effective because of the data loss and time loss and occurrence of errors through manual calculation. Therefore, the development of the software for measurement of safety cost can solve the problem through the systematic calculation for safety cost and converting the related data to database, and also can build the strategy of the investment of Safety cost through analysing and comparing with the past data in the database. As a part of development of the software of Measurement of Safety Cost which is appropriate for the domestic environment, this study is developing a software based on Noguji method, which is one of the methods of Measurement of Safety Cost, and to appraise the efficiency of the management of Measurement of Safety Cost we will implement and improve the software in the case of the domestic enterprises.

• 한국항공우주학회지
• /
• 제46권1호
• /
• pp.86-94
• /
• 2018

항공기 시스템에서 소프트웨어의 사용이 증가 추세에 있어 안전 및 보안 위협에 대한 노출이 점차 증대되고 있다. 소프트웨어 안전에 관한 인증기준은 DO-178C가 발표되었으나, 소프트웨어 보안을 위한 인증기준은 포함되어 있지 않다. 한편 최근 항공기 및 시스템 감항 보안 인증기준으로 DO-326A, DO-356 및 DO-355가 별도로 발표되었다. 그러나 안전과 보안의 인증을 위해 각각의 기준과 절차를 준수함으로써 별도의 비용과 노력이 요구되는 실정이다. 따라서 본 논문에서는 안전과 보안을 위한 각각의 인증기준을 하나로 통합하여 비용, 노력 및 시간 등을 감소시킬 수 있는 효율적인 통합인증 방안을 제시하고자 한다.

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.687-695
• /
• 2011

지식 정보 기술력 중심의 지식기반 경제 원천인 소프트웨어로 인한 결함은 항공기의 운용에 핵심 역할을 수행하는 엔진에 영향을 준다. 따라서 소프트웨어의 안전성분석을 통해 항공안전을 강화하여 결함으로부터의 위험을 최소화해야 한다. 본 논문에서는 항공기 결함과 소프트웨어 안전성 법 제도를 살펴보고 항공안전을 강화하기 위한 법 제도 개선 및 제정 방안을 제안한다. 안전성분석과 관련된 용어 정립, 안전성이 포함된 품질인증 기준, 안전성분석서를 첨부해야 하는 품질인증 신청, 평가 및 인증기관 세부지침 개정 등의 항목으로 기존 법 제도를 개선해야 한다. 또한, 소프트웨어 평가 및 인증 의무화, 소프트웨어 생명주기에 다른 지속적 평가, 표준화된 개발방법론 도입 의무화, 고급인력 양성 제도 강화 등의 항목으로 신규 법 제도를 제정해야한다. 소프트웨어 안전성과 관련된 기존 법 제도를 개선하고 신규 법 제도를 제정하여 소프트웨어의 품질 향상과 강화된 항공안전을 기대할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2044-2049
• /
• 2009

Recent advances in computer technology have brought more dependence on software to railway signaling systems. Hence, the safety assurance of the vital software running on the railway signaling system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety. In this paper, we suggested an automated analysis tool for S/W change impact in railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway signaling system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway signaling system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

• 한국철도학회논문집
• /
• 제3권3호
• /
• pp.147-153
• /
• 2000

The train control and monitoring system (TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train system. This system replaces a lot of hard-wired relays and minimizes the necessary vehicle wiring thus increasing the reliability of the train. It is also one of more important equipment on vehicle to implement much higher safety and reliability train system. We studied a software design technique of TCMS using a CASE tool that is a kind of safety critical software engineering tool (SCADE). This tool has mainly four functions such as the graphical editor, the document maker, tile automatically code generator, and the test simulator. The several functions of TCMS are implemented in this software easily programmed using a functional block diagram and a graphic programming language. We applied to automatically generated TCMS modules on the SCADE each functional block for the Standard type EMU in Korea. We performed the combination test using TCMS simulator and the running test in Seoul subway 7 Line. We proved that this technique is more useful for the software design of TCMS in urban transit

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.