• 한국전자거래학회지
• /
• 제12권3호
• /
• pp.33-47
• /
• 2007

소프트웨어 개발 초기에 모든 요구사항을 정의하는 것은 불가능하기 때문에 요구사항은 소프트웨어 개발이 진행되는 동안에 지속적으로 변경된다. 이러한 요구사항 변경은 개발자가 소프트웨어 구조나 행위를 완벽하게 이해하지 못하거나 변경에 따라 영향을 받는 모든 부분을 식별할 수 없을 경우 많은 오류를 야기 시킨다. 그러므로, 조직의 비즈니스에 공헌하면서 비용 효과적으로 적절히 처리되기 위하여 요구사항은 관리되고 평가되어야한다. 본 논문은 가치분석을 통하여 생성된 휘처 기반의 요구사항추적 링크를 근간으로 하는 요구사항변경 관리 기법을 제안한다. 이는 사용자 요구사항과 산출물간의 연결을 분석하기 위하여 휘처를 중간 매개체로 활용한 추적 링크를 이용한다. 그리고, 요구사항 변경 요청을 휘처 단위로 상세화하기 위한 변경 트리 모델을 정의하고 변경 관리가 수행되는 전체적인 프로세스를 제시한다. 또한, 요구사항 변경 관리 기법을 자산관리포탈시스템에 적용한 사례의 결과를 기술한다.

• 한국항행학회논문지
• /
• 제15권3호
• /
• pp.419-431
• /
• 2011

오늘날 기업의 비즈니스 환경은 시장, 기술 및 사회에서 오는 여러 가지 요인들로 인하여 한층 더 복잡해지고 있다. 비즈니스 패러다임의 변화에 따른 빠른 시장 대응(Time-to Market)에의 요구 증가 및 비용 감소, 높은 생산성에 대한 요구 증가, 재사용성 증대를 통한 유연한 애플리케이션을 개발할 수 있는 절차와 매커니즘에 대한 필요성이 대두되고 있다. UML 기반의 객체지향 소프트웨어 개발 생명주기에서 요구사항 추적 매트릭스 설계(RTMD : Requirement Tracing Matrix Design) 모델을 제시하여 실제업무에 적용하였다. 이 방법은 소프트웨어 개발의 생산성 향상 및 유지보수 비용을 절감하는 효과가 있다. 그러나 관련 문서들의 완전성(completeness), 일관성(consistency), 정확성(correctness)을 검증하기 위한 절차 및 규칙이 미흡하며, 또한 이들 명세서들은 보다 체계적으로 관리할 수 있는 자동화된 시스템을 필요로 한다.

• 대한안전경영과학회지
• /
• 제13권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.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권9호
• /
• pp.3274-3297
• /
• 2021

Permission delegation is an important research issue in access control. It allows a user to delegate some of his permissions to others to reduce his workload, or enables others to complete some tasks on his behalf when he is unavailable to do so. As an ideal solution for controlling read access on outsourced data objects on the cloud, Ciphertext-Policy Attribute-Based Encryption (CP-ABE) has attracted much attention. Some existing CP-ABE schemes handle the read permission delegation through the delegation of the user's private key to others. Still, these schemes lack the further consideration of granularity and traceability of the permission delegation. To this end, this article proposes a flexible and fine-grained CP-ABE key delegation approach that supports white-box traceability. In this approach, the key delegator first examines the relations between the data objects, read permission thereof that he intends to delegate, and the attributes associated with the access policies of these data objects. Then he chooses a minimal attribute set from his attributes according to the principle of least privilege. He constructs the delegation key with the minimal attribute set. Thus, we can achieve the shortest delegation key and minimize the time of key delegation under the premise of guaranteeing the delegator's access control requirement. The Key Generation Center (KGC) then embeds the delegatee's identity into the key to trace the route of the delegation key. Our approach prevents the delegatee from combining his existing key with the new delegation key to access unauthorized data objects. Theoretical analysis and test results show that our approach helps the KGC transfer some of its burdensome key generation tasks to regular users (delegators) to accommodate more users.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.419-430
• /
• 2007

소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.

• 시스템엔지니어링학술지
• /
• 제9권1호
• /
• pp.47-53
• /
• 2013

The object of this study is to define systematically for outputs of Verification Process among the system life cycle process based on ISO/IEC 15288 for power supply system, which is one of the importance sub-systems to configure the LRT system. Furthermore, to prevent various problem in advance that can occur in the Transition LRT's power supply to be completed Integration. For this purpose, traceability of verification requirement and outputs. should be managed to use verification for system requirement and data processing tool. by system engineering techniques of system life cycle process based on ISO/IEC 15288 to LRT system.

• 산업경영시스템학회지
• /
• 제25권4호
• /
• pp.22-31
• /
• 2002

A high-speed rail system represents a typical example of large-scale multi-disciplinary systems, consisting of subsystems such as train, 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. Not only the requirements of the large-scale system dictate the contracts with the suppliers but also become the basis for the development process, project execution, system integration, and testing. The requirements database provide the system design specification of all development activities. Using the RDD-100, a systems engineering tool, the Korea next-generation high-speed rail program can establish requirements traceability and development process management in performing the enabling train technology development projects. This paper presents the results from a computer-aided systems engineering application to the Korea next-generation high-speed railway project. Especially, the focus of the study was on requirement management and PBS(Product Breakdown Structure) management.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.980-982
• /
• 2015

성공적인 시스템 개발을 위해서 SW의 품질을 향상시켜야 한다. 하지만 국내 SW 산업환경은 코드 중심 개발로써, 개발 문서 부재 및 SW개발과 문서화가 동시에 수행되지 않는다. 이러한 문제의 해결을 위해서 SW개발 시, 발생 문서는 코드와 문서의 동시 개발 및 시스템화가 필요하다. 본 논문은 체계적인 요구사항 관리를 위한 요구사항 추적 모델을 제안한다. 제안한 모델은 기존의 SW Visualization을 통한 역공학 기법에 적용하여 품질 개선 및 코드와 문서의 불일치 문제를 해결하고자 한다.

• International Journal of Safety
• /
• 제3권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.

• Agribusiness and Information Management
• /
• 제5권2호
• /
• pp.7-15
• /
• 2013

As the consumers' anxiety for food increases, the interest in food safety also increases. To satisfy the public requirement on food safety, the government is trying to set up a food safety standard by using regulations and certification systems. However, there is still difficulty in building up complex traceability systems for medicinal crops including ginseng due to the low participation of farming industries. The purpose of this empirical research is to draw factors that impede the GAP adoption of ginseng farms. By comparing the average attitude and intention to adopt the ginseng farms' depending on its characteristics through a two-tailed test, it was drawn that continuous farming education can positively influence the GAP adoption of the ginseng farms.