Earticle

본 연구는 커버리지 중심 검증과 속성 중심 검증을 통합하여 반도체 설계 검증의 완전성과 자동화를 동시에 향상시키는 체계적 검증 방법론을 제안하는 것을 목적으로 한다. 이를 위해 IEEE 1800 SystemVerilog 표준과 UVM 프레임워크를 기반으로, 속성 정의, 스티뮬러스 생성, 정확성 판정, 구현의 네 영역으로 구성된 속성 정의 항목을 설계하고 통합 검증 체계의 구조를 분석하였다. 연구 결과, 제안된 속성 정의 항목에서 Cover Point가 속 성 중심 검증과 커버리지 중심 검증을 연결하는 핵심 고리 역할을 수행함을 규명하였다. Cover Point는 "이 상황 이 테스트되었는가"를 측정하고, Checking Logic은 "발생한 것이 올바른가"를 판정하여 검증의 완전성과 정확성 을 분리 관리할 수 있음을 제시하였다. 본 연구는 추상적 통합 방법론을 실행 가능한 프레임워크로 구체화하였으 며, 향후 AI 기반 속성 도출 자동화 연구가 필요하다.

This study proposes an integrated verification methodology that combines coverage-driven verification and attribute-driven verification to enhance both completeness and automation in semiconductor design verification. Based on the IEEE 1800 SystemVerilog standard and UVM framework, we designed attribute definition items comprising four domains: attribute definition, stimulus generation, correctness judgment, and implementation. The results demonstrate that Cover Point serves as the critical link connecting attribute-driven and coverage-driven verification. Cover Point measures "whether this situation was tested," while Checking Logic determines "whether what occurred is correct." This research concretizes an abstract integration methodology into an executable framework.

This paper defined design constraints for the compound CVTs (continuously variable trans-missions) by combining power-circulation-mode CVTs and power-split-mode CVTs, which were proposed for connecting 2K-H I-type differential gear to V-belt-type CVU (Continuously Variable Unit). The design constraints are the necessary and sufficient conditions to avoid geometrical interferences among elements in the compound CVTs, and to guarantee smooth assembly between the power-circulation-mode CVT and power-split-mode CVT Two com-pound CVTs were designed and manufactured in accordance with the design constraints. With these compound CVTs, theoretical analysis and performance experiments were conducted. The results showed that the design constraints were valid and effective design method, and that the designed compound CVTs had the improved performance.

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

This is the second of two companion papers concerned with the analysis and design of a pneumatic vibration isolation system. The properties of the system are clarified by observation of the transmissibility surface calculated by the models and algorithm developed in the first paper of this research. It Is shown that the nonlinear model proposed in this research is more closer to experimental results than the linear model that have been used in previous studies. The design optimization of the major design variables that affect the performance of the system is achieved by using the condition for attenuation, disturbance rejection and maximum damping in resonance peak. The design space search method is adopted for the optimization of the orifice area. The models, transmissibility calculation algorithms and design optimization techniques developed in this research are shown to be greatly helpful to the optimal design of the pneumatic vibration isolation system by experiment.

본 연구는 게이미피케이션이 적용된 VR 콘텐츠를 통해 협력적 사고와 의사소통 능력 향상에 대한 효과성 분석이 목적이다. 실험을 위해 게이미피케이션을 적용한 Forum VR을 설계하고, 설문도구를 통해 효과를 검증했다. 실험은 초등학생 63명이 Forum VR을 플레이 하고 난 뒤에 응답했다. 설문 분석 결과 Forum VR은 초등학생의 협동정신과 의사소통 능력 함양에 긍정적인 효과가 있는 것으로 나타났다. 본 연구결과를 바탕으로 교육현장에 VR 콘텐츠를 확산시키기 위한 제도적, 기술적 방안과 다양한 교육 주제와 VR 콘텐츠의 연결을 위해 교과목 특성에 따른 차별화 방안이 연구되어야 한다.

