• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.035 seconds

Summative Usability Assessment of Software for Ventilator Central Monitoring System (인공호흡기 중앙감시시스템 소프트웨어의 사용적합성 총괄평가)

  • Ji-Yong Chung;You Rim Kim;Wonseuk Jang
    • Journal of Biomedical Engineering Research
    • /
    • v.44 no.6
    • /
    • pp.363-376
    • /
    • 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.The purpose of this study is to conduct a usability assessment to ensure that ergonomic design has been applied so that the ventilator central monitoring system can improve user satisfaction, efficiency, and safety. The rapid spread of COVID-19, which began in 2019, caused significant damage global medical system. In this situation, the need for a system to monitor multiple patients with ventilators was highlighted as a solution for various problems. Since medical device software is closely related to human life, ensuring their safety and satisfaction is important before their actual deployment in the field. In this study, a total of 21 participants consisting of respiratory staffs conducted usability test according to the use scenarios in the simulated use environment. Nine use scenarios were conducted to derive an average task success rate and opinions on user interface were collected through five-point Likert scale satisfaction evaluation and questionnaire. Participants conducted a total of nine use scenario tasks with an average success rate of 93% and five-point Likert scale satisfaction survey showed a high satisfaction result of 4.7 points on average. Users evaluated that the device would be useful for effectively managing multiple patients with ventilators. However, improvements are required for interfaces associated with task that do not exceed the threshold for task success rate. In addition, even medical devices with sufficient safety and efficiency cannot guarantee absolute safety, so it is suggested to continuously evaluate user feedback even after introducing them to the actual site.

Development of an Verification System for Enhancing BIM Design Base on Usability (활용성을 고려한 BIM 설계 오류 검증시스템 개발)

  • Yang, Dong-Suk
    • Land and Housing Review
    • /
    • v.8 no.1
    • /
    • pp.23-29
    • /
    • 2017
  • The BIM design is expected to expand to the domestic and overseas construction industries, depending on the effect of construction productivity and quality improvement. However, with the obligation of Public Procurement Service to design the BIM design, it includes a design error and the problem of utilization of 3D design by choosing a simple 2D to 3D remodelling method that can not be modelled in 3D modeling or use of the construction and maintenance phases. The results reviewed by BIM design results were largely underutilized and were not even performed with the verification of the error. In order to resolve this, one must develop the check system that secures the quality of BIM design and ensure that the reliability of BIM results are available. In this study, it is designed to develop a program that can automatically verify the design of the BIM design results such as violation of the rules of the BIM design, design flaws, and improve the usability of the BIM design. In particular, this programs were developed not only to identify programmes that were not commercially available, but also to validate drawings in low-light computer environments. The developed program(LH-BIM) store the information of attribute extracted from the Revit file(ArchiCAD, IFC file included) in the integrated DB. This provides the ability to freely lookup the features and properties of drawings delivered exclusively by the LH-BIM Program without using the Revit tools. By doing so, it was possible to resolve the difficulties of using traditional commercial programs and to ensure that they operate only with traditional PC performance. Further, the results of the various BIM software can be readily validated, which can be solved the conversion process error of IFC in the case of SMC. Additionally, the developed program has the ability to automatically check the error and design criteria of the drawings, as well as the ability to calculate the area estimation. These functions allow businesses to apply simple and easy tasks to operate tasks of BIM modelling. The developed system(LH-BIM) carried out a verification test by reviewing the review of the BIM Design model of the Korea Land & Housing Corporation. It is hoped that the verification system will not only be able to achieve the Quality of BIM design, but also contribute to the expansion of BIM and future construction BIM.

A Study on Automated Fake News Detection Using Verification Articles (검증 자료를 활용한 가짜뉴스 탐지 자동화 연구)

  • Han, Yoon-Jin;Kim, Geun-Hyung
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.12
    • /
    • pp.569-578
    • /
    • 2021
  • Thanks to web development today, we can easily access online news via various media. As much as it is easy to access online news, we often face fake news pretending to be true. As fake news items have become a global problem, fact-checking services are provided domestically, too. However, these are based on expert-based manual detection, and research to provide technologies that automate the detection of fake news is being actively conducted. As for the existing research, detection is made available based on contextual characteristics of an article and the comparison of a title and the main article. However, there is a limit to such an attempt making detection difficult when manipulation precision has become high. Therefore, this study suggests using a verifying article to decide whether a news item is genuine or not to be affected by article manipulation. Also, to improve the precision of fake news detection, the study added a process to summarize a subject article and a verifying article through the summarization model. In order to verify the suggested algorithm, this study conducted verification for summarization method of documents, verification for search method of verification articles, and verification for the precision of fake news detection in the finally suggested algorithm. The algorithm suggested in this study can be helpful to identify the truth of an article before it is applied to media sources and made available online via various media sources.

