• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.16-23
• /
• 2018

The intended system's function and performance can be assured through implementing the development process, the verification compliance against corresponding requirements, in accordance with the fundamental principle from the Systems Engineering. For the effective verification implementation, related core metadata should be selected and managed throughout the development life cycle. And these have to be included in the configuration document such as specification so that taking them as development baselines each phases if necessary. In this paper, associated case study results are introduced to establish the Requirements Verification Matrix (RVM) for the verification management on the space launch vehicle development program.

• Journal of the Korean Society of Systems Engineering
• /
• v.19 no.1
• /
• pp.56-63
• /
• 2023

For the success of system development, it is necessary to systematically manage the requirements that are the basis of system development and its verification results. In order to follow the principles of SE(Systems Engineering)-based V&V(Verification&Validation) process, requirements can be managed by securing the requirements and their establishments, design compliances, and verification compliances according to the system development lifecycle. Especially, in a large-complex system research and development project, such as a space launch vehicle development project, many participants establish, verify, and validate numerous requirements together during the project. Therefore, logical and systematic requirements management, including guarantee of data integrity, change history, and traceability, is very important for multiple participants to utilize numerous requirements together without errors. This paper introduces the practical requirements and verification management for the requirements-based development process in the space launch vehicle development project.

• Journal of IKEEE
• /
• v.22 no.4
• /
• pp.970-977
• /
• 2018

The autonomous vehicle is based on an advanced driver assistance system (ADAS) consisting of a sensor that collects information about the surrounding environment and a control module that determines the measured data. As interest in autonomous navigation technology grows recently, an easy development framework for ADAS beginners and learners is needed. However, existing development and verification methods are based on high performance vehicle simulator, which has drawbacks such as complexity of verification method and high cost. Also, most of the schemes do not provide the sensing data required by the ADAS directly from the simulator, which limits verification reliability. In this paper, we present an interactive ADAS development and verification framework using a 3D vehicle simulator that overcomes the problems of existing methods. ADAS with image recognition based artificial intelligence was implemented as a virtual sensor in a 3D car simulator, and autonomous driving verification was performed in real scenarios.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.17 no.1
• /
• pp.1-11
• /
• 2009

This paper proposes an algorithm capable of detecting vehicles in front or in rear using a monocular camera installed in a vehicle. The vehicle detection has been regarded as an important part of intelligent vehicle technologies. The proposed algorithm is mainly composed of two parts: 1)hypothesis generation of vehicles, and 2)hypothesis verification. The hypotheses of vehicles are generated by the analysis of vertical and horizontal edges and the detection of symmetry axis. The hypothesis verification, which determines vehicles among hypotheses, is done by the AdaBoost algorithm. The proposed algorithm is proven to be effective through experiments performed on various images captured on the roads.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.5
• /
• pp.1068-1072
• /
• 2011

Hydrogen Fuel Cell Vehicle(HFCV) is system that uses electrical energy of fuel cell stack to main power source, which is different system with other vehicles that use high-voltage, large-current. Isolation performance of this system which is connected with electrical fire and electrical shock is important point. Isolation resistance of electric installation is divided according to working voltage, it follows criterion more than $100{\Omega}$/VDC (or $500{\Omega}$/VAC) about system operation voltage in a hydrogen fuel cell vehicle. Although measurement of isolation resistance in a hydrogen fuel cell vehicle is two methods, it uses mainly measurement by megger. However, the present isolation resistance measurement system that is optimized to use in electrical facilities is unsuitable for isolation performance estimation of a hydrogen fuel cell vehicle because of limit of maximum short current and difference of measurement resolution. Therefore, this research developed the isolation resistance measurement system so that may be suitable in isolation performance estimation of a hydrogen fuel cell vehicle, verified isolation performance about known resistance by performance verification of laboratory level about developed system, and executed performance verification through comparing results of developed system by performance verification of vehicle level with ones of existing megger. Developed system is judged to aid estimation and upgrade of isolation performance in a hydrogen fuel cell vehicle hereafter.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1722-1728
• /
• 2007

