• Proceedings of the KAIS Fall Conference
• /
• 2009.05a
• /
• pp.659-662
• /
• 2009

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 무한고장수를 가진 비동질적인 포아송 과정에 기초하고 수명분포는 신뢰도 측면에서 여러 분포들을 적합시키는데 효율적인 특성을 가진 와이블분포를 이용한 최적 방출시기에 관한 문제를 제시하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의되었다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.149-152
• /
• 2010

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 인도시기에 관한 모형은 무한 고장 수에 의존하는 비동질적인 포아송 과정을 적용하였다. 이러한 포아송 과정은 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성을 반영하는 모형이다. 적용모형은 여러 수명 분포들을 적합시키는데 효율적인 특성을 가진 콤페르쯔, 파레토, 로그-로지스틱 모형과 같은 로그형 특성분포를 이용하였다. 따라서 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 방출시간이 최적 소프트웨어 방출 정책이 된다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하여 최적 방출시기를 추정하였다.

• Journal of Life Science
• /
• v.33 no.3
• /
• pp.268-276
• /
• 2023

This study was conducted to optimize the formulation conditions of the immediate-release layer of carvedilol in the development of a two-layer tablet formulation for carvedilol and ivabradine. Using a 2⁴+3 full-factorial design of experiments, excipients (microcrystalline cellulose, citric acid, and crospovidone) of the carvedilol immediate-release layer (wet granulation part) and process parameters for the tablet compression process (main compression) were optimized, and seven types of each dependent variable (assay, content uniformity, hardness, friability, disintegration, and dissolution [pH 1.2 and 6.8]) were evaluated using design expert software. The analysis of variance results confirmed that the main compression has a significant effect on hardness, friability, and disintegration time and that microcrystalline cellulose has a major effect on friability and dissolution. In addition, it was confirmed that citric acid has a significant effect on friability. Crospovidone affects friability and dissolution. According to the design space from the design of the experiment results, the optimized range is microcrystalline cellulose (~18.0-32.0 mg), citric acid (~0.5-12 mg), and main compression (~615-837 kgf). Consequently, this study confirmed the availability of manufacturing the carvedilol immediate-release layer in which all risk factors evaluated in the initial risk assessment are removed.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.11
• /
• pp.1-8
• /
• 2011

The requirement of a system-on-a-chip (SoC) design is increasing, which combines various and complex functional units on a single device. However, short time to market prohibits to release the device. To satisfy this shorter time-to-market, verification of both hardware and software at the same time is important. A virtual platform-based design method supports faster verification of these combined software and hardware by reusing pre-defined intellectual properties (IP). In this paper, we introduce the virtual platform-based design and redesign the existing ARM processor based S3C2440A system using the virtual platform-based method. In addtion, we implement and evaluate the performance of a JPEG decoder on the S3C2440A virtual platform. Furthermore, we introduce an optimized technique of the JPEG decoder using the ARM based inline assembly language, and then verify the performance improvement on the virtual platform. Such virtual platform-based design allows to verify both software and hardware at the same time and can meet the requirement of the shorter time-to-market.

• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.1
• /
• pp.33-39
• /
• 2017

This paper describes the system engineering approach for the heat transfer analysis of plus7 fuel rod for APR1400 using, a commercial software, ANSYS. The fuel rod is composed of fuel pellets, fill gas, end caps, plenum spring and cladding. The heat is transferred from the pellet outward by conduction through the pellet, fill gas and cladding and further by convection from the cladding surface to the coolant in the flow channel. The goal of this paper is to demonstrate the temperature and heat flux change from the fuel centerline to the cladding surface when having maximum fuel centerline temperature at 100% power. This phenomenon is modelled using the ANSYS FEM code and analyzed for steady state temperature distribution across the fuel pellet and clad and the results were compared to the standard values given in APR1400 SSAR. Specifically the applicability of commercial software in the evaluation of nuclear fuel temperature distribution has been accounted. It is note that special codes have been used for fuel rod mechanical analysis which calculates interrelated effects of temperature, pressure, cladding elastic and plastic behavior, fission gas release, and fuel densification and swelling under the time-varying irradiation conditions. To satisfactorily meet this objective we apply system engineering methodologies to formulate the process and allow for verification and validation of the results acquired. The close proximity of the results obtained validated the accuracy of the FEM analysis of the 2D axisymmetric model and 3D model. This result demonstrated the validity of commercial software instead of proprietary in-house code that is more costly to develop and maintain.

