• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.05a
• /
• pp.379-382
• /
• 2017

Shipping and logistics safety, security system is strengthening worldwide, the development of shipping and logistics safety security core technology for national security logistics system construction has been carried out. In addition, it is necessary to localize the Array Detection System, which is a core component of the container search machine, to cope with the 100% pre-inspection of the container scheduled for 2018 in the United States. In this paper, we propose a test software program developed by using TI-RTOS (Texas Instruments - Real Time Operating System) with a test digital signal processing board which is developed self development.

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

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.11
• /
• pp.1279-1289
• /
• 1992

Fault-tolerant system in improved the reliability and safety by using hardware and software redundancy. Fault mask and detection, identification techniques are conditionally used with system's application areas. Here DMR system is operated with standby and fail-safe module method that has minimal hardware and software redundancy, then its reliablity and safety comparison is presented respectively. Also this paper proposed an effective methods of dealing with transient faults as compared system's MTTFs to transient faults tolerance capabilities of self-diagnosis program.

• Proceedings of the Safety Management and Science Conference
• /
• 2006.04a
• /
• pp.525-544
• /
• 2006

This paper is to introduce guidelines for project quality management system. International standards such as ISO 10006, IEC 62198, ISO/IEC TR 16326 and ISO 15188 are considered. This study is to discuss guidelines for quality management in projects, and application guidelines for project risk management, and guide for the application of ISO/IEC 12207 to software project management, and project management guidelines for terminology standardization.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.205-210
• /
• 2004

The PRT(Personal Rapid Transit) system has been being researched and examined to efficiently provide high quality services to passengers against the traffic congestion of the capital region. With concept that PRT differentiated from GRT(Group Rapid Transit), PRT generally is a tracked vehicle system operating with unmanned. The embedded software of PRT Automated Control system generally is comprised of the central software, stations software and vehicle software. The controllers of these software interface to each other using its RF communication antennas. In this paper, each embedded software of the PRT system should be applied to an incremental and systematic test approach technique in the design and implementation phase, because the reliability and safety of the PRT system should be assured

• Journal of Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

• Nuclear Engineering and Technology
• /
• v.19 no.1
• /
• pp.42-50
• /
• 1987

Through a project "Development of Nuclear Safety Parameter Monitoring System", a nuclear data link system was established between Kori nuclear unit 2 and Nuclear Safety Center. We present in this paper the selected parameter sets, a description of the developed pseudo-network software and the functional descriptions of the equipments involved. We also include the conceptual design of the Kori four unit ERF/SPDS system, along with the localization direction for the related software and hardware. hardware.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.2
• /
• pp.97-106
• /
• 2015

System is the organization of hardware, software, personnel and facilities needed to perform a designated function within a stated environment with specified results. The trend of modern systems is getting more complex and larger. The system is necessary for modern society but the minor malfunction of the system can result the enormous human and material losses. Recently it is being heightened the concern for system safety and required to be built and applied Safety Engineering standard Guideline for safety of complex and large-sized system. This paper describes the System Engineering Process model integrated with Safety Engineering and the establishment of standard safety guidelines for safety of product development using DMADOV Methodology of the Lean 6 Sigma.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.910-917
• /
• 2011

CBTC(Communication Based Train Control) car-borne equipment, a part of the communication based train control system, mainly consists of automatic train protection(ATP) functions, automatic train operation(ATO) functions as well as the interface functions with other equipment including CBTC wayside equipment and train control management system etc. The CBTC car-borne software implementing ATP/ATO functions is a real-time embedded software requiring a high level of safety and reliability. To satisfy the requirements of the CBTC car-borne software, the model-based design techniques are applied with SCADE(Safety-Critical Application Development Environment) to the development of the CBTC car-borne software. In this paper, we illustrate the process modeling the car-borne ATP/ATO functions satisfying system requirement specification with system requirement management, modeling and document generation tools etc. supported by SCADE. In addition, the developed models corresponding to the ATP/ATO functions are applied to the train with CBTC car-borne equipment through its corresponding EN-50128 standards-compliant C code generated by the code generator. It is shown from the test result that the ATP/ATO models developed by SCADE work well while the trains are running in driverless operation mode.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.11
• /
• pp.1130-1137
• /
• 2006

Relaxed Static Stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, the flight control systems are necessary to stabilizes the unstable aircraft and provides adequate handling qualities. The initial production flight control system are verified by flight test and it's always an elements of danger because of flight-critical nature of control law function and design error due to model base design method. These critical issues impact to flight safety, and it could be lead to a loss of aircraft and pilot's life. Therefore, development of an easily modifiable RFCS(Research Flight Control System) capable of reverting to a PFCS(Primary Flight Control System) of reliable control law must be developed to guarantee the flight safety. This paper addresses the concept of SSWM(Software Switching Mechanism) using the fader logic such as TFS(Transient Free Switch) based on T-50 flight control law. The result of the analysis based on non-real time simulation in-house software using SSWM reveals that the flight control system are switching between two computers without any problem.