• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2001년도 춘계학술발표회요약집
• /
• pp.104.1-104
• /
• 2001

• Journal of Computing Science and Engineering
• /
• 제10권3호
• /
• pp.75-84
• /
• 2016

Medical cyber-physical systems (MCPS) integrate sensors, actuators, and software to improve patient safety and quality of healthcare. These systems introduce major challenges to safety analysis because the patient's physiology is complex, nonlinear, unobservable, and uncertain. To cope with the challenge that unidentified physiological parameters may exhibit short-term variances in certain clinical scenarios, we propose a novel run-time predictive safety monitoring technique that leverages a maximal model coupled with online training of a computational virtual subject (CVS) set. The proposed monitor predicts safety-critical events at run-time using only clinically available measurements. We apply the technique to a surgical glucose control case study. Evaluation on retrospective real clinical data shows that the algorithm achieves 96% sensitivity with a low average false alarm rate of 0.5 false alarm per surgery.

• International Journal of Aerospace System Engineering
• /
• 제9권1호
• /
• pp.1-15
• /
• 2022

Pyrotechnic initiators provide a source of pyrotechnic energy used to initiate a variety of space mechanisms. Pyrotechnic systems build in electromagnetic environment that may lead to critical or catastrophic hazards. Special precautions are need to prevent a pulse large enough to trigger the initiator from appearing in the pyrotechnic firing circuits at any but the desired time. The EMC verification shall be shown by analysis or test that the pyrotechnic systems meets the requirements of inadvertent activation. The MIL-STD-1576 and two range safeties, AFSPC and CSG, require the safety margin for electromagnetic potential hazards to pyrotechnic systems to a level at least 20 dB below the maximum no-fire power of the EED. The PC23 is equivalent to NASA standard initiator and the 1EPWH100 squib is ESA standard initiator. This paper verifies the two safety margins for electromagnetic potential hazards. The first is verified by analyzing against a RF power. The second is verified by testing against a DC current. The EMC safety margin requirement against RF power has been demonstrated through the electric field coupling analysis in differential mode with 21 dB both PC23 and 1EPWH100, and in common mode with 58 dB for PC23 and 48 dB for 1EPWH100 against the maximum no-fire power of the EED. Also, the EMC safety margin requirement against DC current has been demonstrated through the electrical isolation test for the pyrotechnic firing circuits with greater than 20 dB below the maximum no-fire current of the EED.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제6권9호
• /
• pp.2052-2072
• /
• 2012

Access control is an essential security component in protecting sensitive data and services from unauthorized access to the resources in mission-critical Cyber-Physical Systems (CPSs). CPSs are different from conventional information processing systems in such that they involve interactions between the cyber world and the physical world. Therefore, existing access control models cannot be used directly and even become disabled in an emergency situation. This paper proposes an adaptive Access Control model for Emergences (AC4E) for mission-critical CPSs. The principal aim of AC4E is to control the criticalities in these systems by executing corresponding responsive actions. AC4E not only provides the ability to control access to data and services in normal situations, but also grants the correct set of access privileges, at the correct time, to the correct set of subjects in emergency situations. It can facilitate adaptively responsive actions altering the privileges to specific subjects in a proactive manner without the need for any explicit access requests. A semiformal validation of the AC4E model is presented, with respect to responsiveness, correctness, safety, non-repudiation and concurrency, respectively. Then a case study is given to demonstrate how the AC4E model detects, responds, and controls the emergency events for a typical CPS adaptively in a proactive manner. Eventually, a wide set of simulations and performance comparisons of the proposed AC4E model are presented.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

• 대한임베디드공학회논문지
• /
• 제9권4호
• /
• pp.211-217
• /
• 2014

Cyber-Physical Systems(CPS) that mostly provides safety-critical and mission-critical services requires high reliability, so that system testing is an essential and important process. Hardware-In-the-Loop Simulation(HILS) is one of the extensively used techniques for testing hardware systems. However, most conventional HILS has problems that it is difficult to support a distributed operating environment and to reuse a HILS platform. In this paper, we introduce EcoHILS(ETRI CPS Open Human-Interactive hardware-in-the-Loop Simulator) in order to test CPS effectively. Moreover, feasibility tests and performance tests of EcoHILS are performed to confirm its effectiveness.

