• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.036 seconds

A Study on the Software Supply Chain Security Policy for the Strengthening of Cybersecurity: Based on SBOM Policy Cases (사이버안보 강화를 위한 소프트웨어 공급망 보안 정책 연구: SBOM 정책 추진 사례를 중심으로)

  • Son, Hyo-Hyun;Kim, Dong-Hee;Kim, So-Jeong
    • Journal of Digital Convergence
    • /
    • v.20 no.2
    • /
    • pp.9-20
    • /
    • 2022
  • Supply chain attacks target critical infrastructure, causing large amounts of damage and evolving into a threat to public safety and national security. Accordingly, when establishing cybersecurity strategies and policies, supply chain risk management is specified to enhance security, and the US Biden administration recently issued the Executive Order on Improving the Nation's Cybersecurity, SBOM was mentioned as part of the guidelines for strengthening software supply chain security. If the government mandates SBOM and uses it as a security verification tool for supply chains, it can be affected by the domestic procurement system in the future and can be referenced when establishing a security system for domestic supply chains according to the progress of policy implementation. Accordingly, in this paper, countries that are promoting the SBOM policy as a way to strengthen the security of the software supply chain were selected and analyzed with a focus on related cases. In addition, through comparison and analysis of foreign SBOM policy trends, methods for using domestic SBOM in terms of technology, policy, and law were considered. As the value of using SBOM as a supply chain integrity/transparency verification tool is expected in the future, it is necessary to continuously identify trends in the establishment of international standardization and policy development for SBOM and study the standard format.

Measurement and verification of pipe cutting power using Labview software (Labview 소프트웨어를 활용한 파이프 절단 파워 측정 및 검증)

  • Jang, Tae-ho;Kim, Youngshik;Jang, Tae-soo;Ryu, Bong-Jo
    • Journal of Digital Contents Society
    • /
    • v.18 no.7
    • /
    • pp.1387-1391
    • /
    • 2017
  • Cutting power estimation can be used to select appropriate actuators in the design process of machine tools. Therefore, accurate estimation of cutting power is an important part of the design process. In this study, pipe cutting power is first calculated theoretically using the slotting cutting power equation and then verified experimentally. In this case, a pipe cutting machine is used to cut two pipes made of different materials. Power consumptions in the motor during pipe cutting are measured by using the embedded software, Labview, and NI hardware. The slotting cutting power equation can thus be confirmed easily comparing theoretically calculated cutting powers with experimentally measured cutting powers. The pipe materials used in this study are SUS304 and AL6N01. The specific cutting power of AL6N01 material is proposed through our cutting experiment. As a result, this cutting power can be used to design machining tools for AL6N01 material.

Requirements Trace Table Expansion and How to Normalization (요구사항추적테이블의 확장 및 정규화 방안)

  • Kim, Ju-Young;Rhew, Sung-Yul
    • The KIPS Transactions:PartD
    • /
    • v.16D no.2
    • /
    • pp.201-212
    • /
    • 2009
  • There are various methods to trace output in software development to verify the consistency and completeness of requirements. Existing studies do present the trace meta-model or automated tools, but fail to list specifically traced output or traced items. Also, in regards to trace tables, which contain traced items, existing studies don‘t consider the whole software development process but merely its sub-process. Given this, the present study suggests an extended requirements tracetable that tracks output from the inception of the project through the architectural design phase to the application delivery, following up on the researcher’s previous study on a tracetable that considered only a sub-process of the whole development process. In addition, in order to address the problem of the tracking process becoming complicated with increased tracefields due to an extended trace table, the researcher suggests a method for normalizing a requirements tracetable that can integrate and separate by development process phase. Apply it to theH system development project of a D company, and this study caseverified application possibility of study, confirmed an effect of a chase to easily find out an error of requirements. Improve precision of a traceto verify consistency of requirements and completeness through this study, and will minimize failure of a software development.

Implementation of IEEE 802.11n MAC using Design Methodology (통합된 구현 방식을 이용한 IEEE 802.11n MAC의 설계)

  • Chung, Chul-Ho;Lee, Sun-Kee;Jung, Yun-Ho;Kim, Jae-Seok
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.34 no.4B
    • /
    • pp.360-367
    • /
    • 2009
  • In this paper, we propose a design methodology of IEEE 802.11n MAC which aims to achieve the higher throughput of more than 100Mbps in downlink as measured at the MAC-SAP and present the implementation results of MAC using the proposed design methodology. With our proposed methodology, different from the conventional design flow which has the separate codes for the protocol validation, for the network simulation, and for the system implementation, the unified code can be used for the network simulation and the implementation of software and hardware. Our MAC architecture is partitioned into two parts, Upper-layer MAC and Lower-layer MAC, in order to achieve the high efficiency for the new features of IEEE 802.11n standard. They are implemented in software and hardware respectively. The implemented MAC is tested on ARM based FPGA board.

