• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• International Journal of Aeronautical and Space Sciences
• /
• v.15 no.1
• /
• pp.44-53
• /
• 2014

A lightning strike to the aircraft seriously affects the aircraft and its components in various ways. As one of the most critical threats to the flight safety of an aircraft, fuel vapour ignition by lightning can occur through various means, notably through hot spot formation on the fuel tank skins. In this study, a coupled thermal-electrical approach using the commercial software ABAQUS is used to study the effects of a lightning strike on aircraft fuel tanks. This approach assumes that the electrical conductivity of a material depends on temperature, and that a temperature rise in a material due to Joule heat generation depends on electrical current. The inter-dependence of thermal and electrical properties-the thermal-electrical coupling-is analyzed by a coupled thermal-electrical analysis module. The analysis elucidates the effects of different material properties and thicknesses of tank skins and identifies the worst case of lightning zones.