• International Journal of Contents
• /
• v.7 no.4
• /
• pp.30-34
• /
• 2011

A Leader is a Coordinator that supports a set of processes to cooperate a given task. This concept is used in several domains such as distributed systems, parallelism and cooperative support for cooperative work. In completely asynchronous systems, there is no solution for the election problem satisfying both of safety and liveness properties in asynchronous distributed systems. Therefore, to solve the election problem in those systems, one property should be weaker than the other property. If an election algorithm strengthens the safety property in sacrifice of liveness property, it would not nearly progress. But on the contrary, an election algorithm strengthening the liveness property in sacrifice of the safety property would have the high probability of violating the safety property. In this paper, we presents a safety strengthened Leader Election protocol with an unreliable failure detector and analyses it in terms of safety and liveness properties in asynchronous distributed systems.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.168-168
• /
• 1999

• Journal of the Korean Society for Railway
• /
• v.6 no.1
• /
• pp.1-9
• /
• 2003

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.3 no.3
• /
• pp.167-174
• /
• 2008

This paper presents the technology trend of various active safety systems for vehicle. The safety system is applied to various industry fields and is expected to be spread all over the market. So far, good examples of the developed active safety systems are ACC(Adaptive Cruise Control), CMS(Collision Mitigation Systems) and APSS(Active Pedestrian Safety Systems). And, a basic operation principle, system model and detection performance in a UWB radar for vehicle is investigated.

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

Modern systems can be characterized by ever-increasing complexity of both the functionality and system scale. Thus, due to the complexity the chances of accidents resulting from systems failure can then be growing. Even worse is that those accidents could result in disastrous damage to the human being and properties as well. Therefore, the need for the developed systems to be assured with systems safety is apparent in a variety of industries such as rail, automobiles, airplanes, ships, oil refinery, chemical production plants, and so on. To this end, in the industry an appropriate safety standard has been published for its own safety-assured products. One of the core activities included in the most safety standards is hazard analysis. A conventional approach to hazard analysis seems to depend upon the scenarios derived from the ones used previously in similar systems or based on former experience. The objective of this paper is to study an improved process for scenario-based hazard analysis. To achieve the goal, the top-level safety requirements have first been reflected in the scenarios. By analyzing and using them, the result has then lead to the development of safety-assured systems. The method of modeling and simulation has been adopted in the generation and verification of scenarios to check whether the safety requirements are reflected properly in the scenarios. Application of the study result in the case of rail safety assurance has also been discussed.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.2
• /
• pp.43-52
• /
• 2014

In weapon systems development, live fire tests have been frequently adopted to evaluate the performance of the systems under development. Therefore, it is necessary to ensure safety in the test ranges where the live fire tests can cause serious hazards. During the tests, a special care must be taken to protect the test and evaluation (T&E) personnel and also test assets from potential danger and hazards. Thus, the development and management of the range safety process is quite important in the tests of guided missiles and artillery considering the explosive power of the destruction. Note also that with a newly evolving era of weapon systems such as laser, EMP and non-lethal weapons, the test procedure for such systems is very complex. Therefore, keeping the safety level in the test ranges is getting more difficult due to the increased unpredictability for unknown hazards. The objective of this paper is to study on how to enhance the safety in the test ranges. To do so, an approach is proposed based on model-based systems engineering (MBSE). Specifically, a functional architecture is derived utilizing the MBSE method for the design of the range safety process under the condition that the derived architecture must satisfy both the complex test situation and the safety requirements. The architecture developed in the paper has also been investigated by simulation using a computer-aided systems engineering tool. The systematic application of this study in weapon live tests is expected to reduce unexpected hazards and test design time. Our approach is intended to be a trial to get closer to the recent theme in T&E community, "Testing at the speed of stakeholder's need and rapid requirement for rapid acquisition."

• Journal of the Korea Safety Management & Science
• /
• v.15 no.1
• /
• pp.1-10
• /
• 2013

The recent trend in the war fields on the globe may be characterized by the network-centric warfare, which would, in turn, make the concept of weapon systems be changed. To this end, the concept of system of systems (SoS) has been introduced in literature. An SoS is a collection of multiple systems, each of which is an independent system and can be interoperable with each other. Thus, in defense domain each SoS is a big weapon system as a whole operated in actual environment and each element of it is also an independent smaller weapon system, but they should be interoperable via network among each other. The safety results studied for each elementary system alone may not be fully applicable to the whole SoS. As such, the objective of this paper is to study how to make the SoS safety requirements be distributed down over the interoperable elementary systems. Since handling the interoperability requires a technique of systems architecture, a standard method called the DoD Architectural Framework (DoDAF) has been used here to derive a solution. Using DoDAF, the safety requirements were first analyzed in the operability environment. The results were then studied to be included in an integrated model of both the systems design and safety processes. A further study of present paper would facilitate ensuring safety in the development of SoS weapon systems in practice.

• Journal of the Korean Society of Systems Engineering
• /
• v.19 no.1
• /
• pp.29-38
• /
• 2023

Independent Safety Assessment (ISA) is a third-party assessment that is to confirm that the system satisfies the safety requirements in the defined operational context. The process of this assessment often brings about many complex arguments that should be supported by evidence and justification. The communication between arguments and evidence is of the most importance in the context of safety case. This study illustrates how NOR-STA can be used for ISA process, showing the effective structure of safety compliance. The study outlines the steps to breaks down the top goal into many elements such as arguments, sub-goals, justification, context and assumptions. It concludes that the evidence-based safety conformance process utilizing NOR-STA provides a more effective and systematic representation of the independent safety assessment process in conformance cases.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.1
• /
• pp.69-77
• /
• 2014

The environment and requirements of modern war fields have been affected and thus changed by a variety of issues. To this end, the development of safety-critical weapon systems frequently need to meet those changes even in the operational phase. The necessity of the changes may be due to the preparation for mass-production or the request originated from the user military forces. To meet such a need can be even tougher in the development of safety-critical weapon systems since the integration of the requirements for both systems design and systems safety would make it troublesome. To handel the matter in this paper, utilization of architecture DB is proposed. Specifically, the situation in demand has first been analyzed and then a problem-solving process to accommodate the design changes has been constructed. In doing so, the concept of the aforementioned integration is particularly focused on the functional architecture, which could be a core concept of our approach to solving the problem. The result of a case study demonstrating the method studied using a computer-aided systems engineering tool is also presented.

• International Journal of Safety
• /
• v.4 no.1
• /
• pp.32-37
• /
• 2005

This study was conducted to identity the characteristics of occupational health and safety management systems around the world, to survey the implementation of OHSMS in Korean companies, to find problems and corrective measures, and to understand the opinions of top management about OHSMS. Questionnaires on the operation of occupational health and safety management systems in Korean manufacturing companies were carried out. Occupational health and safety management systems around the world, including OHSAS 18001, BS8800, KOSHA 18001, VPP, J-OHSMS, were reviewed. In order to implement an occupational health and safety management system successfully, it was found that the management should consider occupational health and safety as important, provide employees with necessary training, and have a strong commitment to occupational health and safety.