The purpose of this study is to analyze the effectiveness of cooperative thinking and communication ability through gamified VR contents. For the experiment, we designed the Forum VR content using gamification approach and validated its effectiveness with a survey tool. The experiment was answered after 63 elementary school students played the Forum VR content. According to the survey results, Forum VR content has positive effects on the development of collaborative spirit and communication skills of elementary school students. Based on the results of this study, it is necessary to study the systematic and technical measures to spread VR contents at educational sites, and to differentiate them according to the characteristics of the curriculum for connecting various educational topics and VR contents.

현재까지 개발된 항재밍 위성항법장치는 주로 대형 무반향 챔버 및 필드시험을 통하여 검증하였다. 대형 무반향 챔버를 이용할 경우 노이즈 등 외부환경에 독립적으로 장비를 검증할 수 있는 장점이 있지만 높은 비용과 챔버 시설 가용 문제 등의 단점이 있다. 그리고 필드시험의 경우 실제 재밍환경과 유사하게 시험할 수 있는 장점이 있지만 군용장비의 경우 보안 문제 및 항상 동일한 조건으로 시험을 할 수 없는 단점이 있다. 본 논문에서는 기존 점검 시스템의 단점을 극복할 수 있는 새로운 항재밍 위성항법장치 점검 시스템을 제안하였다. 제안하는 점검시스템은 크게 소형 챔버, 재밍 분배기, 재밍신호 발생기, 위성 모의기로 구성된다. 소형 챔버에는 다수 재밍을 모의하기 위해 다수의 안테나를 내부에 설치하였고, 다수의 재밍 신호를 제어하기 위한 재밍 분배기를 새롭게 설계하였다. 점검 시스템의 자체 성능 시험과 항재밍 위성항법장치와의 연동 시험을 통해 제안한 점검 시스템의 신뢰성을 확인하였다.

These anti-jamming GPS systems are verified using large anechoic chamber or field-test until now. When using a large anechoic chamber, Independent verification from external enviroments like noise is an advantage but high cost and availability of chamber are disadvantages. And in case of field test, verification under real propagation enviroment is an advantage but security problem of military equipments and problem of making same test condition are disadvantages. This paper presents an newly developed anti-jamming GPS test system. This test system mainly consists of small anechoic chamber, jamming divider, jamming signal generator and satellite simulator. The small anechoic chamber is installed many jamming antennas to transmit multi jamming signals and the jamming divider is newly developed to control multi jamming signals. According to self performance test and combined test with Anti-jamming GPS receiver, we verified our system's reliability.

최근 몇 년간 악의적 내부자에 의해 기업의 기밀정보가 유출된 사례들이 급속도로 증가하고 있으며, 이는 기업의 경쟁력 약화와 심지어 기업의 생존을 좌우하고 있음에도 불구하고 내부자에 의한 기밀정보 유출을 대비한 보안대책과 보안기술은 미비한 실정이다. 이에, 본 논문에서는 현재 구축 운영 중인 기업 내부 지향적인 보안 기술들에 대한 특징과 한계들을 분석하여 기업정보 유출 사고 발생 시 그 피해를 최소화하기 위한 통합 로그분석 시스템을 제안한다. 통합 로그분석 시스템은 사전에 분석된 위협 룰에 근거하여 내부 구성원의 기밀정보 유출 가능 행위들을 사전에 탐지하는 시스템으로, 보안 및 업무단위 시스템을 연동하여 사용자의 모든 행위 로그를 수집하는 로그수집 모듈, 룰에 의해 비정상 유출행위를 탐지하며 보안지수를 생성하는 로그분석 모듈, 탐지 결과 보고서를 생성하는 모듈로 구성된다.

The leakage of sensitive information by an insider within the organization becomes a serious threat nowadays. Sometimes, these insider threats are more harmful to an organization than external attack. Companies cannot afford to continue ignoring the potential of insider attacks. The purpose of this study is to design an integrated log analysis system that can detect various types of information leakages. The system uses threat rules generated through risk analysis, and monitors every aspect of the online activities of authorized insider. Not only should system have the ability to identify abnormal behavior, they should also be able to predict and even help to prevent potential risk. The system is composed of three modules, which are log collector, log analyzer and report generator.

