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

• Journal of the Korean Society of Systems Engineering
• /
• v.7 no.2
• /
• pp.7-11
• /
• 2011

A high-speed railway system represents a typical example of large-scale multi-disciplinary system, consisting of subsystems such as rolling-stock, electrical hardware, electronics, control, information, communication, civil technology etc. The system design and acquisition data of the large-scale system must be the subject under strict configuration control and management. Systems engineering technology development project for Korea next generation High-speed Electric Multiple Unit (HEMU) system in progress is a national large system development project that is not only a large-size and complex but also multi-disciplinary in nature. Therefore, all stakeholders must understand and share the functional and performance requirements of HEMU throughout its life-cycle phases. Also in the test and evaluation phase, all systems requirements must be verified. In 2011, the prototype train manufacturing will be completed. It will do test run on the commercial line and all systems requirements are verified until 2012. For the system verification, the test and evaluation process have to be established before the test trial run. Using a systems engineering tool, the system design database(SDD) with requirements traceability and development process management in the course of the development have to be established. This paper represents the test and evaluation process development based on the SEMP(Systems Engineering Management Plan) developed in the design stage. The test and evaluation process is refined and updated in comparison to the design stage one. The test and evaluation process consists of procedure, test and evaluation method and schedule. So through this process, it is defined that each systems requirements is verified on which test and about what time.

• Journal of the Korean Society of Systems Engineering
• /
• v.7 no.2
• /
• pp.39-43
• /
• 2011

Modern naval ships are large complex systems with the number of requirements ranges from thousands to tens of thousands. To build a quality ship, the satisfaction of the requirements should be traced. In most shipbuilding projects it is almost impossible to manage all the requirements without a proper CASE (computer aided systems engineering) tool. And for effective management of the shipbuilding project, the integrated database for technical data is very important. This paper describes how the requirements are managed, and the integrated database is built in the naval shipbuilding industry in Korea.

• Proceedings of the KSR Conference
• /
• 2001.10a
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.5
• /
• pp.801-807
• /
• 2010

Requirements management is one of the most essential activities of systems engineering in developing successful weapon systems. Particularly it is very important to consistently manage the traceability among the user requirements, the system requirements, the development specifications and the testing plans throughout the entire life cycle of the weapon system. However, the most part of requirements-related activities has centered around the functional and performance requirements but the integrated logistics support(ILS) requirement has not properly been managed. In this regard, a special attention is needed to develop and manage the ILS requirements. To do so, the ANSI/EIA-632 standard can be referred as a starting point since the ILS requirements of the weapon system under development are specified by the enabling products whereas the functional and performance requirements are covered by the end product requirements. Specifically, we first review and model several cases of previous weapon systems development, which reveals the problem of interest. Then, under the framework of ANSI/EIA-632, we study a hierarchical model for effectively managing ILS requirements by analyzing the features of ILS requirements. Finally, the value of the proposed model is discussed through the case study of electronic warfare equipment.

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

• 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 the Korea Safety Management & Science
• /
• v.16 no.1
• /
• pp.69-77
• /
• 2014

The environment and requirements of modern war fields have been affected and thus changed by a variety of issues. To this end, the development of safety-critical weapon systems frequently need to meet those changes even in the operational phase. The necessity of the changes may be due to the preparation for mass-production or the request originated from the user military forces. To meet such a need can be even tougher in the development of safety-critical weapon systems since the integration of the requirements for both systems design and systems safety would make it troublesome. To handel the matter in this paper, utilization of architecture DB is proposed. Specifically, the situation in demand has first been analyzed and then a problem-solving process to accommodate the design changes has been constructed. In doing so, the concept of the aforementioned integration is particularly focused on the functional architecture, which could be a core concept of our approach to solving the problem. The result of a case study demonstrating the method studied using a computer-aided systems engineering tool is also presented.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1798-1805
• /
• 2010

The Railroad Safety Technology R&D Program has been supported by the Ministry of Land, Transport and Maritime Affairs. The Program consists of dozen or more projects and thus is quite complex, which requires effective project management. This paper is discussing how to effectively manage the railroad safety technology R&D program based on systems engineering management plan (SEMP). The key issues dealt in this paper include the SE management, requirements management, verification and validation, integrated data base management, and traceability management. To achieve the goal, we first defined an appropriate SE process to be adopted in the program and the result was documented in the systems engineering management plan. According to the process defined, we set up the environmental frame in database. Using the database and SEMP, each project of the program was verified with respect to the corresponding requirements utilizing the traceability. All these efforts were carried out using a computer-aided SE tool, which enables efficient management of complex database.

• Journal of KIISE:Software and Applications
• /
• v.35 no.7
• /
• pp.424-430
• /
• 2008

Identifying crosscutting concerns during requirements engineering phase is one of the most essential parts in Aspect-Oriented Software Development. Considering crosscutting concerns in the earlier phase of the development improves consistency among requirements so that it can help maintain software systems efficiently and effectively. It also provides a systematic way to manage requirements changes by supporting traceability throughout the software lifecycle. Thus, identifying tangled and scattered concerns, and encapsulating them into separate entities must be addressed from the early phase of the development. To do so, first, functional and non-functional concerns must be clearly separated. Second, a pointcut where a main concern meets crosscutting concerns should be defined and specified precisely. Third, it is required to detect conflicts being occurred during composition of crosscutting concerns from the earlier phase. Therefore, this paper proposes a systematic approach to identifying and specifying crosscutting concerns using goal-scenario based requirements analysis. And we demonstrate the applicability of the approach by applying it into the intelligent service robot system.