• 한국컴퓨터정보학회논문지
• /
• 제25권11호
• /
• pp.147-155
• /
• 2020

체계지원 소프트웨어는 함정 전투관리체계를 구성하는 소프트웨어 중의 하나로 모든 함정의 전투관리체계에 탑재되지만 기능 변경이 거의 일어나지 않는 특성을 가진다. 하지만, 이러한 특성에도 실제로는 신규함정 적용 시 장비 변경 등으로 인한 소프트웨어 수정이 불가피하게 이루어진다. 이러한 소프트웨어의 수정은 소프트웨어 신뢰성 시험 등의 작업을 초래하며, 개발 비용 증가의 핵심요인으로 작용한다. 본 논문에서는 기존 체계지원 소프트웨어의 구조를 분석하여 이를 보완할 수 있는 체계지원 표준화 아키텍처를 설계하였다. 휘처 모델(Feature Model)을 통해 체계지원 소프트웨어의 공통요소와 가변요소를 도출하고, 화이트 박스 재사용(White-Box Reuse)을 적용하여 소프트웨어 설계를 개선하였다. 또한, 기존 체계지원 소프트웨어와 개발 요소 및 신뢰성 시험 수행 시간을 비교하여 새로운 아키텍처의 효과성을 검증한 결과를 제시하였다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제17권4호
• /
• pp.296-304
• /
• 2017

Purpose: Recent weapon systems in defense have increased the complexity and importance of software when developing multifunctional equipment. In this study, we analyze the accuracy of the proposed software reliability model when applied to weapon systems. Methods: Determine the similarity between software reliability analysis results (prediction/estimation) utilizing data from developing weapon systems and system failures data during operation of weapon systems. Results: In case of a software reliability prediction model, the predicted failure rate was higher than the actual failure rate, and the estimation model was consistent with actual failure history data. Conclusion: The software prediction model needs to adjust the variables that are appropriate for the domestic weapon system environment. As the reliability of software is increasingly important in the defense industry, continuous efforts are needed to ensure accurate reliability analysis in the development of weapon systems.

• International Journal of CAD/CAM
• /
• 제11권1호
• /
• pp.1-10
• /
• 2011

Product lifecycle management (PLM) is a new business strategy for enterprise's product R&D. A PLM system holds and maintaining the integrity of the product data produced throughout its entire lifecycle. There is, therefore, a need to build a safe and effective product data model to support PLM system. The paper proposes a domain-based product data model for PLM. The domain modeling method is introduced, including the domain concept and its defining standard along the product evolution process. The product data model in every domain is explained, and the mapping rules among these models are discussed. Mapped successively among these models, product data can be successfully realized the dynamic evolution and the historical traceability in PLM system.

• 한국컴퓨터정보학회논문지
• /
• 제23권4호
• /
• pp.175-182
• /
• 2018

In this paper, we propose a software education ecosystem model for activating software education donation. First, in order to investigate current software education donation status, we will conduct a survey on software education donors and analyze the results. 39.6% of the software education donors responded that they were introduced to software education donation activities through their affiliated companies, institutions, organizations. Therefore, it can be seen that the promotion of software education donation activities is the most effective by promoting through software companies, organizations, and organizations and using human networks. The subjects of software education donation activities were the highest at middle school students (73.9%), and the contents of software education donations were the highest at programming practice (63.3%). Donors' satisfaction with software education donation activities was 57.9%. The social support for SW education donors was in the order of software education contents support, activity cost support, equipment and network support, and place sponsorship. 87.4% of donors were willing to continue to donate to software education. The reason why they did not want to continue donating software education was 'lack of personal time' (65.4%). Therefore, it is necessary to develop appropriate social support and incentive system to overcome shortage of personal time in order to activate software education contribution. In order to promote sustainable software education donations, it is essential to establish a virtuous circle of software education donation ecosystem based on cooperation and solidarity with various organizations such as government, corporations, institutions, universities and civil society organizations.

• 한국IT서비스학회지
• /
• 제11권4호
• /
• pp.171-180
• /
• 2012

Since software and hardware integration has became a strategic tool for companies to innovate their products, an information system that can comprehensively manage software and hardware integrated product development is critical for the current product development. This paper proposed a product data model that can support modules of related software and hardware parts in Product Data Management(PDM) integrated with Software Configuration Management(SCM). The model allows engineers to define software and hardware product structure independently, and support the integration module that can summon related software and hardware parts to build a comprehensive module for collaboration. Through the integration module, engineers can identify and examine the effectiveness of their design alternatives to other related parts form different disciplines. The product data model was implemented as a prototype PDM system and tested with an example robotics product.

• 한국생산제조학회지
• /
• 제5권4호
• /
• pp.18-25
• /
• 1996

In this study, we have developed the stereolithography system that supports the development of a products. This paper presents the development of the stereolithography system. The system is composed of hardware, software and control part. The software converts a STL file to NC data and displays the monitoring figure in control part. The hardware part deals with structure of machine. The most important theme in this paper is LG-SLCAM software. This software can generate NC data and scanning condition data from a STL file semiautimatically. On the basis of three diensional shapes, it makes data for support structure from STL file. The effectiveness of using out stereolithography system is confirmed by processes of good development.

• 한국IT서비스학회지
• /
• 제10권2호
• /
• pp.235-245
• /
• 2011

Early criticality prediction models that determine whether a design entity is fault-prone or not are becoming more and more important as software development projects are getting larger. Effective predictions can reduce the system development cost and improve software quality by identifying trouble-spots at early phases and proper allocation of effort and resources. Many prediction models have been proposed using statistical and machine learning methods. This paper builds a prediction model using Support Vector Machine(SVM) which is one of the most popular modern classification methods and compares its prediction performance with a well-known prediction model, BackPropagation neural network Model(BPM). SVM is known to generalize well even in high dimensional spaces under small training data conditions. In prediction performance evaluation experiments, dimensionality reduction techniques for data set are not used because the dimension of input data is too small. Experimental results show that the prediction performance of SVM model is slightly better than that of BPM and polynomial kernel function achieves better performance than other SVM kernel functions.

• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• Nuclear Engineering and Technology
• /
• 제54권5호
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.

• 소프트웨어공학소사이어티 논문지
• /
• 제25권2호
• /
• pp.29-34
• /
• 2012

의료분야에서의 품질 관리의 중요성이 강화되면서 임상의사결정지원 시스템의 중요성이 높아지고 있다. 이로 인하여, 대형병원 뿐만 아니라 규모가 작은 지역 병원에서도 임상의사결정지원 시스템을 구축하는 것이 필요한 실정이다. 그러나 임상의사결정지원 시스템 구축은 지식저작과 정보시스템 구축, 기존 시스템과의 연동 등 다양한 활동이 필요한 작업으로 비용과 복잡도가 크다. 본 논문에서는 재사용 및 상호운영성을 보장할 수 있는 의료 지식과 재사용할 수 있는 임상의사결정 지원시스템 구축에 필요한 아키텍처를 구현한다. 3개 병원에 제안한 아키텍처 적용 결과를 바탕으로 아키텍처의 실무 적용 가능성 및 유용성을 검증한다.