The study of blood glucose level prediction model using ballistocardiogram and artificial intelligence (심탄도와 인공지능을 이용한 혈당수치 예측모델 연구)

  • Choi, Sang-Ki;Park, Cheol-Gu
    • Journal of Digital Convergence
    • /
    • v.19 no.9
    • /
    • pp.257-269
    • /
    • 2021
  • The purpose of this study is to collect biosignal data in a non-invasive and non-restrictive manner using a BCG (Ballistocardiogram) sensor, and utilize artificial intelligence machine learning algorithms in ICT and high-performance computing environments. And it is to present and study a method for developing and validating a data-based blood glucose prediction model. In the blood glucose level prediction model, the input nodes in the MLP architecture are data of heart rate, respiration rate, stroke volume, heart rate variability, SDNN, RMSSD, PNN50, age, and gender, and the hidden layer 7 were used. As a result of the experiment, the average MSE, MAE, and RMSE values of the learning data tested 5 times were 0.5226, 0.6328, and 0.7692, respectively, and the average values of the validation data were 0.5408, 0.6776, and 0.7968, respectively, and the coefficient of determination (R2) was 0.9997. If research to standardize a model for predicting blood sugar levels based on data and to verify data set collection and prediction accuracy continues, it is expected that it can be used for non-invasive blood sugar level management.

A Study on the Development and Validation of Information and Environment Convergence Education Program with MonteCarlo Simulation (몬테카를로 시뮬레이션을 적용한 정보·환경 융합 교육 프로그램 개발 및 타당성 검증 연구)

  • Moon, Woojong;Ko, Seunghwan;Boo, Yongho;Park, Yejin;Kim, Jonghoon
    • Journal of The Korean Association of Information Education
    • /
    • v.26 no.2
    • /
    • pp.121-128
    • /
    • 2022
  • In the 2022 revised curriculum general study released by the Ministry of Education in September 2021, environmental issues are emerging as a socially important topic, with climate and environmental education appearing at the forefront along with software education. In this study, by applying Python Monte Carlo simulation, a program for high school students was developed that combines environmental education and software education emphasized in the 2022 revised curriculum. The developed program verified the validity of the program with Lawshe's Content Validity Ratio for science, environment, and information subject education experts, and the verification results showed that the program meets the development purpose, environment, and information subject achievement standards.

Verification of Flight Control Law Similarity and HILS Environment Reliability for Fighter Aircraft (전투기급 비행제어법칙 상사성 및 HILS 환경 신뢰성 검증)

  • Ahn, Seong-Jun;Kim, Chong-Sup;Cho, In-Je;Lee, Eun-Yong
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.37 no.7
    • /
    • pp.701-708
    • /
    • 2009
  • The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

Configuration Management Using Dependency Analysis of Software Change Visibility (소프트웨어 변경가시성의 의존도분석을 이용한 형상관리)

  • Kim, Kyoung-Hun;Kyung, Tae-Won;Song, Young-Jae
    • Journal of Digital Convergence
    • /
    • v.10 no.1
    • /
    • pp.335-339
    • /
    • 2012
  • Software configuration management is a field of managing sets of large scale software outputs to be the basis of the software products. Configuration management has significantly improved for the past few years, yet new system is still required. Instead of using previous methods or researching about configuration management, professional management of developing project is needed. Therefore, techniques such as storage model for configuration management, management program for change procedure and management of program interface is needed. In this paper, we provide storage for configuration management and implement decision-making system to manage divided program and interface. Thus, we propose a new access method by the configuration management dependency. This paper provides configuration management for developing software to verify and classify using decision-making system for the change and combination of independent components with high dependency.

Virtualized System Development Based on ERC32 Processor for Satellite Simulator (위성 시뮬레이터 개발을 위한 ERC32 프로세서 기반의 가상화 시스템 개발)

  • Choi, Jong-Wook;Shin, Hyun-Kyu;Lee, Jae-Seung;Cheon, Yee-Jin
    • Journal of Satellite, Information and Communications
    • /
    • v.6 no.1
    • /
    • pp.50-56
    • /
    • 2011
  • During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification. SWT/KARI developed the software-based spacecraft simulator based on TSIM-ERC32 processor emulator from Aeroflex Gaisler. But when developing flight software using TSIM-ERC32, there are much limitation for understanding of exact behavior of ERC32 processor, and it is impossible to change or modify the emulator core to develop the satellite simulator. To reslove this problem, this paper presents the development of new cycle-true ERC32 emulator as laysim-erc32 and describes the software development and debugging method on VxWorks/RTEMS RTOS.

Applying rework indicator to control software development project (소프트웨어 개발 프로젝트 제어를 위한 재작업 지표의 적용)

  • Han Hyuk-Soo;Kim Han-Saem
    • The KIPS Transactions:PartD
    • /
    • v.13D no.1 s.104
    • /
    • pp.61-66
    • /
    • 2006
  • It is reported that the success ratio of software development projects has been only 30%. Many causes lower project's chance of success, particularly lack of systematic project management. Especially, moving on the next phase of project with unsatisfactory outputs can be very problematic because it can cause much waste of resource, time and even lead to the failure of the whole project. Peer review and inspection are some of the practices designed to prevent such waste and possible failure. When defects are identified through such progress, each developer has to work on the product component again and fix the problem. This process is called rework. In this paper, we propose a method for improving quality of reworked product component to prevent excessive cost and time consumed caused by moving on the next phase of a project with a problematic product component. More specifically, this paper suggests a rework indicator that measures the level of rework based on its complexity and severity and is used to choose appropriate checking method on reworked product component. The research also confirmed the method's usefulness and effectiveness by applying the suggested method on four projects.