• Title/Summary/Keyword: Safety-Critical Software

Search Result 195, Processing Time 0.022 seconds

Fatigue Life and Stress Spectrum of Wing Structure of Aircraft (항공기 주익 구조물의 응력스펙트럼 및 피로수명 추정에 관한 연구)

  • Kang, Ki-Weon;Koh, Seung-Ki;Choi, Dong-Soo;Kim, Tae-Sung
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.34 no.9
    • /
    • pp.1185-1191
    • /
    • 2010
  • Aged aircraft have several cracks as a results of long-term service, and these cracks affect the safety and decrease the rate of operation of the aircraft. To solve these problems, crack propagation analysis should be performed to determine the service life at fatigue critical location(FCL). It is, however, almost impossible to obtain the stress spectrum, which is crucial for crack propagation analysis of the FCLs of wing structure of aged aircraft. In this study, to analyze the fatigue crack propagation behavior at the FCL of an aged aircraft, first finite element analysis is performed for a 3D geometry model of the aircraft wing structure, which is obtained using CATIA based on the paper drawings. Then, the transfer function and stress-spectrum of the FCL are derived using the load factor data and the FEA results. Finally, the crack propagation rates of the FCL are evaluated using the commercial software, NASGRO 6.0.

Development of Simplified DNBR Calculation Algorithm using Model-Based Systems Engineering Methodology

  • Awad, Ibrahim Fathy;Jung, Jae Cheon
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.14 no.2
    • /
    • pp.24-32
    • /
    • 2018
  • System Complexity one of the most common cause failure of the projects, it leads to a lack of understanding about the functions of the system. Hence, the model is developed for communication and furthermore modeling help analysis, design, and understanding of the system. On the other hand, the text-based specification is useful and easy to develop but is difficult to visualize the physical composition, structure, and behaviour or data exchange of the system. Therefore, it is necessary to transform system description into a diagram which clearly depicts the behaviour of the system as well as the interaction between components. According to the International Atomic Energy Agency (IAEA) Safety Glossary, The safety system is a system important to safety, provided to ensure the safe shutdown of the reactor or the residual heat removal from the reactor core, or to limit the consequences of anticipated operational occurrences and design basis accidents. Core Protection Calculator System (CPCS) in Advanced Power Reactor 1400 (APR 1400) Nuclear Power Plant is a safety critical system. CPCS was developed using systems engineering method focusing on Departure from Nuclear Boiling Ratio (DNBR) calculation. Due to the complexity of the system, many diagrams are needed to minimize the risk of ambiguities and lack of understanding. Using Model-Based Systems Engineering (MBSE) software for modeling the DNBR algorithm were used. These diagrams then serve as the baseline of the reverse engineering process and speeding up the development process. In addition, the use of MBSE ensures that any additional information obtained from auxiliary sources can then be input into the system model, ensuring data consistency.

Development of a Multi-disciplinary Video Identification System for Autonomous Driving (자율주행을 위한 융복합 영상 식별 시스템 개발)

  • Sung-Youn Cho;Jeong-Joon Kim
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.24 no.1
    • /
    • pp.65-74
    • /
    • 2024
  • In recent years, image processing technology has played a critical role in the field of autonomous driving. Among them, image recognition technology is essential for the safety and performance of autonomous vehicles. Therefore, this paper aims to develop a hybrid image recognition system to enhance the safety and performance of autonomous vehicles. In this paper, various image recognition technologies are utilized to construct a system that recognizes and tracks objects in the vehicle's surroundings. Machine learning and deep learning algorithms are employed for this purpose, and objects are identified and classified in real-time through image processing and analysis. Furthermore, this study aims to fuse image processing technology with vehicle control systems to improve the safety and performance of autonomous vehicles. To achieve this, the identified object's information is transmitted to the vehicle control system to enable appropriate autonomous driving responses. The developed hybrid image recognition system in this paper is expected to significantly improve the safety and performance of autonomous vehicles. This is expected to accelerate the commercialization of autonomous vehicles.

An Efficient On-the-fly Repairing System of Order Violation Errors for Health Management of Airborne Software (항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템)

  • Kim, Tae-Hyung;Choi, Eu-Teum;Jun, Yong-Kee
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.48 no.10
    • /
    • pp.821-829
    • /
    • 2020
  • Health management system of airborne software repairs runtime errors to provide safety and to reduce cost of maintenance. It is critical to on-the-fly repair order violation errors, because it is difficult to identify them at the development phase. Previous work, called Repairing Atomicity Violations (Repairing-AV) diagnoses order violations for each access event by comparing execution order of accesses. As a result, Repairing-AV has time overhead that is proportional to the number of access events to shared variable. This paper presents a tool called On-the-fly Repairing System (ORS) that can repair order violations of object methods containing access events. The ORS diagnoses order violations by using correct order of object methods, and treats them by stalling its thread where the error is about to occur. Experimentation with five synthetic programs shows that ORS is more efficient than Repairing-AV when the number of access events is greater than sixty.

