• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제53차 동계학술대회논문집 24권1호
• /
• pp.175-176
• /
• 2016

본 논문에서는 개방형 교육시스템 학습모형을 적용한 디자인 패턴 교육을 위한 개방형 교육 시스템을 통한 학습을 제안한다. 소프트웨어 디자인 패턴은 정형화된 답이 없으며 상황에 따라 유동적으로 사용되지만, 기존의 디자인 패턴 온라인 교육 시스템은 일방적으로 이루어져 있고 시중에 판매되는 책을 통해 디자인 패턴을 이해하기에는 어려운 부분이 많이 존재한다. 따라서 이러한 문제를 해결하고자 디자인 패턴 교육을 위한 개방형 교육 시스템을 제안한다. 디자인 패턴의 개념과 사례를 통해 기본적인 지식을 습득하고 디자인 패턴의 퀴즈와 실습을 해 이해도를 높인다. 또한, 일방적인 학습이 아닌 사용자들 간의 토론을 통해 한 방향에서 디자인 패턴을 보는 것이 아닌 다양한 시점에서 볼 수 있어 창의력도 함께 증진할 수 있다.

• Journal of Multimedia Information System
• /
• 제8권4호
• /
• pp.259-266
• /
• 2021

Security vulnerabilities have been reported in major design software systems such as Adobe Photoshop and Illustrator, which are recognized as de facto standard design tools in most of the design industries. Companies need to evaluate and manage their risk levels posed by those vulnerabilities, so that they could mitigate the potential security bridges in advance. In general, security vulnerabilities are discovered throughout their life cycles repeatedly if software systems are continually used. Hence, in this study, we empirically analyze risk levels for the three major graphical design software systems, namely Photoshop, Illustrator and GIMP with respect to a software vulnerability discovery model. The analysis reveals that the Alhazmi-Malaiya Logistic model tends to describe the vulnerability discovery patterns significantly. This indicates that the vulnerability discovery model makes it possible to predict vulnerability discovery in advance for the software systems. Also, we found that none of the examined vulnerabilities requires even a single authentication step for successful attacks, which suggests that adding an authentication process in software systems dramatically reduce the probability of exploitations. The analysis also discloses that, for all the three software systems, the predictions with evenly distributed and daily based datasets perform better than the estimations with the datasets of vulnerability reporting dates only. The observed outcome from the analysis allows software development managers to prepare proactively for a hostile environment by deploying necessary resources before the expected time of vulnerability discovery. In addition, it can periodically remind designers who use the software systems to be aware of security risk, related to their digital work environments.

• Computers and Concrete
• /
• 제10권4호
• /
• pp.331-347
• /
• 2012

This paper describes the varying material model, the analysis method and the software development for reinforced concrete circular columns confined by spiral or hoop transverse steel reinforcement and subjected to eccentric loading. The widely used Mander model of concentric loading is adapted here to eccentric loading by developing an auto-adjustable stress-strain curve based on the eccentricity of the axial load or the size of the compression zone to generate more accurate interaction diagrams. The prediction of the ultimate unconfined capacity is straight forward. On the other hand, the prediction of the actual ultimate capacity of confined concrete columns requires specialized nonlinear analysis. This nonlinear procedure is programmed using C-Sharp to build efficient software that can be used for design, analysis, extreme event evaluation and forensic engineering. The software is equipped with an elegant graphics interface that assimilates input data, detail drawings, capacity diagrams and demand point mapping in a single sheet. Options for preliminary design, section and reinforcement selection are seamlessly integrated as well. Improvements to KDOT Bridge Design Manual using this software with reference to AASHTO LRFD are made.

• 대한기계학회논문집A
• /
• 제26권1호
• /
• pp.83-94
• /
• 2002

Analysis technology is widely accepted and quite popular these days. Incorporation of the analysis result into design process is a key factor for the success of the analysis area. A few design software products have been commercialized. Generally, they are trying to make an interface between various design methods and analysis software. Optimization is a representative design method. The products are investigated and compared for the aspects of user convenience and algorithm performance. A few popular products are selected. Graphic user interface (GU) is compared for the function and efficiency. The performances of the optimization algorithms are tested by mathematical and engineering examples. The results are discussed.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집C
• /
• pp.176-181
• /
• 2001

