• Nuclear Engineering and Technology
• /
• v.36 no.4
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.5
• /
• pp.115-126
• /
• 2012

It is very important to trace whether all the requirements has been reflected in the developed system. However, most existing researches apply Requirement Traceability Matrix(RTM) to the whole SDLC according to the development methodology. RTM has no practical value because it has not only too many pursuit items but also its tracking method is very complicated and the practical management in developing the information system is not accomplished nearly. Therefore, in this study, we proposed an enhanced RTM which was composed of only necessary items and allow us to manage the applied area effectively from Request for Proposal(RFP) or the proposal stage to SDLC stage then confirmed the effect through six actual applicable cases of information system development project of "K" company.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.121-129
• /
• 1999

This paper will describe the design of database for system engineering of High Speed Railway Systems, focusing on tile ability to capture a full thread of traceability, from tile inception of a system requirement, to the test results that validate that the designed system meets criteria defined by the requirement. The database includes data models for requirement, function, component, work, work process, resource, etc.. These data models are utilized for tile efficient management of data related system design, development work, and validation.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.4
• /
• pp.328-336
• /
• 2015

We proposed a methodology to automatically extract the requirements from the documents and check the consistency and traceability among them. The documents include not only text but also PDF or image files. We also suggest a method to visualize the result with maps, numbers, and graphs. By comparing the results with those of manual reviews from experts, we show that it is necessary to use knowledge-based method in future instead of the wordbased method for improving the reliability. The results can be applied effectively for already existing documents.

• Proceedings of the KSR Conference
• /
• 2009.05b
• /
• pp.395-400
• /
• 2009

The HEMU-400X project starts at 2007. It is important first of all that describing correctly system requirement during 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 understand the performance and function of system in basic design. For this process, system engineer have to manage the system requirement. This paper proposes the management contents of system requirement such as change management, requirement traceability, etc, for HEMU-400X.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.5
• /
• pp.3-10
• /
• 2010

Unlinkability and traceability are basic security requirements of a group signature scheme. In this paper, we analyze two recent group signature schemes, Lee et al.'s scheme and Zhu et al.'s scheme. We show that Lee et al,'s scheme does not work correctly. Further, it fails to meet unlinkability, that is, anyone who intercepts or receives group signatures are able to check if they are from the same signer. We also show that Zhu et al.'s scheme is unable to satisfy traceability, that is, a malicious group member can generate valid group signatures that cannot be opened. Moreover, once becoming group member, the malicious group member will never be revoked from group. Besides, Zhu et al.'s scheme fails to satisfy forward security, a requirement claimed by authors.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.2070-2074
• /
• 2008

It is necessary to develop the requirement management system that could trace hazards and manage safety requirements for risk control of railway accident as low as reasonably practicable. In this paper, the requirement management system for control of railway accident risk is introduced. The requirement management system is containing the railway system configuration and safety activity related with identified hazards. The system shall be used to derive safety requirements for risk controland support the traceability of hazards on railway's operation & management. In the future, the system will be applied in the areas such as risk assessment and management, performing safety assurance and revising national regulations etc. for continuous safety improvement in the railway.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.57-65
• /
• 2019

The weapon system applies the rule that the system engineering procedure must be applied at the acquisition stage. Naval ships, which are one of the important naval weapon systems, take a long period of time to acquire, and the leadership must be commissioned. Therefore, in order to acquire a naval ship, high risk management is necessary, and it is necessary to promote business success through effective application of system engineering which is a scientific management method. However, in the case of naval ships, there are no specific procedures and methods for applying the system engineering. Therefore, research on application method of system engineering which can be easily used by person in charge is necessary. This should have a simple approach to ensure effective business performance by systematically refining and simplifying existing works. QFD (Quality Function Deployment) is a way to improve product satisfaction, impress customers, reduce defective products, reduce design errors, and reduce costs. This systematically develops these mutual relationships by converting the needs of customers into quality characteristics of products and defining them as the design quality of products considering the functions, quality, and process elements of parts. The purpose of this research is to present concrete methodology at the practical level using QFD in a way to ensure traceability of requirements which is an important element of system engineering.

• The Journal of Society for e-Business Studies
• /
• v.12 no.4
• /
• pp.1-15
• /
• 2007

Traceability links are logical links between individual requirements and other system elements such as architecture descriptions, source code, and test cases. These are useful for requirements change impact analysis, requirements conflict analysis, and requirements consistency checking. However, establishing and maintaining traceability links places a big burden since complex systems have especially yield an enormous number of various artifacts. We propose a feature-oriented requirements tracing method to manage requirements with cost benefit analysis, including value consideration and intermediate catalysis using features. Our approach offers two contributions to the study of requirements tracing: (1)We introduce feature modeling as intermediate catalysis to generate traceability links between user requirements and implementation artifacts. (2)We provide value consideration with cost and efforts to identify traceability links based on prioritized requirements, thus assigning a granularity level to each feature. In this paper, we especially present the results of a case study which is carried out in Apartment Ubiquitous Platform to integrate and connect home services in an apartment complex in details.

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