Improved design for mooring line with lumped weight at seabed (중량체 적용을 통한 계류선의 설계개선 방안 연구)

  • Song, JaeHa;Shin, SeungHo;Jung, DongHo;Kim, HyeonJu
    • Journal of Ocean Engineering and Technology
    • /
    • v.27 no.6
    • /
    • pp.22-26
    • /
    • 2013
  • The purpose of this study was to improve the design of a mooring line by attaching a lumped mass to it on the seabed. A numerical analysis of the redesigned mooring system is performed to analyze the effect of the weight of the attached lumped mass using the commercial software Orcaflex. The ultimate tension of the mooring system with the lumped mass is compared with that of a bare mooring line in the original design. An appropriately designed weight for the lumped mass is found to induce a critical lifted point in the mooring line by floater motion in the ultimate condition to move toward the floater position from the anchor point, while maintaining a similar safety factor for the mooring line. On the other hand, it is shown that excess weight for the lumped mass induces snapping in a mooring line, resulting in low safety factor for the mooring system. The distance between lumped weights is shown to be a minor parameter affecting the safety of a mooring line, although a shorter line has an advantage from an economic point of view. Using the optimal weight for the lumped mass attached to the mooring line on a seabed reduces the mooring line length and installation area occupied by a mooring system under real sea conditions.

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.

Development of an Image Data Augmentation Apparatus to Evaluate CNN Model (CNN 모델 평가를 위한 이미지 데이터 증강 도구 개발)

  • Choi, Youngwon;Lee, Youngwoo;Chae, Heung-Seok
    • Journal of Software Engineering Society
    • /
    • v.29 no.1
    • /
    • pp.13-21
    • /
    • 2020
  • As CNN model is applied to various domains such as image classification and object detection, the performance of CNN model which is used to safety critical system like autonomous vehicles should be reliable. To evaluate that CNN model can sustain the performance in various environments, we developed an image data augmentation apparatus which generates images that is changed background. If an image which contains object is entered into the apparatus, it extracts an object image from the entered image and generate s composed images by synthesizing the object image with collected background images. A s a method to evaluate a CNN model, the apparatus generate s new test images from original test images, and we evaluate the CNN model by the new test image. As a case study, we generated new test images from Pascal VOC2007 and evaluated a YOLOv3 model with the new images. As a result, it was detected that mAP of new test images is almost 0.11 lower than mAP of the original test images.

MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs (MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기)

  • Liu, Lingjun;Jee, Eunkyoung;Bae, Doo-Hwan
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.4
    • /
    • pp.115-124
    • /
    • 2021
  • Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

Structural response of rectangular composite columns under vertical and lateral loads

  • Sevim, Baris
    • Steel and Composite Structures
    • /
    • v.25 no.3
    • /
    • pp.287-298
    • /
    • 2017
  • The present study aims to determine the structural response of full scaled rectangular columns under both of vertical and lateral loads using numerical methods. In the study, the composite columns considering full concrete filled circular steel tube (FCFRST) and concrete filled double-skin rectangular steel tube (CFDSRST) section types are numerically modelled using ANSYS software. Vertical and lateral loads are applied to models to assess the structural response of the composite elements. Also similar investigations are done for reinforced concrete rectangular (RCR) columns to compare the results with those of composite elements. The analyses of the systems are statically performed for both linear and nonlinear materials. In linear static analyses, both of vertical and lateral loads are applied to models as only one step. However in nonlinear analyses, while vertical loads are applied to model as only one step, lateral loads are applied to systems as step by step. The displacement and stress changes in some critical nodes and sections and contour diagrams are reported by graphs and figures. At the end of the study, it is demonstrated that the nonlinear models reveal more accurate result then those of linear models. Also, it is highlighted that composite columns provide more and more safety, ductility compared to reinforced concrete column.

Flight Dynamic Identification of a Model Helicopter using CIFER®(II) - Frequency Response Analysis - (CIFER®를 이용한 무인 헬리콥터의 동특성 분석 (II) - 주파수 응답 해석 -)

  • Bae, Yeoung-Hwan;Koo, Young-Mo
    • Journal of Biosystems Engineering
    • /
    • v.36 no.6
    • /
    • pp.476-483
    • /
    • 2011
  • The aerial application using an unmanned helicopter has been already utilized and an attitude controller would be developed to enhance the operational convenience and safety of the operator. For a preliminary study of designing flight controller, a state space model for an RC helicopter would be identified. Frequency sweep flight tests were performed and time history data were acquired in the previous study. In this study, frequency response of the flight test data of a small unmanned helicopter was analyzed by using the CIFER software. The time history flight data consisted of three replications each for collective pitch, aileron, elevator and rudder sweep inputs. A total of 36 frequency responses were obtained for the four control stick inputs and nine outputs including linear velocities and accelerations and angular velocities in 3-axis. The results showed coherence values higher than 0.6 for every primary control inputs and corresponding on-axis outputs for the frequency range from 0.07 to 4 Hz. Also the analysis of conditioned frequency response showed its effectiveness in evaluating cross coupling effects. Based on the results, the dynamic characteristics of the model helicopter can further be analyzed in terms of transfer functions and the undamped natural frequency and damping ratio of each critical mode.