This study analysed testing method for performance verification in the phase of signalling system development for application in the Light Rail Transit(LRT). The main focus in this study therefore includes development of vehicle location detection system by first GPS and analysis of performance verification method by field testing. The comprehensive testing method has been analysed for the signalling system for LRT high speed operation. The signalling system for LRT high speed operation deals with vehicle location identification through vehicle location information using the second GPS and decision for whether the high speed proceed signal and departure inhibition output is feasible or not and for signalling output to the corresponding vehicle.

• Convergence Security Journal
• /
• v.19 no.4
• /
• pp.97-105
• /
• 2019

With the possibility of wireless control of the aircraft by Nicola Tesla, Unmanned Aerial Vehicle(UAV) was mainly used for military and defense purposes with the rapid development through World War I and II. As civilian applications of unmanned aerial vehicles have expanded, they have been used with various services, and attempts have been made to control various environmental changes and risk factors of unmanned aerial vehicles. However, GPS spoofing, Jamming attack and security accidents are occurring due to the communication in the unmaned aerial vehicle system or the security vulnerability of the unmanned aerial vehicle itself. In order to secure introduction of Unmanned aerial vehicle, South Korea has established Unmanned Aerial Vehicle verification system called Airworthiness Certification. However, the existing cerfication system is more focused on test flight, design and structure's safety and reliability. In this paper, we propose a unmanned aerial vehicle system model and propose security functional requirements on unmanned aerial vehicle system in the corresponding system model for secure-introduction of Unmanned Aerial Vehicle. We suggest the development direction of verification technology. From this proposal, future development directions of evaluation and verification technology of Unmanned Aerial Vehicle will be presented.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.7
• /
• pp.655-660
• /
• 2010

As increasing the number of Electronic Control Units in a vehicle, the proportion for reliability and stability of the software is going increasingly. Accordingly, the traditional CAN network has occurred the situation that the requirement of developing vehicle software is not sufficient. To solve these problems, the FlexRay network which is ensured the high bandwidth and real-time is generated. However it is difficult to implement FlexRay based application software because of complex protocol than traditional CAN network. Accordingly the system for analysis and verification of network state is needed. Also vehicle vendor develops application software using Matlab/Simulink in order to increase productivity. But this development method is hard to solve the network problem of node to node. Therefore this paper implements Matlab/Simulink based FlexRay network system and verifies it through comparing with existing embedded system.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.430-435
• /
• 2008

Hyundai-Rotem Company has designed and manufactured Light Railway Vehicle (LRV) according to the Urban Rail Transit Code, which applies to urban railway vehicles in Korea. The Urban Rail Transit Code specifies the loads, for which vehicle bodies shall be capable of withstanding, identifies how material data shall be used and presents the principles to be used for design verification by analysis and test. The structural design of railway vehicle bodies depends on the loads they are subjected to and the characteristics of the materials they are manufactured from. Therefore Hyundai-Rotem Company has carried out Finite Element Analysis (FEA) and has performed load tests on the vehicle body according to the Urban Rail Transit Code. This research contains the results obtained by the analysis and the load tests. The analysis was carried out using I-DEAS Master Series 12 and load test were carried out using specially designed test jigs and equipment are used for the load tests.

• Journal of Multimedia Information System
• /
• v.4 no.1
• /
• pp.9-18
• /
• 2017

Ubiquitous computing is a novel paradigm that is rapidly gaining in the scenario of wireless communications and telecommunications for realizing smart world. As rapid development of sensor technology, smart sensor system becomes more popular in automobile or vehicle. In this study, a new vehicle detection mechanism in real-time for blind spot area is proposed based on imaging sensors. To determine the position of other vehicles on the road is important for operation of driver assistance systems (DASs) to increase driving safety. As the result, blind spot detection of vehicles is addressed using an automobile detection algorithm for blind spots. The proposed vehicle verification utilizes the height and angle of a rear-looking vehicle mounted camera. Candidate vehicle information is extracted using adaptive shadow detection based on brightness values of an image of a vehicle area. The vehicle is verified using a training set with Haar-like features of candidate vehicles. Using these processes, moving vehicles can be detected in blind spots. The detection ratio of true vehicles was 91.1% in blind spots based on various experimental results.