Proposed Test Method for Verification of Survivability Improvement of KASS Augmented Navigation of a Beam-formed GPS Receiver (빔포밍 GPS 위성항법장치의 KASS 보정항법 생존성 향상을 검증하기 위한 시험평가 방법 제안)

  • Junwoo Jung;Hyunhee Won;Daeyoung Park;Seungmin Kang;Jonggyu Go;Seungbok Kwon;Kwi Woo Park;Bongwoo Jo;Woogeun Ahn;Sung Wook Yun
    • Journal of Positioning, Navigation, and Timing
    • /
    • v.13 no.3
    • /
    • pp.257-268
    • /
    • 2024
  • The Korea Augmentation Satellite System (KASS) satellite was successfully launched and service is being started. By receiving messages transmitted from the KASS satellite, users can employ the messages to improve positioning accuracy or to verify the integrity of Global Positioning System (GPS). In this paper, we propose a test method for a beam-formed GPS receiver developed to improve the survivability of KASS augmented messages that can enhance positioning accuracy even in an environment with jamming or interfering signals. Through the test method proposed in this paper, quantitative verification is performed for a beam-formed GPS receiver aimed at maintaining the augmented navigation solution to which KASS augmented messages are applied by tracking the KASS signal as much as possible under conditions where the jamming signal strength is gradually increasing. In addition, the proposed test method includes three conditions; first, a static lab test method for repeated verification of functions under the same conditions; second, a static outdoor test method for performance verification in an operating environment of a platform equipped with the beam-formed GPS receiver; and finally, a dynamic lab test method for performance verification of a moving platform equipped with the beam-formed GPS receiver toward a jammer. In this paper, we propose a method for simulating the jamming signal incident direction through the phase delay of an RF cable designed to prevent unintentional jamming signal emission in both lab and outdoor tests, and a method of applying test software for injecting a jamming signal to compare the survivability performance consistently according to the presence or absence of beamforming signal processing. Through the proposed test method, it was verified that the augmented navigation solution could be output for a longer time period when the beamforming signal processing was applied to the KASS satellite signal in the beam-formed GPS receiver.

A Study on the AtoN Operational Software Development for the AtoN Management and the Decision Support of its Placement Planning (항로표지 관리 및 배치 의사결정 지원을 위한 항로표지 운용 소프트웨어 개발에 관한 연구)

  • Kim, Ah-Young;Lee, Yeong-Ju;Park, Se-Kil;Oh, Jae-Yong;Kim, Yeon-Gyu
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.20 no.5
    • /
    • pp.543-551
    • /
    • 2014
  • This study has searched to find a program in order to manage simply and practically use the expelled AtoN database from the AtoN Simulator and to support the idea decision for the AtoN placement. It examines a program that manages AtoN database through the hierarchy structure, history card and endowment with condition same as a scenario. And accomplishes this study's goal owing to realizing AtoN operational software that helps for visual, hearing sense, fixed amount verification upon AtoN placement project. The AtoN operational software contributes not only flexible control like a newly establishment, relocation etc, but also supports idea decision for AtoN placement plan through many functions such as condition search, virtual sailing and fixed amount appraisal result exhibition, etc. Through utilization of this, it is to help upon the presupposition of the impact to ship or sailor about many designs and in addition, upon the judgment of whether or not for the efficiency and appropriation of the design. It is expected to reduce possible failure costs and management costs due to AtoN design and placement plans, because to compare more various designs thru the easier verification method.

Development and Verification of Active Vibration Control System for Helicopter (소형민수헬기 능동진동제어시스템 개발)

  • Kim, Nam-Jo;Kwak, Dong-Il;Kang, Woo-Ram;Hwang, Yoo-Sang;Kim, Do-Hyung;Kim, Chan-Dong;Lee, Ki-Jin;So, Hee-Soup
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.50 no.3
    • /
    • pp.181-192
    • /
    • 2022
  • Active vibration control system(AVCS) for helicopter enables to control the vibration generated from the main rotor and has the superb vibration reduction performance with low weight compared passive vibration reduction device. In this paper, FxLMS algorithm-based vibration control software of the light civil helicopter tansmits the control command calculated using the signals of the tachometer and accelerometers to the circular force generator(CFG) is developed and verified. According to the RTCA DO-178C/DO-331, the vibration control software is developed through the model based design technique, and real-time operation performance is evaluated in PILS(processor in-the loop simulation) and HILS(hardware in-the loop simulation) environments. In particular, the reliability of the software is improved through the LDRA-based verification coverage in the PIL environments. In order to AVCS to light civil helicopter(LCH), the dynamic response characteristic model is obtained through the ground/flight tests. AVCS configuration which exhibits the optimal performance is determined using system optimization analysis and flight test and obtain STC certification.

