• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제5권2호
• /
• pp.89-101
• /
• 2005

Research on highly abstracted system modeling and simulation has received a great deal of attention as of the concept of platform based design is becoming ubiquitous. From a practical design point of view, such modeling and simulation must consider the following: (i) fast simulation speed and cycle accuracy, (ii) early availability for early stage software development, (iii) inter-operability with external tools for software development, and (iv) reusability of the models. Unfortunately, however, all of the previous works only partially addresses the requirements, due to the inherent conflicts among the requirements. The objective of this study is to develop a new system design methodology to effectively address the requirements mentioned above. We propose a new transaction-level system modeling methodology, called ViP (Virtual Platform). We propose a two-step approach in the ViP method. In phase 1, we create a ViP for early stage software development (before RTL freeze). The ViP created in this step provides high speed simulation, lower cycle accuracy with only minor modeling effort.(satisfying (ii)). In phase 2, we refine the ViP to increase the cycle accuracy for system performance analysis and software optimization (satisfying (i)). We also propose a systematic ViP modeling flow and unified interface scheme based on utilities developed for maximizing reusability and productivity (satisfying (ii) and (iv)) and finally, we demonstrate VChannel, a generic scheme to provide a connection between the ViP and the host-resident application software (satisfying (iii)). ViP had been applied to several System-on-a-chip (SoC) designs including mobile applications, enabling engineers to improve performance while reducing the software development time by 30% compared to traditional methods.

• 품질경영학회지
• /
• 제34권3호
• /
• pp.1-18
• /
• 2006

CMMI(Capability Maturity Model Integration) has been recognized as a critical method to validate the competitiveness of software development organization since its introduction. CMMI imposes additional requirements on the software development organization which has been established and certified to the ISO 9001 quality management system. This paper reviews the similarities and differences between CMMI and ISO 9001. This paper also examines what ate required to deploy the CMMI on the aircraft software development organization which has been certified to ISO 9001. The results of this study will help software development organization to provide the direction for implementing CMMI. Some suggestions are presented to identify and strengthen the weak portion of the software process quality management system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.272-279
• /
• 2007

Recently, train control system is adopting computer system replacing mechanical system and its software is taking more responsibility than ever. Train control system software is a safety-critical embedded software with realtime and high reliability requirements. In this paper, we propose a safety assessment method for the train control system software. We review characteristics of train control system software and analyze related international software safety standards to derive requirements for safety assessment. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. The proposed safety assessment method is to use safety activity results generated during development processes and feed them to the runtime embedded software testing tool.

• 한국CDE학회논문집
• /
• 제13권4호
• /
• pp.314-322
• /
• 2008

This paper introduces an integration of Product Data Management (PDM) and Software Configuration Management (SCM). PDM and SCM have supported development of mechanical products and software products respectively. The importance of software components in the current products increases rapidly since the software enables the products to satisfy various customer requirements efficiently. Therefore the current product development needs enhanced product data management that can control both the hardware and software data seamlessly. This paper proposes an extended product data model for integrating SCM into PDM. The extension enables PDM document management to support the version control for software development. It also enables engineers to control both the software and hardware parts as integrated data objects during product configuration and engineering change management. The proposed model is implemented by using a commercial Product Lifecycle Management (PLM) system and a development of a network based robot system is tested by the implemented product development environment.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• 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.

• 산업공학
• /
• 제9권1호
• /
• pp.25-40
• /
• 1996

It is a time-consuming work to develop a control software for AGVS considering different physical arrangements and transport requirements in automated manufacturing systems. An integrated software environment is suggested to support the development of the control software by utilizing a simulation software which imitates changes in the target shop floor. First, the basic functions of the controller are defined and interactions between modules(function) are identified to enhance the modularity of the controller. Prototype software is developed for the simulation station and the control station, respectively, which are connected with each other by a communication link to transmit predefined messages.

• 한국군사과학기술학회지
• /
• 제27권2호
• /
• pp.247-255
• /
• 2024

Development of electronic warfare(EW) software has become increasingly challenging due to stricter regulations, shorter development cycles, and increased reliability testing. Consequently, software development often proceeds without proper architecture design, which can lead to missing critical quality requirements and potential system redesigns. In this study, we propose using Attribute-Driven Design(ADD) 3.0 to design software architecture specifically tailored for EW systems, enabling a more systematic approach to address quality requirements. The paper presents an overview of EW software and ADD 3.0 methodology, followed by an analysis of the architecture design results using static and dynamic views. The paper concludes by discussing the effectiveness of the proposed architecture design.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.615-623
• /
• 2006

비기능적 요구사항은 대상 시스템이 지원해야 할 기능적 요구사항의 속성 또는 품질 요구사항을 말하며, 소프트웨어의 품질 속성으로 반영된다. 이러한 비기능적 요구사항은 특히 성능과 관계된 부분의 설계를 결정하기 위한 중요한 기준으로 사용된다. 따라서 비기능적 요구사항은 소프트웨어 개발 생명주기 전반에 걸쳐 계속적으로 고려되고, 관리되어야 한다. 하지만 비기능적 요구사항의 모호성과 비가시적 특성으로 인해 도출 및 명세뿐만 아니라, 관리에도 어려움이 많다. 이에 본 논문에서는 NFR 그래프를 이용해 비기능적 요구사항에 가시성을 부여하고 비기능적 요구사항을 설계에 반영하여 비기능적 요구사항 관리의 효율성을 높이기 위한 비기능적 요구사항의 추적 기법을 제안한다. 비기능적 요구사항 개발 절차에 따라 지능형 조명 제어 시스템의 성능 요구사항 추적 방법을 사례연구로 수행하였으며, 이를 통해 종합적으로 비기능적 요구사항 관리의 효율을 높이고자 한다.

• 한국IT서비스학회지
• /
• 제5권2호
• /
• pp.79-92
• /
• 2006

Since software development team members have been more geographically spread due to the globalization of business and Internet technologies, the management of deliverables and communication efforts for developing high-quality software products on time is becoming more complicated. Among the functional requirements for collaborative software development management, the manipulation of shared information objects is essential for the collaborative work among distributed development team members. This paper proposes an integrated information object management framework comprised of a so-called BOC (Bill Of Class) scheme and a standardized software part dictionary for managing shared information objects efficiently among distributed co-workers. In order to manage these complex information objects, the proposed framework adopt product structures represented by Bills Of Materials (BOM) as stems for integrating the various information objects. Based on the proposed framework, a collaborative software development management system (CSDMS) is implemented, and the functionalities and the structure of the system are also described in this paper. The proposed system provides sufficient functionalities for the change management of information objects and the management of their relationship to other objects rather than existing system.