본 연구는 연구자의 연구 맥락을 반영한 학술정보 서비스 고도화를 위해 연구 단계와 행동 수준을 핵심 기준으로 하는 이용자 프로파일링 프레임워크를 제안한다. 기존 학술정보 서비스는 정적 프로필과 단순 행동 데이터에 의존하여 연구자의 실제 정보 요구와 연구 과정 단계를 반영하기 어렵다는 한계가 있다. 이를 보완하기 위해 본 프레임워크는 정적 정보, 동적 탐색 정보, 의미 기반 속성, 연구 단계, 행동 수준을 통합한 다차원 프로파일 구조를 설계하였다. 또한 임베딩·지식그래프·토픽 모델링 기반의 의미 분석 계층을 통해 논문·특허·보고서 등 이기종 학술정보를 의미적으로 연결하고, 연구 단계와 행동 수준에 따라 차별화된 추천을 제공하도록 구성하였다. 타당성 검증을 위해 문헌정보학, 학술정보 플랫폼, AI 개발 전문가로 구성된 3인의 패널 평가를 실시한 결과, 프레임워크는 이론적 타당성, 구조적 정합성, 실무적 유용성에서 높은 평가를 받았다. 다만 연구 단계 및 행동 수준 판별을 위한 레이블 데이터 확보의 어려움이 주요 고려사항으로 제기되었으며, 이를 위해 규칙 기반 초기 레이블링과 능동 학습 전략을 제안하였다. 본 연구는 연구자 중심의 개인화된 학술정보 서비스의 구현 가능성을 제시하며, 향후 지능형 학술정보 플랫폼 구축의 핵심 기반으로 활용될 수 있다.

This study proposes a user-profiling framework for scholarly information services that integrates research stages, behavior levels, and semantic analysis to overcome the limits of keyword-based systems. The framework unifies static attributes, dynamic behavioral signals, semantic topic representations, and contextual research states to support adaptive, researcher-centered information services. Five core components structure the model: research stage modeling (SE-1), behavior-level classification (SE-2), embedding- and knowledge-graph-based semantic analysis (SE-3), log-driven dynamic profiling (SE-4), and a modular architecture for interoperability (SE-5). Structural validation confirmed that the framework satisfies ten requirements derived from prior studies, including semantic linkage, quality filtering, adaptive interfaces, and predictive recommendations. Expert evaluation by three specialists yielded an average score of 4.6 out of 5, highlighting strong theoretical grounding and practical usefulness. The main challenge identified was the scarcity of labeled data for inferring contextual user states. To address this, heuristic bootstrapping and active-learning strategies are proposed.

항공전자시스템을 개발하는 과정에서 개별 구성품의 기능 및 연동 검증을 위한 통합시험환경(SIL; system integration laboratory)을 구성한다. 이러한 SIL의 구성품 개별 검증 및 시스템 통합 시 각 탑재장비의 기능 및 연동을 모의하는 SIL 모델을 개발하여 이용한다. SIL 모델은 실 장비와 연동되기 전 연동통제문서(ICD; interface control document)에 정의된 모든 데이터에 대해 선 검증되어야하며 ICD 변경 혹은 기능 변경 발생 시에도 재 검증되어야한다. 하지만 SIL모델의 검증의 수동 수행 시 개별 SIL모델의 검증에도 상당한 시간이 소요된다. 이러한 시간상의 문제로 ICD 변경이나 일부 기능 변경 시에는 SIL 모델의 영향성을 판단하여 선택적 회귀시험이 이루어지곤 한다. 본 논문에서는 이러한 SIL 모델의 검증에 소요되는 시간을 최소화하여 회귀시험 수행 시 모든 시험항목의 검증이 가능하도록 SIL 모델 검증 자동화 방안을 설계하고 설계에 따른 SIL 모델 검증 자동화도구를 개발하여 SIL 모델 검증자동화 설계의 유용성을 검증하였다.

