• Current Industrial and Technological Trends in Aerospace
• /
• v.6 no.1
• /
• pp.65-73
• /
• 2008

As the system requirements of performance, weight, cost are increasing, the needs of electronic parts which have high performance and efficiency are growing. To satisfy such requirements, demand of high performance and rapid upgraded commercial parts is also increasing compared to NASA or ESA standard parts. Especially, commercial PEM(Plastic Encapsulated Microcircuit) parts are applied in many space programs and research is continuing to broaden its application area. In this paper, concerns and verification trends of commercial PEM parts in space applications are introduced.

• Journal of Computing Science and Engineering
• /
• v.11 no.1
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• Communications for Statistical Applications and Methods
• /
• v.2 no.1
• /
• pp.32-47
• /
• 1995

The coefficient of determination R/sup 2/, as the proprtation of by explained by a set of independent variavles x/sub 1/, x/sub 2, .cdots., x/sub k/ through a linear regression model, is a very useful tool in linear regression analysis. Suppose R/sup 2//sub yx/ is the coefficient of determination when y is regressed only on x/sub i/ alone. If the independent variables are correlaated, the sum, R/sup 2//sub {yx/sub 1/}/ +R/sup 2//sub {yx/sub 2/}/+.cdots.R/sup 2//sub {yx/sub k/}/, is not equal to R/sup 2/sub {yx/sub 1/x/sub 2/.cots.x/sub k/}/, where R/sup 2//sub {yx/sub 1/x/sub 2/.cdots.x/sub k/}/ is the coefficient of determination when y is regressed simultaneously on x/sub 1/, x/sub 2/,.cdots., x/sub k/. In this paper it is discussed that under what conditions the sum is greater than, equal to, or less than R/sup 2//sub {yx/sub 1/x/sub 2/.cdots.x/sub k/}/, and then the proofs for these conditions are given. Also illustrated examples are provided. In addition, we will discuss about inequality between R/sup 2//sub {yx/sub 1/x/sub 2/.cdots.x/sub k/}/ and the sum, R/sup 2//sub {yx/sub 1/}/+R/sup 2//sub {yx/sub 2/}/+.cdots.+R/sup 2//sub {yx/sub k/}/.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.5 s.43
• /
• pp.149-156
• /
• 2006

The demands for the development of large scale software systems are being increased. Various software development methods have been introduced to meet these demands. The unit size of the codes that are reused is increasing in the development methods. These units reflect the concept of software reusability and can be identified as the object, component, and module. Recent trend in the development or a large scale software systems treats a commercial program as a unit to be reused. This approach lies along the same line as the identification of above three types of units. This paper shows how the above four types of units for enhancing the software reusability can be applied to the development of automatic graphic drawing System for a metal production.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.2
• /
• pp.187-192
• /
• 2009

Telecommand & telemetry control equipment is needed for the testing of the transponders during the development of satellite. This equipment must have a loopback function to perform the self testing without satellite. The fabrication of the designed system is easier and cheaper than the conventional testing system using direct modulation method. The measured results of fabricated equipment are satisfied with required specifications. A overall path loss of uplink and downlink is 47.8 dB and 42.6 dB, respectively. Also, IMD3 of uplink has measured 60.68 dBc at an output of -50 dBm.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.3
• /
• pp.18-29
• /
• 2000

This study presents a cost of efforts estimation model under the environment of developing a software using component software package tools. The approach taken was to drive from variety of sources in an attempt to identify the most significant factors. These sources ranged from already existing cost models like COTS integration cost and COCOMO models to information gathered in a data collection survey. Once the candidate drivers had been identified, the next step was to interview with the experts who had been experienced more than 5 years in component development area to identify the most significant driving factors. From those selected drivers, I established the Cost Estimation Model which is suitable for the developing a software using component software package tools by applying the general from of the well-know COCOMO software cost estimation model. To established the best fit in Korean Software industry, I used Regression statistical analysis with 31 data collections.

• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Nuclear Engineering and Technology
• /
• v.50 no.8
• /
• pp.1298-1305
• /
• 2018

The use of System-on-Chip (SoC) solutions in the design of on-board data handling systems is an important step towards further miniaturization in space. However, the Total Ionizing Dose (TID) and Single Event Effects (SEE) characterization of these complex devices present new challenges that are either not fully addressed by current testing guidelines or may result in expensive, cumbersome test configurations. In this paper we report the test setups, procedures and results for TID testing of a SoC microcontroller both using standard $^{60}Co$ and low-energy protons beams. This paper specifically points out the differences in the test methodology and in the challenges between TID testing with proton beam and with the conventional gamma ray irradiation. New test setup and procedures are proposed which are capable of emulating typical mission conditions (clock, bias, software, reprogramming, etc.) while keeping the test setup as simple as possible at the same time.

• Journal of Astronomy and Space Sciences
• /
• v.37 no.4
• /
• pp.219-228
• /
• 2020

A CubeSat platform has become a popular choice due to inexpensive commercial off-the-shelf (COTS) components and low launch cost. However, it requires more power-efficient and higher-data rate downlink capability for space applications related to remote sensing. In addition, the platform is limited by the size, weight and power (SWaP) constraints as well as the regulatory issue of licensing the radio frequency (RF) spectrum. The requirements and limitations have put optical communications on promising alternatives to RF communications for a CubeSat platform, owing to the power efficiency and high data rate as well as the license free spectrum. In this study, we analyzed the performance of optical downlink communications compatible with CubeSat platforms in terms of data rate, bit error rate (BER) and outage probability. Mathematical models of BER and outage probability were derived based on not only the log-normal model of atmospheric turbulence but also a transmitter with a finite extinction ratio. Given the fixed slot width, the optimal guard time and modulation orders were chosen to achieve the target data rate. And the two performance metrics, BER and outage data rate, were analyzed and discussed with respect to beam divergence angle, scintillation index and zenith angle.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.24 no.4
• /
• pp.48-54
• /
• 2020

Low cost launch vehicle for next-generation is underway in advanced space countries such as the United States, Europe, Japan and China. This paper surveys the latest technological trends in avionics system, including ground management system. In the case of on-board equipment, to make short the development period and reduce the cost, the equipment is standardized and modularized for each functions to flexibly respond to changes in system requirements. In addition, a network is applied to all inter-equipment interfaces and a powerful self-diagnostic function is included in the equipment to realize automation/simplification of the interface with the ground system, and it is confirmed that an efficient launcher system is realized.