• The Journal of the Convergence on Culture Technology
• /
• v.7 no.3
• /
• pp.469-474
• /
• 2021

Nowadays, a lot of software engineers struggle with the efficient back-end design of mobile application programs operated on the new mobile platform. It is simply because not only their lack of experiences in developing large scale system but also the unstructured nature of the mobile software, where there are no standard solutions. Furthermore, since big data is at the center of many challenges in system design of mobile software, so an efficient system design scheme is required for the development of such data-intensive applications. In this paper, we propose a systematic and efficient system design method that can figure out the substantial nature of the mobile software and solve the difficulties of the back-end software engineers.

• 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.

• Journal of Information Technology Applications and Management
• /
• v.19 no.2
• /
• pp.135-147
• /
• 2012

Software architecture, as a blueprint for the system, should provide a robust foundation for design, implementation, and maintenance, for communication and documentation, and for reasoning about important system properties. Software architecture plays a central role during the whole software life-cycle. There are so diverse definitions of the software architecture, however, and there is no common agreement about what software architecture is. Examining 27 'published' definitions of software architecture, we synthesize an extensive model on the essential elements of software architecture, which consists of components, interaction among components, well-formed structure, reasons, and various perspectives. Further, we explore the possibility of unifying diverse software architecture definitions into a software architecture life-cycle model.

• Journal of Integrative Natural Science
• /
• v.10 no.4
• /
• pp.249-257
• /
• 2017

The main focus when developing software is to improve the reliability and stability of a software system. We are enjoying a very comfortable life thanks to modern civilization, however, comfort is not guaranteed to us. Once software systems are introduced, the software systems used in the field environments are the same as or close to those used in the development-testing environment; however, the systems may be used in many different locations. Development of software system is a difficult and complex process. Generally, existing software reliability models are applied to software testing data and then used to make predictions on the software failures and reliability in the field. In this paper, we present an improved exponential NHPP software reliability model in different development environments, and examine the goodness-of-fit of improved exponential model and other model based on two datasets. The results show that the proposed model fits significantly better than other NHPP software reliability model.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.1-8
• /
• 2005

The importance of software is getting high in development of the digital device (digital camcoder, digital camera, mp3 player, ....). And because the sire of software becomes larger and complicated, the necessity of software configuration management (to solves a software crisis) is increased. The general software configuration management system shows lack of the property and features of software development environment for image processing algorithm due to its wide range to be covered. Image processing algorithm development environment has properties like repetitive analysis and simulation using visual programming environment where, beside support of elementary development functions. component(or library) can be combined and tested interactively. Moreover, the method to look fast and effectively for component having similar function is required. In this paper, we present the system which supports the software configuration management method for a simulation tool and the property in the visual programming environment. And we relate our system to real simulation tool so as to check its ability as the software configuration management system for image processing algorithm development environment.

• IE interfaces
• /
• v.2 no.1
• /
• pp.1-21
• /
• 1989

This paper introduces some practical guidelines which system developer should consider in installing MRP system. And some difficulties which he will encounter and should overcome are illustrated. An MRP software is introduced which was developed by a Korean software company and is being used by several manufacturing companies. Software modules, sturucture of data files and output reports are explained for the software.

• Journal of the Korean Society for Precision Engineering
• /
• v.9 no.1
• /
• pp.34-43
• /
• 1992

Computer Intergrated Manufacturing (CIM) is an emerging technology which aims at the total automation of a manufacturing system. Despite the extensive research on CIM in this decade, total automation seems to be far from reality for many reasons. In this study, the problems of implementing a CIM system are analyzed and a solution method is suggested. A set of software has been developed and tested for a workstation cotroller which controls closely integrated equipment in the low level of a flexible manufacturing system. The functions of the programs are communications between machines and computers and control of workstation scheduling. The software group is developed on IBM OS/2 operating system with 'c' language to enhance the portability. The usage of the software is presented to users through the Presentation Manager which is menu handler of OS/2 system. Although the software is developed for limited machine equipment, the scheme can be adopted to various machines due to the generality.

• Journal of Biosystems Engineering
• /
• v.24 no.3
• /
• pp.267-274
• /
• 1999

An internet and network based software and related interface have been developed, which can remotely control and manage an on-site operating system. Developed software modules were composed of two parts: monitoring/management modules and control/diagnosis modules were developed for the network status, warehouse, production and selling status. Modules of control with diagnosis were developed for the on-site operating system and interface. Each module was integrated and the whole modules have been tested with an automatic mushroom grading/sorting system which was built in a laboratory. Developed software modules worked successfully without any uncommon situations such as system down caused by the software or data transfer error. Each software module was developed independently in order to apply easily to other existing on-site systems such as rice processing centers, fruit and vegetable sorting, packaging and distribution centers scattered over the country.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.40-43
• /
• 1996

An off-line programming, OLP, system is widely used in automation fines. To help an on-line robot system to carry out desirable tasks planned by the off-line simulation, an approach to the real-time communication is presented. The OLP system developed consists of a software, a host computer(PC), a SCARA robot body, four servo drivers, and four independent joint controllers. This study focuses on the software where real-time communication is included. The software, can be used in teaching, trajectory planning, real-time running, and performance evaluation. The evaluation of different control algorithms is one of the merits of the software. The software can give servo commands for task running. A comparison of generated and corresponding actual trajectories provides the evaluation of task performance. The safety, of the OLP system is ensured by alarming malfuntions of the system. The OLP system developed can reduce the teaching time and increase the user's convenience.

• Journal of the Korean Society for Railway
• /
• v.1 no.1 s.1
• /
• pp.10-19
• /
• 1998

Described in this paper is the software to design of a railway interlocking table, which describes the functional specifications of an interlocking device. Interlocking tables has been designed mainly based on personal expertise among signal engineers. However, this expertise needs to be analyzed with technical uniformity and integrated in an organized system. The proposed software is amount to the signal engineer's expertise, yet a generalization of interlocking reasoning. The algorithm is based on the train route setting principle, and is applicable in solving practical problems by computers. The software was evaluated through man-made and machine-made interlocking tables are compared. The evaluation results proves the software to be effective for computer control of the signaling system as interlocking system with a much improved safety.