• Journal of Internet Computing and Services
• /
• v.10 no.1
• /
• pp.175-182
• /
• 2009

Less efforts has been made in developing specifications and verification techniques for quality requirements. This paper suggests specification and traceability methods supporting quality issues such as usability, performance, and understandability when developing information systems with UML notation. With traceability checking methods that augment quality extension to the use cases and sequence diagrams, developers can confirm the level of implementation for both functional and nonfunctional requirements beforehand.

• Journal of the Korean Society of Systems Engineering
• /
• v.10 no.1
• /
• pp.81-86
• /
• 2014

Systems Engineering application focused on requirement definition and management for SURION System Development Project is described in this paper. To perform the development process effectively based on systems engineering processes; Requirements Definition, Design Review, Configuration Management, Quality Assurance, Data Management, are applied in this project. In this processes, the Stakeholder's Requirements are transferred to Specifications verified with design reviews, prototyping inspections, and integration tests. All engineering data, especially verification plan & results are recorded, and traced to each requirements of system specification in Surion database. Therefore, it could be assured that all requirements of specification are evaluated and verified successfully in Surion Project.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1523-1529
• /
• 2011

Light Rail Transit is system that offer target Performance and function because various sub-system such as vehicles, power supply, signaling, communication, mechanical, track, civil is consisted as large complex system. Light Rail Transit and the complex system of safety, reliability to be a behavior, and target performance and function properly to system's configuration, design, manufacture, installation and test verification, through operations system requirements to accurately describe what It is more important. With this study, light rail system KSX ISO/IEC 15288 system life cycle process by applying engineering techniques utilizing light rail system in the early stages of construction from the concept, design, production, operation, maintenance and end-use to the disposal stage throughout the entire life cycle, from the beginning of construction until the end of construction of the stakeholder to define requirements, analyze the introduction of the system developers and system requirement of those who wish to be described accurately by selecting the best system and system requirement in order to achieve their purpose.

• Journal of Aerospace System Engineering
• /
• v.7 no.2
• /
• pp.23-28
• /
• 2013

This is a research on the method of how to improve lateral stability for the small general aviation airplane to meet the FAR part 23 requirements. This research is based on the experience of certification flight tests of KC-100 airplane for Korea first type certification. KAS/FAR Part 23.177 is the static lateral and directional stability requirement. And, 23.177(b) requires to show the tendency to raise the low wing in steady heading side slip maneuver. However, it is very difficult for the low wing to be raised at the low speed during the steady heading side slip maneuver. So, the requirement allows not be negative at the $1.2V_{S1}$ speed and takeoff configuration. (static stability requirement requires low wing picked up at any speed except $1.2V_{S1}$ speed and takeoff configuration) In this paper, the static lateral stability requirements and the lessons & learned of KC-100 airplane certification flight test results are shown.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.4
• /
• pp.71-79
• /
• 2011

The work environment of locomotive cabs has long been an important issue in the design of railload systems since it is quite critical in terms of system's operational safety. It is getting more attention as the running speed of the trains goes up these days. To this end, this paper describes how to systematically construct a DB for the requirements set in the course of the improvement process for the aforementioned cab work environment. As a solution approach, we have adopted the requirement architecture concept to cover the whole activities required to do such as in requirements generation, DB construction, change management, and traceability management. Specifically, based on the requirement architecture framework a requirement process to collect requirements for improvement is discussed, and the guide lines are suggested for verification and validation of the developed requirements. In addition, a base schema and requirements templates are developed, which will be used in generating requirements and constructing a DB. Finally, it is demonstrated how the requirements DB for locomotive cabs can be constructed using a computer-aided tool in an integrated fashion.

• International Journal of Internet, Broadcasting and Communication
• /
• v.15 no.2
• /
• pp.218-226
• /
• 2023

In Korea, we still use function point based cost estimations for software size and cost of a project. The current problem is that we make difficultly calculating function points with requirements and also have less accurate. That is, it is difficult for non-experts to analyze requirements and calculate function point values with them, and even experts often derive different function points. In addition, all stakeholders strongly make the validity and accuracy of the function point values of the project before /after the development is completed. There are methods for performing function point analysis using source code [1][2][3][4] and some researchers [5][6][7] attempt empirical verification of function points about the estimated cost. There is no research on automatic cost validation with source code after the final development is completed. In this paper, we propose automatically how to calculate Function Points based on natural language requirements before development and prove FP calculation based on the final source code after development. We expect validation by comparing the function scores calculated by forward engineering and reverse engineering methods.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.6
• /
• pp.2429-2449
• /
• 2018

Dynamic data possession verification is a common requirement in cloud storage systems. After the client outsources its data to the cloud, it needs to not only check the integrity of its data but also verify whether the update is executed correctly. Previous researches have proposed various schemes based on Merkle Hash Tree (MHT) and implemented some initial improvements to prevent the tree imbalance. This paper tries to take one step further: Is there still any problems remained for optimization? In this paper, we study how to raise the efficiency of data dynamics by improving the parts of query and rebalancing, using a new data structure called Rank-Based Merkle AVL Tree (RB-MAT). Furthermore, we fill the gap of verifying multiple update operations at the same time, which is the novel batch updating scheme. The experimental results show that our efficient scheme has better efficiency than those of existing methods.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1328-1334
• /
• 2010

As the life quality is higher and higher, the requirement for the clean air in a subway station is strongly being increased. Therefore, many researches have been performed about that. Seoulmetro has taken many parts and has applied latest products for the higher level of air quality. However, by various kinds of facilities, it is hard to maintain the facilities and verify their performances. Therefore it is better to use qualified air filter system by the performance test at subway stations than to apply newly developed one without any verification. This study is focused on the performance verification for a panel structure, which consists of non-woven fabric, to suggest the standard of air filter systems.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1953-1954
• /
• 2008

The excitation system for class 1E has been developed to apply to the nuclear power plant emergency diesel generator by utilizing the existing digital excitation system. The additional mission was to evaluate the excitation system of safety. It is the safety analysis of the excitaton system, the verification test, the aging test, the safety requirement test and so on. The verification test is classified of hardware and software part for detail.