In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

최근 군용장비의 첨단화가 가속됨에 따라 장비의 성능을 실시간으로 검증하는 점검장비 역할이 중요해지고 있다. 대부분 점검장비가 개발 편의성, 개발기간 등을 고려해서 윈도우 기반으로 개발되었다. 하지만 윈도우 기반 점검장비가 실시간성을 제공하지 않아 이기종간의 데이터 통신에 대한 주기를 만족해주지 못하는 단점이 있으며, 이러한 문제를 해결하기 위해 고가의 상용 솔루션을 이용하여 윈도우 기반의 점검장비에 실시간성을 보장해주고 있다. 본 논문에서는 고가의 상용 솔루션을 대체하는 실시간 이식 커널인 RTiK-MP를 기반으로 하는 실시간 점검장비 소프트웨어를 설계하는 방법을 제시하며, 성능을 검증하기 위해 고속으로 통신하는 유도탄과 연동시험을 통해서 실시간성과 데이터 정확성을 측정하고 이를 검증하였다.

As the recent advancement of military equipment has been accelerated, it is becoming more important to act as an inspection device that verifies the performance of equipment in real time. Most of the inspection equipments were developed on the Windows OS based system. considering development convenience and development period. However, sice the data communication between these models occurs asynchronously, there is a problem that it is difficult to guarantee real-time performance of the window-based inspection equiment. To solve these problems, we use real-time commercial solutions to guarantee the real-time performance of Windows-based inspection equipment. In this paper, we propose a method of designing and implementing the inspection equipment software based on Real-Time implanted Kernel-Multi Processor (RTiK-MP) operating in Windows environment. In addition, real-time performance data accuracy was measured through a high-speed communication tool and interlocking test to verify the performance of the inspection device based on the real-time porting kernel.

드론 배송 서비스의 상용화가 본격화됨에 따라, 운용의 안전성과 신뢰성 확보가 핵심 과제로 부상하고 있다. 본 연구는 드론 비행 고도에 따라 '이착륙 경로', '배송로', '하이웨이'로 구분된 3단계 회랑 (corridor) 모델을 정의하고, graphical user interface (GUI) 기반 경로 설계 도구를 통해 사용자가 위성 지도 상에서 2D로 생성한 경로를 digital elevation model (DEM) 데이터와 연동하여 3D 경로로 자동 변환하는 직관적인 절차를 수립하였다. 또한 real-time kinematic global positioning system (RTK-GPS) 및 탑재한 드론의 실제 운행 로그 데이터와 LiDAR 측정을 이용해 실제 비행 시험을 수행하고, '회랑 검사기 (corridor tester)'를 활용해 경로 추종 정밀도를 정량적으로 검증하였다. 확인 결과, 드론은 97% 이상의 준수율로 회랑 내에서 안정적으로 비행하였고, 정지 비행 시 고도 및 수평 오차도 매우 낮은 수준으로 유지됨을 검증하였다. 본 연구는 드론 배송 경로 설계와 검증의 표준화를 통해 서비스의 신뢰성과 산업적 확장 가능성 확보에 기여할 수 있음을 보여준다.

As drone delivery services move toward full-scale commercialization, ensuring operational safety and reliability has become a critical challenge. This study defines a three-tier corridor model based on flight altitude, categorized into 'take-off/landing routes,' 'delivery routes,' and 'highways,' and establishes an intuitive procedure through a graphical user interface (GUI)-based route design tool that automatically converts 2D routes created by the user on satellite maps into 3D routes by linking with digital elevation model (DEM) data. Furthermore, actual flight tests were conducted using actual flight log data from drones equipped with real-time kinematic global positioning system (RTK-GPS) and LiDAR measurements, and the 'Corridor Tester' was utilized to quantitatively verify route tracking accuracy. A corridor compliance rate above 97% was achieved during stable flight, and hovering altitude and horizontal errors remained very low. This study demonstrates that the standardization of route design and verification contributes to improving the reliability of drone delivery services and enables future industrial scalability.

