• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1079-1082
• /
• 2008

The HEMU-400X project starts last year. It is important first of all that describe correctly system requirement until configuration of system, design, manufacturing, installation and test verification so that the complicated high-speed electric multiple unit is to run safety and reliable and to achieve target performance and function properly. The system requirement assist the system designer to comprehensive the performance and function of system in basic design. This paper proposes the development methodology of system requirement for HEMU-400X.

• Proceedings of the KIEE Conference
• /
• 2005.04a
• /
• pp.256-258
• /
• 2005

EMU system is system that o(for target performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• Proceedings of the KIEE Conference
• /
• 2005.10c
• /
• pp.296-298
• /
• 2005

Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• Transactions of the KSME C: Technology and Education
• /
• v.1 no.2
• /
• pp.199-204
• /
• 2013

In this paper, a new system requirement management tool and its application on the Urban Transit Maglev Project were introduced. In most R&D projects on complexity system such as transportation system, Systems Engineering(SE) activities are included on each project, and SE teams are using commercial computer-based tools to perform the SE activities. Even though SE tools help to manage huge data and documents on engineering efficiently, but well-designed functions of SE tools which support SE activities are not sufficiently used on the whole process of system engineering. In order to computer-based SE tools are to be effectively used on project management, most engineers who takes engineering and coordination roles, at least sub-project managers should be familiar to the tool and could be easily use it, but usability of commercial SE tools are very difficult for normal engineers with no experience on SE activities and SE tools. To overcome this difficulty, we developed a new system requirement management tool considering each user's scenario on using engineering tools. The developed tool could not cover whole SE processes, but designed to perform requirement engineering such as system requirements(SRs) management, specification management, traceability management, SRs' verification activity management and so on. All the entities on SR database are inter-connected by pre-recognized traceabilities, so even non-specialists on SE can easily browse the database and find entities concern, and linked information such as interacted entities, legal or engineering constraints, coordination documents, status of development and verification and so on. Also functions for SR verification tools, TPM(Technical Performance Measure) tools, DB searching tools with traceability, and report generation tools are included on the system.

• International Journal of Safety
• /
• v.3 no.1
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.335-340
• /
• 1998

In this paper a prototype of Requirement Tracking and Verification System(RTVS) for a Distributed Control System was implemented and tested. The RTVS is a software design and verification tool. The main functions required by the RTVS are managing, tracking and verification of the software requirements listed in the documentation of the DCS. The analysis of DCS software design procedures and inter(aces with documents were performed to define the user of the RTVS, and the design requirements for RTVS were developed.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.05a
• /
• pp.51-52
• /
• 2019

Currently in domestic, it is difficult to the evacuation in fire due to the building is higher. Therefore it is necessary to evacuation safety design of building. To conduct the evacuation fire design of building, it should be done the Evacuation Safety Verification. But it is not sufficient the Study about Evacuation Safety Verification in currently domestic. Therefore in this study, we conducted the evacuation safety verification using people who they can't the evacuation themselves. The method of verification, we suggest the comparative that people who they can't the evacuation themselves and available safety evacuation time. Available safety evacuation time is determined by determined method from disaster statistics of casualties or equivalence with current standard requirement. it is doing to objectively judge of evacuation safety design validity in building.

• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.