• 시스템엔지니어링워크숍
• /
• s.6
• /
• pp.126-129
• /
• 2005

Systems engineering requirement verification model developmetn for High Speed Railway systems in progress is a national large system development program that is not only large-size and complex but also multi-disciplinary in nature. For the High Speed Railway TEP development, verification requirements that could verify system function, performance, and constraint, should be derived from SSS(system Segment specification). Hereafter, this could be referred to as verification requirements. System engineering process establishes traceability between verification requirements and system requirements. These tasks could be accomplished by the schema. using computer-aided Systems Engineering tool(CORE), High Speed Railway program can become a database and other system related to High Speed Railway program will be developed effectively and efficiently.

• Journal of the Korean Society of Systems Engineering
• /
• v.4 no.1
• /
• pp.45-51
• /
• 2008

This paper presents template for Critical Design Review(CDR) in case of Urban MAGLEV Program. CDR was executed to confirm for design result based on requirements at last design stage. The integrated template for effective CDR includes requirements, specification and verification items. CDR needs to confirm satisfaction of requirements for design result and define verification method for technical validity. This template will help a consistent and integrated design review. And it is specially useful in huge and complex project.

• Proceedings of the KSR Conference
• /
• 2009.05b
• /
• pp.191-198
• /
• 2009

There are almost no studies on verification of requirements for high speed rolling stocks by means of RAM goals and on setting RAM goals by means of verification on practical reliability, availability and maintainability for high speed rolling stocks though they are covered in specification of an order that RAM goals asked of rolling stocks are shown for gaining high quality of them and availability when they are in operation. This study is for estimating number of high speed train-sets that would be supplementarily placed an order through verification of RAM goals of a project for the introduction of KTX-II 100 cars. It verify that optimized requirements for high speed rolling stocks by relatively comparison with between requirements for train-sets through setting RAM goals and requirements for train-sets through analysis of prospects for management balance with high speed rolling stocks.

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

• Electronics and Telecommunications Trends
• /
• v.36 no.4
• /
• pp.13-22
• /
• 2021

Among the activities of 3GPP for operating 5G-based unmanned aerial vehicles, we introduce several use cases of UAVs in 5G mobile communication such as radio access node onboard UAV, simultaneous support data transmission for UAVs and eMBB users, autonomous UAVs controlled by AI, isolated deployment of radio access through UAV, and separation of UAV service area. From this, we further summarize 5G mobile communication requirements for UAVs, including definition and operational criteria of UAS, UAS remote identification requirements, UAS usage requirements, and performance requirements. Finally, regarding 5G mobile communication-based UAS connectivity, identification and tracking support, we discuss the 3GPP UAV architecture, seven major problems, the proposed solutions to each problem, and propose the results for future specification work.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.6 no.1 s.12
• /
• pp.58-71
• /
• 2007

The disabled and elderly people have a wide variety of functional impairments. By disability and elderly user group definition, identification of users needs and specification of content requirements were studied. Existing technologies including location, navigation and information exchange devise and communication systems were analyzed to design proper integrated system for indoor and outdoor uses. There are two types of services considered in the project: assisted living services(ALS) including health and emergency needs and assisted mobility services(AMS) with transportation needs. To develop each content, content identification and requirements was studied through interviews and expert consultations. System requirements and specification using usecase technique for disabled and elderly people are discussed.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.61-69
• /
• 2018

As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.11 no.1
• /
• pp.44-51
• /
• 1991

This paper describes the practical difficulties experienced with ultrasonic testing during site fabrication of the offshore structures, and indicates some of the problems when UT indications are evaluated according to written procedure which is prepared to the requirements of the applicable code (standard) and/or specification.

• Journal of the military operations research society of Korea
• /
• v.12 no.1
• /
• pp.78-86
• /
• 1986

This paper analyzes how a shipowner or charterer may determine the specification of optimal ship size for a given route with respect to certain market requirements. The theory of optimal ship size, a methodology for estimating scale economics, and the various factors affecting ship size are examined using a typical conventional cargo ship and bulk cargo carriers based on shipowners' cost data.