• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1180-1188
• /
• 2008

As many systems depend on electronics, concern for fault tolerance is growing rapidly in the safety critical system such as intelligent vehicle. In order to make system fault tolerant, there has been a body of research mainly from aerospace field including predictive hybrid redundancy by Lee. Although the predictive hybrid redundancy has the fault tolerant mechanism to satisfy the fault tolerant requirement of safety crucial system such as x-by-wire system, it suffers form the variability of prediction performance according to the input feature of system. As an alternative to the prediction method of predictive hybrid redundancy for robust fault tolerant, Kalman prediction has attracted some attention because of its well-known and often-used with its structure called Kalman hybrid redundancy. In addition, several numerical simulation results are given where the Kalman hybrid redundancy outperforms with predictive smoothing voter.

• Journal of Information Technology and Architecture
• /
• v.9 no.4
• /
• pp.443-453
• /
• 2012

In order to minimize the damage from system failures, systems over various fields are requested to contain the safety-critical features. In this paper, we deliver the considerable issues, especially, in the cyber physical systems that is recently used as a safety-critical system, as well as we propose the model driven architecture based on time as its the important factor. Based on meta-modeling approach, we introduce the time-based architecture which is associated with deadline, transition state, and threshold, and also we work out a design for this by using model driven architecture. We propose a realizable safety-critical architecture by means of showing failure handling components with safety transaction model from the meta-model. In the detailed models and the example, we design a basic safety processing state, a multiple safety processing state, and a compound safety processing state for completing the safety-critical system architecture.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.3
• /
• pp.195-204
• /
• 2015

The live fire test has been playing a critical role in evaluating the goals-to-meet of the weapon systems which utilize the power of explosives. As such, the successful development of the test systems therein is quite important. The test systems development covers that of ranges and facilities including system-level key components such as mission control, instrumentation or observation, safety control, electric power, launch pad, and so on. In addition, proper operational guidelines are needed with well-trained test and operation personnel. The emerging weapon systems to be deployed in future battle field would thus have to be more precise and dynamic, smarter, thereby requiring more elaboration. Furthermore, the safety consideration is becoming more serious due to the ever-increasing power of explosives. In such a situation, development of live fire test systems seems to be challenging. The objective of the paper is on how to incorporate the safety and other requirements in the development. To achieve the goal, an architectural approach is adopted by utilizing both the system components relationship and safety requirement when advanced instrumentation technology needs to be developed and deteriorated components of the range are replaced. As an evaluation method, it is studied how the level of maturity of the test systems development can be assessed particularly with the safety requirement considered. Based on the concepts of both systems engineering and SoS (System-of-Systems) engineering process, an enhanced model for the system readiness level is proposed by incorporating safety. The maturity model proposed would be helpful in assessing the maturity of safety-critical systems development whereas the costing model would provide a guide on how the reasonable test resource allocation plan can be made, which is based on the live fire test scenario of future complex weapon systems such as SoS.

• Journal of the Korea Safety Management & Science
• /
• v.14 no.4
• /
• pp.107-116
• /
• 2012

The issues raised so far in the development of safety-critical systems have centered on how effectively the safety requirements are met in systems design. The systems are becoming more complex due to the increasing demand on the functionality and performance. As such, the integration of both the systems design and systems safety processes becomes more important and at the same time quite difficult to carry out. In this paper, an approach to solving the problem is presented, which is based on an integrated data model. To do so, the data generated from the inputs and outputs of the systems design and systems safety processes are analyzed first. The results of analysis are used to extract common attributes among the data, thereby making it possible to define classes. The classes then become the cores of the interface data model through which the interaction between the two processes under study can be modeled and interpreted. The approach taken has also been applied in a design case to demonstrate its value. It is expected that the results of the study could play a role of the stepping stone in extending to the architecture development of the integrated process.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.4
• /
• pp.37-47
• /
• 2013

Due to the evolution of war fields to the net-centric one, weapon systems have become very complex in terms of both mission capability and implementation scales. In particular, the net-centric war field is characterized by a set of interconnected and independently operable weapon systems. As such, the individual weapon systems are required to meet the interoperability and thus, assuring it has been becoming more crucial even in the early stage of development. Furthermore, the ever-growing complexity of the weapon systems has attracted a great deal of attention on the safety issues in the operation and development of weapon systems. The objective of the study is on how to assure the interoperability for safety-critical weapon systems while maintaining system complexity. To do so, the approach taken in the paper is to consider the interoperability from the early stage of the development. Specifically, the required functions to satisfy the interoperability are developed first. The functions are then analyzed in order to link the safety requirements to the reliability evaluation, which results in the study of quantifying the effects of the safety requirements on the system as a whole. As a result, we have developed a methodology and procedure on how to assure interoperability while applying the safety requirements in the weapon systems development.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.2
• /
• pp.37-48
• /
• 2021

Improving the plant protection system against unforeseen changes/transients during operation is essential to maintain plant safety. Under this condition, it requires rapid and accurate signal processing. The use of an Intellectual Property (IP) core for floating point calculations for Safety Critical MMIS can make numerical computations easier and more precise, improving system accuracy. It can represent and manipulate rational numbers as well as a much broader range of values with dynamic range in nuclear power plant. Systems engineering approach (SE) is used through the development process, it helps to reduce complexity and avoid omissions and invalid assumptions as delivers a better understanding of the stakeholders needs. For the implementation on the FPGA target board, the 32-bit floating-point arithmetic with IEEE-754 standards has designed using Simulink model in Matlab for all operations of addition, subtraction, multiplication and division and VHDL code generated.

• Journal of Multimedia Information System
• /
• v.2 no.2
• /
• pp.241-248
• /
• 2015

The safety-critical software in healthcare systems needs more and more perceptive excess among human observation and computer support. It is a challenging conversion that we are fronting in confirming security in healthcare systems. Held in the center are the patients-the most important receivers of care. Patient injuries and fatalities connected to health information technologies commonly show up in the news, contrasted with tales of how health experts are being provided financial motivation to approve the products that may be generating damage. Those events are unbelievable and terrifying, however they emphasize on a crucial issue and understanding that we have to be more careful for the safety and protection of our patients.

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

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.8
• /
• pp.813-822
• /
• 2010

Integrated data processing for display of flight critical data and mission critical data was conducted without additional display instruments using glass cockpit design. Based on a pre-designed flight critical system and a mission critical system, this paper shows an optimal design of subsystem integration. The design satisfies safety requirements of flight control systems(FCS) and requires minimized modification of pre-designed systems. By conducting integration test using System Integration laboratory(SIL), it is confirmed that the introduced design approach meets the safety requirements of the MEP system.