Evaluation method for interoperability of weapon systems applying natural language processing techniques (자연어처리 기법을 적용한 무기체계의 상호운용성 평가방법)

  • Yong-Gyun Kim;Dong-Hyen Lee
    • Journal of The Korean Institute of Defense Technology
    • /
    • v.5 no.3
    • /
    • pp.8-17
    • /
    • 2023
  • The current weapon system is operated as a complex weapon system with various standards and protocols applied, so there is a risk of failure in smooth information exchange during combined and joint operations on the battlefield. The interoperability of weapon systems to carry out precise strikes on key targets through rapid situational judgment between weapon systems is a key element in the conduct of war. Since the Korean military went into service, there has been a need to change the configuration and improve performance of a large number of software and hardware, but there is no verification system for the impact on interoperability, and there are no related test tools and facilities. In addition, during combined and joint training, errors frequently occur during use after arbitrarily changing the detailed operation method and software of the weapon/power support system. Therefore, periodic verification of interoperability between weapon systems is necessary. To solve this problem, rather than having people schedule an evaluation period and conduct the evaluation once, AI should continuously evaluate the interoperability between weapons and power support systems 24 hours a day to advance warfighting capabilities. To solve these problems, To this end, preliminary research was conducted to improve defense interoperability capabilities by applying natural language processing techniques (①Word2Vec model, ②FastText model, ③Swivel model) (using published algorithms and source code). Based on the results of this experiment, we would like to present a methodology (automated evaluation of interoperability requirements evaluation / level measurement through natural language processing model) to implement an automated defense interoperability evaluation tool without relying on humans.

  • PDF

Development of Performance Evaluation System for a High-speed train (고속열차의 주행 동적성능 평가시스템 개발)

  • Park, Eun-Churn;Kang, Hyung-Goo;Choi, Jun-Sung;Kim, Eun-Sung;Kim, Man-Cheol
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • pp.3226-3236
    • /
    • 2011
  • In this paper, with the background features on which measuring the transverse left-right and up -down vibration of wheel, bogie and body by wireless measurement system, performance evaluation systems which can assess the running behavior of high speed trains based on UIC code 518-OR and evaluate the ride comfort of them based on ISO code 2631 and UIC code 513 were developed. The characteristics of dynamic vibration are generally analyzed by an acceleration of a car body of high speed train and the acceleration can be applied to evaluation of running safety. In this paper, also matching system of distance from tachometer and vibration from accelerometer was programmed in development software, and the SD card embedded system which prevent to loss of data in wireless measurement was mounted on this system. Finally the software perform to analysis with filtering and statistical post-process in the unit sections and zones and focus on developing the capability monitoring in the main control center. For the verification of this system, the running behavior and safety factor were analyzed based on field measured data of the Cheonjun-gunnum-sun turn out point in the new KTX railway.

  • PDF

Design Techniques of Spatial Data Common Component Base on Web (웹 기반 공간데이터 공통 컴포넌트 설계 기법)

  • 정규장
    • Journal of the Korea Society of Computer and Information
    • /
    • v.9 no.1
    • /
    • pp.31-36
    • /
    • 2004
  • As internet technology has rapidly developed, there have been works for the strategic techniques of the geographic information system integration and component that meet the situation of the variable customer requirement in endless change of execute environment. So there needs a design techniques of spatial data common component that can support technology and Query Processing, and so on. In this thesis, design techniques is proposed to support user-friendly interface and query currently available every place to provide these local-based software development technology. This process was evaluated through an verification test with a widely used development methodology The proposed methods is applied for computation and can reduce software development life cycle.

  • PDF

A Web-service Environment for a Model Exchange between CAD and CAE with a XML Neutral Format (XML 중립포맷을 이용한 CAD와 CAE간의 모델 교환 웹서비스 환경 구축)

  • Kim J.U.;Lee S.H.;Chun H.J.
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.06a
    • /
    • pp.1326-1331
    • /
    • 2005
  • A product is designed through the collaboration among engineers in several fields such as design, analysis, and manufacturing. These series of functions are performed repeatedly during the design process. An easy access and exchange of the model data is one of the important elements that help to shorten production development time. Especially, the importance of data exchange between CAD and CAE applications is increasing in the field of verification and estimation of the products. However, information and knowledge of model which is generated by a CAD software cannot be transferred by a function of CAE software, as an exchange of product data between CAD and CAE applications. It causes a delay in design analysis and eventually discourages a designer's effort in improving his design. Therefore, we need to integrate a commercial CAD and CAE applications effectively and to use the same interface on a product model obtained in a distributed environment. This paper shows how to implement a model exchange between CAD and CAE by a web-service and how to provide a communication environment among engineers.

  • PDF