• Journal of Digital Contents Society
• /
• v.15 no.1
• /
• pp.11-18
• /
• 2014

The strength of our country is based on high-speed networks to build a nationwide health information network to improve the quality of health care is needed. However, nature of the medical services in the hospital medical record form, so that all departments characterize each medical department, a common format that can be used for all disease is a very difficult challenge. This study is one of the ways to improve this priority issue on health information sharing medical information system(PACS/HIS) information linkage between the problem of information, compatibility and security issues derived. The problem is derived from the requirements of theorem 3 to 6 items. This is effective in order to improve sharing of medical information for the purpose of designing the software system. Sharing of medical information software system design are derived from stakeholders, requirements analysis, architecture design, software framework, configuration, architecture evaluation process. This study is based on the medical information standardization environmental diagnosis of a medical information system design. Software design philosophy is based on a new framework for deriving the function and mechanism made up.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.229-232
• /
• 1998

Modern telecommunications are increasingly demanding the addition of complex switching features to switching system software. These improvements also should satisfy customer demands for quick provisioning of new service features. But whenever we have developed the switching system in various types, we met problems that are lack of system engineers and short developments terms. We need new guidelines of software design to meet the demands and overcome our problems. So we propose new software platform, scenario driven call control engine (SDCCE) for ATM switching system software and implement an effective call control software using scenarios for ATM Switching System. A scenario is a set of procedures and supplementary scenarios written in data structure and gives benefits to easy adapt new or modified function by adding a scenario. The goal of SDCCE is to increase reusability and readability of software. Especially, it gives a good software extensibility and maintainability. And when we developed ptmp call processing control software, we could get high productivity by reusing scenarios and procedures of ptp call processing control software. We applied the scenario driven call control software to ATM switching system.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1477-1478
• /
• 2004

Science the change of development methods and environment of the software is rapidly kept going in industry, previous manual test methods will not be able to guarantee the quality of software. Therefore the software test automation tools is being developed actively. And many of the tools which is reliable is applied and used in domestic organizations. Indirect test techniques currently are used For the improvement of the software quality, such as formal specification and design, structural programming. And also the various do direct test techniques are used to the measurement of software quality through the fault detection and modification, such as black box, which box and test automation tools. In this survey, the software test automation tools which predicate and access the software quality at the software development phase for the improvement of the software quality should be introduced.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.3
• /
• pp.135-142
• /
• 2012

The Quality of embedded system depends on the embedded software. As the complexity and the size of embedded software have been increasing, it is more likely that the software may include faults, and the reliability and stability issues are getting more important. In this paper, we propose a remote test tool for software based on VxWorks by using fault injection method. The test tool consists of test server and test client for testing on the cross development environment. The test server operates in the host system and user can not only test but also monitor the software by using it. The test client operates in the target system and it controls kernel objects and sends the input data into the software when receiving the control and data from the test server. We developed the prototype software and demonstrated the ability of testing software robustness by injecting faults.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.12
• /
• pp.65-72
• /
• 2018

In this paper, we have studied how to reuse common data link software by applying software product line engineering. Existing common data link software performed different stages of design, implementation, and testing without sharing the accumulated knowledge of different developers. In this situation, developers agreed that sharing the assets of each project and reusing the previously developed software would save human and time costs. Even with the initial difficulties, the common Data Link is a continually proposed project in the defense industry, so we decided to build a product line. The common data link software can be divided into two domains. Among them, the initial feature model for the GUI software was constructed, and the following procedure was studied. Through this, we propose a plan to build a product line for core assets and reuse them in newly developed projects.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.11
• /
• pp.1074-1081
• /
• 2011

As robotics systems are becoming more complex there is the need to promote component based robot development, where systems can be constructed as the composition and integration of reusable building block. One of the most important challenges facing component based robot development is safeguarding against software component failures and malfunctions. The health monitoring of the robot software is most fundamental factors not only to manage system at runtime but also to analysis information of software component in design phase of the robot application. And also as a lot of monitoring events are occurred during the execution of the robot software components, a simple data treatment and efficient memory management method is required. In this paper, we propose an efficient events monitoring and data management method by modeling robot software component and monitoring factors based on robot software framework. The monitoring factors, such as component execution runtime exception, Input/Output data, execution time, checkpoint-rollback are deduced and the detail monitoring events are defined. Furthermore, we define event record and monitor record pool suitable for robot software components and propose a efficient data management method. To verify the effectiveness and usefulness of the proposed approach, a monitoring module and user interface has been implemented using OPRoS robot software framework. The proposed monitoring module can be used as monitoring tool to analysis the software components in robot design phase and plugged into self-healing system to monitor the system health status at runtime in robot systems.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.