본 연구는 파주시 장단삼백(長端三白) 사례를 중심으로 지역 농특산물 기록유산의 디지털 보존 체계 구축 방안을 모색하였다. 이를 위해 파주쌀, 장단콩, 개성인삼과 관련된 고문헌, 지리지, 근대 신문기사, 연구보고서, 단행본, 학술논문 등을 조사·분석하고, 파주문화원, 파주시 중앙도서관, 경기도 메모리, 경기도 사이버도서관 등 관련 기관의 기록관리 및 서비스 현황을 살펴보았다. 분석 결과, 관련 자료는 여러 기관과 시스템에 분산되어 있으며, 표준화된 메타데이터와 통합 검색 구조, 원문 디지털화, 장기보존 체계가 충분히 마련되어 있지 않아 통합적 보존과 활용에 한계가 있는 것으로 나타났다. 이에 파주시 농특산물 기록유산의 디지털 보존 대상자료를 유형별·주제별로 체계화하고, DC·MODS·EAD를 결합한 파주형 복합 메타데이터 스키마를 제안하였다. 또한 OAIS 참조 모형에 기반한 장기보존 구조와 유관 기관 간 논리적 연계 전략을 제시함으로써 지역 농특산물 기록유산의 체계적 보존과 활용을 위한 참고 모형을 제시하였다.

This study explores ways to build a digital preservation system for documentary heritage related to regional agricultural specialty products, focusing on the case of Jangdan Sambaek in Paju. To this end, it examines historical documents, geographical records, modern newspaper articles, research reports, monographs, and academic papers related to Paju rice, Jangdan soybeans, and Gaeseong ginseng, while also reviewing the current status of records management and services provided by relevant institutions, including the Paju Cultural Center, Paju Central Library, Gyeonggi Memory, and the Gyeonggi Cyber Library. The analysis shows that related materials are dispersed across multiple institutions and systems, while standardized metadata, integrated search structures, digitization of original materials, and long-term preservation systems remain insufficient, thereby limiting their integrated preservation and use. In response, this study systematizes the target materials for digital preservation of Paju's agricultural specialty documentary heritage by type and subject, and proposes a Paju-specific hybrid metadata schema combining DC, MODS, and EAD. It also presents a long-term preservation structure based on the OAIS reference model and a logical inter-institutional linkage strategy, thereby offering a reference model for the systematic preservation and use of documentary heritage related to regional agricultural specialty products.

태양과 지구 간 공간인 행성 간 공간 (Interplanetary space)은 태양표면에서 발생되는 X선, 플레어, 코로나 물질 등이 태양풍에 의해 지구로 이동되는 공간으로, 태양에서부터 초음속의 태양풍이 불고 있다. 이러한 태양풍은 지구 자기권 및 이온층에 직접적인 영향을 미치며, 이로 인해 방송통신 장애, 위성운용 장애, 전력선 장애 등을 야기 시키게 된다. 이러한 행성 간 공간의 태양풍 흐름은 태양풍 배경이 되는 전파원이 태양풍을 통과하면서 발생하는 신틸레이션 값을 측정함으로써 태양풍 속도, 밀도 및 방향으로 관측된다. 태양풍 관측 정확도 및 정밀도는 유효집광 면적이 넓을수록 그리고 태양 배경 관측 소스 수가 많을수록 높아진다. 본 논문에서의 성능 검증은 시제품으로 제작한 3개의 타일을 이용하였으며, 관측 타일 수량의 제한으로 관측된 빔 패턴이 요구사항을 만족하는지 여부를 검증하는 시험을 수행하였다. 본 논문은 행성 간 공간에서 이동하는 태양풍 관측을 위해 디지털 데이터 처리 기능을 갖는 태양풍 지상 관측 시스템 설계 및 규격을 제시하고 또한 설계 시 제기된 기술적 이슈와 해결방안을 제시하고 있다. 아울러 제시된 규격에 따라 제작된 시제품을 이용하여 태양풍을 관측할 수 있는 성능이 구현되었는지에 대한 검증을 수행한 결과를 제시하고 있다. 시제품으로 제작한 3개의 타일을 이용하여 수행된 성능시험 결과 관측된 빔 패턴이 요구사항을 만족하고 있어 태양풍 관측이 수행될 수 있음을 확인하였다.

