• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• Current Industrial and Technological Trends in Aerospace
• /
• v.8 no.1
• /
• pp.62-76
• /
• 2010

In this paper, recent researches about the unmanned lunar lander development are studied. Objectives of this study are to derive research trends and to identify key design activities especially in early design phase of unmanned lunar lander. Case study covers SELENE-2 of Japan, LEDA and MoonNEXT of ESA, and small and modular spacecraft approach of NASA. Lunar lander concepts proposed for the International Lunar Network Anchor Nodes are also studied. For each lunar lander program, mission requirements are summarized and mission design results are reviewed. Approaches of safe lunar landing including design of navigation, guidance and control, combination of sensors, derived sensor and propulsion performance requirements are also analyzed.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• 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.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.4
• /
• pp.11-19
• /
• 2014

Modern systems development becomes more and more complicated due to the need on the ever-increasing capability of the systems. In addition to the complexity issue, safety concern is also increasing since the malfunctions of the systems under development may result in the accidents in both the test and evaluation phase and the operation phase. Those accidents can cause disastrous damages if explosiveness gets involved therein such as in weapon systems development. The subject of this paper is on how to incorporate safety requirements in the design of safety-critical systems. As an approach, a useful system structure using the method of design structure matrix (DSM) is studied while reflecting the need on systems safety. Specifically, the effects of system components failure are analyzed and numerically modeled first. Also, the system components are identified and their interfaces are represented using a component DSM. Combining the results of the failure analysis and the component DSM leads to a modified DSM. By rearranging the resultant DSM, a modular structure is derived with safety requirements incorporated. As a case study, application of the approach is also discussed in the development of a military UAV plane.

• The KIPS Transactions:PartA
• /
• v.19A no.2
• /
• pp.93-100
• /
• 2012

LLRP (Low-Level Reader Protocol) specifies an interface between RFID readers and RFID applications, also called LLRP servers and clients respectively. An LLRP server should concurrently execute various functions. This paper designs an LLRP server of a multi-threaded architecture. For that, (i) the operational procedure between LLRP servers and clients is investigated, (ii) the functional requirements of LLRP servers are presented, (iii) the operation of an LLRP server is decomposed into several threads to satisfy those functional requirements, and (iv) the operational procedure is further examined in thread-level. To validate the designed architecture, it is modeled and simulated by using the DEVS formalism which specifies discrete event systems in a hierarchical, modular manner. From the simulation result, we can conclude that the proposed architecture conforms the LLRP standard and satisfies all the given functional requirements.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.7
• /
• pp.72-84
• /
• 2001

This paper proposes a design methodology for customer, assembly and disassembly considering recycling. The disign process starts with the identification of customer needs, which are in turn converted into functional requirements. The concepts of Design for Customer(DFC), Design for Assembly(DFA), Design for Variety(DFV) and Design for Disassembly(DFD) are considered in the product design phases in order to decreas production variety and mass customization. And, a new module generation approach is developed for rearranging and clustering parts and subassemblies for disassembly and recycling. Based on the result of the module generation, a new configuration methodology is suggested to minimize the disassembly time or number of disassembly operations for recycling.

• Electronics and Telecommunications Trends
• /
• v.4 no.1
• /
• pp.35-43
• /
• 1989

The evolution of telecommunications has raised the profile of many segments of the network that were not previously considered important. Until recently, basic telephony existed with the extension of passive cables without any particular user network interface. In the area of data communications, the introduction of flexible packet switching has allowed the network to evolve in a far more efficient manner. To overcome such separated network problems and business needs of both users and network providers, the integrated narrowband ISDN concept is being developed in most countries for implementation in the public switched telephone network (PSTN). The targets of ISDN, in my opinion, can be explained as follows : To the user, ISDN should provide the services at any time, at any place, through any media. To the business customer using PABX or LAN applications, ISDN should introduce customized services rapidly and also, ISDN should be developed by the modular hardware and software design approach in order for new services to be introduced rapidly and effectively. Software can be also developed by non-expert local staff to cater for adopting new user's service requirements immediately. Finally, ISDN will be able to increase business chances and benefit both users and operating companies.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1063-1068
• /
• 2008

A lens system of a camera module for mobile phones is comprised of the composition and design of various shapes of lens. To improve responses such as the modular transfer function (MTF), a lens system should always be constructed by considering uncertainty that can be caused by manufacturing and assembly error. In this study, tolerance optimization using the Latin Hypercube Sampling (LHS) technique is performed. In order to reduce the computational burden of the tolerance optimization process and decrease the influence from numerical noise effectively, we use the Progressive Quadratic Response Surface Modeling (PQRSM), which is one of Sequential Approximate Optimization (SAO) techniques. Using this method, we achieved optimal tolerance for each lens and obtained reliability for satisfying user‘s requirements. In addition, through the design process the manufacturing and assembly cost of a lens system was reduced.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.5
• /
• pp.325-332
• /
• 2010

A lens system for mobile phone cameras is comprised of various lenses and designed so as to satisfy design requirements for responses such as a modular transfer function (MTF). However, it is difficult to manufacture and assemble camera modules to maintain the same performance compared with the designed camera modules, because of uncertainty. We should always design a lens system by considering uncertainty that can be caused by errors in the manufacturing and assembly process of mobile phone cameras. The robust optimization offers tools of making robust decisions with the consideration of design parameters, uncontrollable parameters, and the variance of the system. Using an efficient reliability analysis method and an optimization algorithm, we obtained robust optimization results that maximize the mean of MTF and minimize the standard deviation and proposed a new robust design process for a lens system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.78-85
• /
• 1998

The paper introduces major technical specifications of the Line II railway simulators of Pusan City in Korea. Comparing design specifics of the railway simulators with of the light aircraft Flight Training Device(FTD, the paper reveals commonality of implementation technologies applied to both simulators: Overall configurations and design philosophies are basically the same. In both programs VMEbus computing systems with UNIX are adapted as backbones of the simulators. It is found that the railway simulators are less stringent in real-time requirements than the aircraft FTD, and the railway simulators are designed to be more event-driven and object-oriented. The experiences show that models may be diverse depending on the objects but implementation technologies are about the same. Maximizing portability of implementation technologies is a matter of an organizations strategy of adopting standardized processes and modular technologies available and most economic to them.