• Journal of Korea Society of Industrial Information Systems
• /
• v.14 no.5
• /
• pp.61-73
• /
• 2009

Many software reliability growth models(SRGM) have been proposed since the software reliability issue was raised in 1972. The technology to estimate and grow the reliability of developing S/W to target value during testing phase were developed using them. Most of these propositions assumed the S/W debugging testing efforts be constant or even did not consider them. A few papers were presented as the software reliability evaluation considering the testing effort was important afterwards. The testing effort forms which have been presented by this kind of papers were exponential, Rayleigh, Weibull, or Logistic functions, and one of these 4 types was used as a testing effort function depending on the S/W developing circumstances. I propose the methology to evaluate the SRGM using least square estimater and maximum likelihood estimater for those 4 functions, and then examine parameters applying actual data adopted from real field test of developing S/W.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.5
• /
• pp.124-133
• /
• 2003

We propose an application of the Object-Oriented design methodology to develop operational flight program(OFP) for stores management computer(SMC) which manages and controls stores inventory, stores activation, launch for missiles, and release of the conventional weapons. For the development of SMC, a military version of PowerPC 603e is used as a central processing unit board and VxWorks real-time operating system is used. The Tornado software development environment(SDE) and the programming language Ada95 are used for OFP development. We design three layerd in the OFP for the independency of the software modules. An avionics system computer(ASC) simulator and a test bench are developed for the SMC integration test and verification test. And the tests are rigorously and successfully conducted.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.6
• /
• pp.521-530
• /
• 2013

This paper proposes a task parallelism system (BioMP) to improve applications' execution time of multicore based mobile device. When application developers append the functions of parallel specification into the existing software, our proposed system supports the parallel processing of threads as well as a compatibility. BioMP improves the software in order that an existing large-scale source can recognize the multicore architecture. From our experiment, our idea improved the execution time of application until about 64% against the existing system in multicore environment based on quad core. In addition, BioMP does not require any additional modification of a mobile platform because BioMP is independent component. Consequently, when application developers release multicore-aware applications into the application store, users can immediately run without any modification of the mobile device.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.67-76
• /
• 1991

For several years, graduate students and faculty of the Engineering Systems Research Center at U.C., Berkeley have been studying new methods of planning and scheduling in a computer integrated manufacturing environment, with particular emphasis on large scale integrated circuit fabrication. One part of this work, focusing on short interval scheduling, uses simulation models as a primary research tool. We have built two versions of the same basic model (programmed in C) to study two different problems (one deals with machine down time and the other with setup times). These have proven to be efficient for studying particular problems, but are difficult and time consuming to modify. We are convinced that our research will be more effective: (1) if it were easier to build special purpose models tailored to the research question at hand; and (2) if we had better interfaces to graphics output. Commercially available factory simulators are inadequate for this research for a variety of reasons. Existing packages such as SIMKIT, SLAM, SIMAN and EXCELL have their own weaknesses. Typically, they are hard to develop and to modify. They do not allow for adding new dispatching decisions or release decision. Also, it is hard to add more machines to existing environment or change the route the product flows. For these various reasons, we had developed a new simulation package having flexibility and modularity. In this paper, based on experiences gained in the application of object oriented programming, we discuss unique features of the simulator developed in OOPS and ways to take advantage of features in developing and using manufacturing simulation software written in the OOPS

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.11
• /
• pp.2569-2574
• /
• 2013

In 13.56MHz RFID system of Auto-ID center, STAC protocol is defined as an anti-collision algorithm for multiple tag reading. In STAC protocol, the reader uses the tag number estimation scheme to determine the number of slots for the next reply round. If errors occur in the estimated number of tags, the identification performances will be degraded due to a lot of collision or idle slots. Therefore, in this paper, we propose an ERPB algorithm that the reader cancels the reply round when it experiences a series of collision or idle slots during the current round. The transmission probability control for the tag is also applied to the proposed algorithm. Through simulations, it is demonstrated that the collision rate for the proposed scheme is about 39% lower than STAC protocol. Therefore, the proposed scheme can achieve faster tag identification time compared with STAC protocol due to the low collision rate.