• 한국화재소방학회논문지
• /
• 제30권4호
• /
• pp.103-110
• /
• 2016

가스계소화설비의 수요는 매해 증가하고 있으나, 늘어나는 수요에 대비한 시스템의 안전성 및 신뢰성등 소화성능에 필요한 안전대책이 미흡하여 사회적인 문제가 되고 있는 실정이다. 본 연구에서는 이러한 문제점을 해결하기 위하여 가스 소화시스템의 사고발생 원인 중에서 가장 심각한 문제인 소화약제 저장용기에서 발생하는 압력누기는 화재진압의 성패를 좌우하는 중요한 요소로 시급한 대책이 요구되는 문제점로 판단하여 연구를 하였다. 새로 개발한 압력누기감시장치는 화재진압에 중요한 요소인 소화농도와 관련이 있는 저장용기의 약제확보상태와 압력 및 누기, 방출상태 등을 감시하는 장치로 $CO_2$와 HFC-23 시스템에 적용할 수 있도록 개발하였다. 즉, 압력누기감시장치를 가스소화설비에 적용하였을 때 발생할 수 있는 구조적 안전성 분석을 위하여 유체-구조연계해석을 통하여 안전성능을 검증하였다. 해석에 사용한 프로그램으로 전산유체해석은 Mentor Graphics사의 FloEFD 프로그램을 사용하였고, 구조해석 프로그램은 Dassault systems사의 ABAQUS를 사용하였다. 수치해석결과 $CO_2$용의 구조에서는 소성변형이 발생하지 않아 안전성을 확인하였으나 HFC-23용 감시장치에는 소성변형 및 이탈문제가 발생하여 설계수정과 3차례의 수치해석 조건을 수정하여 얻은 데이터를 기본으로 압력누기감시장치의 구조적인 안전성을 확인하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1237-1242
• /
• 2008

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve the safety of electronic hardware, not so much systematic approaches to evaluate the safety of software, especially for the vital software running on board train controllers. In this paper, we propose the guide line of actually applicable software safety assessment in train control systems. And we demonstrate the results of developing a new tool based on web system version for software assessment management.

• 국제초고층학회논문집
• /
• 제10권4호
• /
• pp.251-263
• /
• 2021

Fire safety engineering is a critical specialization to include in the design of a tall building yet is often excluded from the Building Information Model (BIM) and integrated design process. The design of fire safety systems is interdependent with building/structural geometry, HVAC, mechanical, and electrical systems. A BIM is a 3D visual representation that stores data on these kinds of systems. The compatibility between BIM and fire safety design seems obvious yet has received a dearth of attention in structural (fire) engineering literature. The authors herein have reviewed over 40 recent papers on utilizing BIM for fire safety engineering, focusing on contemporary literature to obtain a more up-to-date review of the state-of-the-art. The resulting trends, technologies, research gaps, and methodologies are presented in this paper. Adoption of BIM in fire safety engineering is slow and behind other disciplines which may be improved if research involved more industry partners. For BIM technology to reach its potential, industry manufacturers need to provide high LOD fire BIM objects, fire engineers and researchers need to collaborate on future advancements, and building owners/management need to be educated on how to use the benefits provided.

• Nuclear Engineering and Technology
• /
• 제53권10호
• /
• pp.3319-3326
• /
• 2021

As a form of industrial control systems (ICS), nuclear instrumentation and control (I&C) systems have been digitalized increasingly. This has raised in turn cyber security concerns. Cyber security for ICS is important because cyber-attacks against ICS can cause not only equipment damage and loss of production but also personal and public safety hazards unlike in general IT environments. Numerous risk analyses have been carried out to enhance the safety of ICS and recently, many studies related to the cyber security of ICS are being conducted. Many existing risk analyses and cyber security studies have considered safety and cyber security separately. However, both safety and cyber security perspectives should be considered when analyzing risks for complex and critical ICS facilities such as nuclear power plants (NPPs). In this paper, the STPA-SafeSec methodology is selected to consider both safety and security perspectives when performing a risk analysis for NPPs in order to assess impacts on the safety by cyber-attacks against the digital I&C systems. The STPA-SafeSec methodology was applied to a test-bed system that simulates a condensate water (CD) system in an NPP. The process of the application up to the development of mitigation strategies is described in detail.