Interplanetary space between Sun and Earth is area of flowing very fast solar wind which is contained X ray, flare, corona mass, etc. occurred Sun surface to Earth. This solar wind is affected directly to Earth magnetosphere and ionosphere so that this bring out broadcasting and communication interruptions, satellite operation obstacles and power gird defects and etc..Solar wind flow in interplanetary space is measured as solar wind speed, density and direction by measuring scintillation value to be produced during radio source is passed through solar wind. The wider effective collective areas and the more radio sources, accuracy of solar wind measuring is got higher. Function test was performed using 3 tiles which was manufactured as prototype. Restriction of quantity of tiles, test was performed to confirm whether measured beam pattern is complied with requirement or not. In this paper, it is shown design and their specification of ground interplanetary radio measurement system as well as technical issues and resolutions which were raised during design phase. Also result of function verification test using prototype is suggested. It is confirmed that measured beam pattern was met with requirement.

본 논문은 SBOM(Software Bill of Materials)과 실존 취약점 정보를 연계하여 의료기기 소프트웨어의 보안성을 사전에 점검할 수 있는 시뮬레이터 시스템의 설계 및 구현 방안을 제안한다. 제안된 시스템은 사용자가 등록한 소프트웨어 자산을 기반으로 SBOM을 생성하고, 이를 CVE, CWE, NVD, GitHub Advisory 등과 같은 공개 취약점 데이터와 연계하여 보안 취약점을 자동으로 식별한다. 이후 CWE 유형을 기반으로 위협 시나리오를 도출하고, CVSS 점수를 활용한 정량적 위험도 평가를 수행한다. 평가 결과는 보안 요구사항 체크리스트와 연결되어 시각화되며 최종 리포트로 출력된다. 이를 통해 의료기기 개발자는 제품 설계 단계에서 구조화된 보안 검토를 사전에 수행할 수 있으며, 인허가 문서 작성에도 활용 가능하다. 본 연구는 실존 취약점 기반의 자동 분석 흐름을 구조화함으로써, 의료기기 보안성 내재화를 실질적으로 지원하는 평가 도구의 가능성을 설계하였다.

This paper proposes the design and implementation of a simulator system that enables pre-verification of medical device software security by integrating SBOM (Software Bill of Materials) with real-world vulnerability data. The proposed system generates an SBOM from user-registered software assets and automatically identifies vulnerabilities by linking with public sources such as CVE, CWE, NVD, and GitHub Advisory databases. It then derives threat scenarios based on CWE types and performs quantitative risk assessment using CVSS scores. The results are connected to a security checklist, visualized, and exported as a final report. This approach allows medical device developers to conduct structured security reviews in the early design phase and supports regulatory documentation preparation. The study demonstrates the potential of an automated analysis framework based on actual vulnerabilities to support embedded cybersecurity in medical devices.

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

최근 국방 기술이 발달함에 따라 다양한 항공기 무장/장착물이 국내에서 개발되고 있다. 그 중에서 항공기 발사용 순항 유도무기(유도탄)는 다양한 시험을 통해서 신뢰성 및 안전성을 확보한 후 항공기에 장착할 수 있다. 항공기로부터 분리된 유도탄은 항공기와 충돌을 회피하기 위해서 지정된 시간에 날개의 구속을 해제하고, 지정된 방향으로 날개를 제어해야한다. 이를 확인하기 위해서 안전 분리 절차에 따라 MIL-STD-1760 신호를 제어하고, 구속해제 성능을 검증할 수 있는 점검 시스템이 필요하다. 특히, 점검 시스템은 구속해제를 위한 파이로 회로를 점검하는 기능과 MIL-STD-1760 신호를 제어해서 구동 성능을 점검하는 기능이 필요하다. 또한, 항공기로부터 분리된 환경을 유도탄에 모의할 수 있어야한다. 본 논문은 지상에서 유도탄에 장착된 파이로 회로 및 구동 성능을 안전 분리 절차에 따라 검증할 수 있는 점검 시스템을 제시하였고, 비행시험을 통해서 항공기로부터 정상적으로 분리되는 것을 확인할 수 있었다.