Analysis technology is widely accepted and quite popular these days. Incorporation of the analysis result into design process is a key factor for the success of the analysis area. A few design software products have been commercialized. Generally, they are trying to make an interface between various design methods and analysis software. Optimization is a representative design method. The products are investigated and compared for the aspects of user convenience and algorithm performance. A few popular products are selected. Graphic user interface (GUI) is compared for the function and efficiency. The performances of the optimization algorithms are tested by mathematical and engineering examples. The results are discussed.

• 한국산학기술학회논문지
• /
• 제11권12호
• /
• pp.5072-5082
• /
• 2010

본 논문은 소프트웨어 아키텍처의 설계를 위한 방법론을 제안한다. 논문의 제안하는 아이디어는 시스템에 존재하는 액터(actor)나 모듈, 통신요소 간의 인터페이스를 식별하면, 이 인터페이스에 연결된 모듈을 단계적으로 탐색해 나가는 방식을 활용한다. 그리고 설계범위의 인터페이스와 모듈을 점차 확장해 나감으로써 아키텍처의 설계가 완료될 때까지 설계를 점진적으로 진행해 간다. 이 방법은 기본적인 아키텍처 설계의 접근을 인터페이스로부터 출발하여, 이 인터페이스의 입력을 기다리는 모듈, 그리고 다시 이 모듈로부터 출력 인터페이스를 확인하는 방법을 통해, 설계의 원인과 결과가 서로 연관되게 함으로써 자연스러운 설계를 유도한다고 할 수 있다. 또한, 제안 방법은 아키텍처 설계에 필요한 5개의 아키텍처 뷰를 정의하고, 설계과정에서 아키텍처 패턴의 활용하도록 하고 있다. 특히, 이 방법은 아키텍처 설계를 처음 습득하는 설계자들에게 설계방법에 대한 구체적인 이해를 도모한다는 장점을 제공한다.

• Journal of Positioning, Navigation, and Timing
• /
• 제8권4호
• /
• pp.139-152
• /
• 2019

The design of new navigation signals is a key factor in building new satellite navigation systems and/or modernizing existing legacy systems. Navigation signal design involves selecting candidate groups and evaluating and analyzing their signal performances. This process can be easily performed through software simulation especially at the beginning of the development phase. The analytical signal performance analysis software introduced in this study is implemented based on equations between the signal design parameters of Radio Navigation Satellite Service (RNSS) and the navigation signal figures-of-merit (FoMs). Therefore, this study briefly summarizes the RNSS signal design parameters and FoMs before introducing the developed software. After that, we explain the operating sequence of the implemented software including the Graphical User Interface (GUI), and calculate the FoMs of an example scenario to verify the feasibility of the software operations.

• 산업공학
• /
• 제25권4호
• /
• pp.416-421
• /
• 2012

One of the activities to improve software quality in ISO 26262 is to apply the design principles for software unit design and implementation mentioned in ISO 26262-6, including the evaluation activity. Before evaluation activity, the tool is compared and selected for evaluation. Because the results of the tool a company selected might have an effect on product quality. In this paper, we suggest the method to compare industrial static analysis tools with some of "MISRA C : 2004 Exemplar Suite" and all lessons learned from comparing tools are described. The result on comparison shows that we just couldn't rely on a result of Static Analysis Tool and need to have another appropriate processes and guidelines to evaluate a software.

• 전산구조공학
• /
• 제25권4호
• /
• pp.63-70
• /
• 2012

This article introduces ADAPT Corporation's latest software product for the integrated multistory analysis and design of concrete buildings, ADAPT Edge. Edge uniquely packages user-friendly modeling of multistory buildings, accurate gravity and lateral analysis, post-tensioning, and detailed slab and beam design, all in one software package. The benefits of Edge over traditional concrete design software are explained.