With the recent development of defense technology, various aircraft armaments/equipments are being developed. Among them, cruise guided weapons(missile) for launching aircraft can be installed on aircraft aftersecuring reliability and safety through varioustests. In order to avoid collision with aircraft, missile separated from aircraft must release restraint of wing at the specified time, control wing in the specified direction. In order to confirm this, a test system that can control MIL-STD-1760 according to safety separation procedure and verify release performance is required. test system needs a function to check circuit for release of restraints and a function to check driving performance by controlling MIL-STD-1760. In addition, test system should be simulate environment separated from aircraft. This paper presented a testsystemthat can verify circuit and driving performance mounted on missile according to the safety separation procedure, and it was confirmed that it was normally separated from aircraft through flight tests.

연구목적: 화학물질 취급, 사용 등의 플랜트 및 사업장 설계 시 국내 안전관리 관련 법령을 준수하여 설 계가 이루어졌는지 자동으로 판단할 수 있는 체계를 마련하여 검토 시간의 단축과 정확성을 높이고자 한다. 연구방법: 화학물질 취급, 사용 사업장에 대한 안전 설계 기준을 조사하고, 조문을 의미단위로 구 분하여 자동으로 설계오류를 판단할 수 있는 유형과 체계를 도출하였다. 연구결과: 건물 설계 시 수행하 던 자동 설계 검토 방법을 화학물질 취급 사업장을 설계 시 요구되는 안전설계 사항을 Rule Checker 개 발을 통해 검토할 수 있는 체계를 제안하였다. 법 적용 대상 여부의 확인 후 전처리를 통해 의미단위로 안전설계 Rule을 구분한다. 구분된 결과는 4가지 유형으로 분류할 수 있고, 특정 장치 및 설비에 대한 사 양, 공간, 조건, 상황에 대한 부분과 안전성을 강화하기위한 특정 장치 및 설비에 대한 사항이 대표적인 유형으로 분석되었다. 각각의 안전설계 Rule에 대한 Diagram을 작성하고, 이를 Rule checker 프로그램 을 통해 검토할 수 있도록 하는 체계를 제안한다.

Purpose: When designing plants and workplaces such as handling and using chemicals, a system that can automatically determine whether the design has been made in compliance with domestic safety management laws is established to shorten the review time and increase accuracy. Method: Safety design standards for chemical handling and use workplaces were investigated, and types and systems were derived that could automatically judge design errors by dividing the articles into semantic units. Result: An automatic design review method performed when designing a building was proposed, and a system that can review the safety design requirements required when designing a chemical handling business site through the development of a rule checker was proposed. After confirming whether the law is subject to application, the safety design rules are classified into semantic units through preprocessing. The classified results can be classified into four types, and the specifications, space, conditions, situations, and specific devices and facilities to reinforce safety were analyzed as representative types. It proposes a system that prepares a diagram for the safety design rule and allows it to be reviewed through the rule checker program.

Recently, as interest in safe food and ingredient content has increased, the demand for highly concentrated health functional food that can be manufactured at home is increasing. Accordingly, in this study, we developed a galenic maker that can increase the extraction efficiency of herbal medicine(ginseng) ingredients and shorten the manufacturing time. After verifying the safety of the designed components through structural analysis and thermal flow analysis, the dimensions and shape of the galenic maker were determined. A prototype was produced based on the design process and the performance of the product was verified through extraction efficiency and ingredient analysis.