오늘날 대 산업분야는 과학 기술의 진보에 따라 비약적인 기술발달을 이루었다. 따 라서, 고객이 요구(Needs)하는 다양한 기능을 구현하기 위해 상당수 부분을 소프트웨 어 중심으로 달성하고 있다. 이렇듯, 과거의 하드웨어 중심의 자동차와 달리 소프트웨 어 중심의 기능 구현이 이행되고 있는 실정이다. 이렇다 보니, 시스템이 보다 복잡해 짐에 따라 시스템을 설계하고 제어하는데 있어서 상당한 어려움이 따르고 있다. 따라 서, 유럽에서는 자동차 분야의 전자제어 장비로 인한 기능안전을 달성하기 위해 ISO26262라는 국제표준을 제정하였다. 국제표준의 제정에 따라 국내 자동차 산업은 차량 시스템을 설계하는데 있어서의 노력, 뿐만 아니라, 기능안전이라는 안전부분을 대비해야하는 상황에 직면하게 되었다. 본 연구에서는 자동차 시스템의 상위 수준의 설계인 개념설계 단계에서 FMEA를 통한 안전성 활동 반영을 통한 하나의 단일화된 개발 방법론을 본 연구를 통해 제시하고자 한다. 따라서, 본 연구를 기반으로 향후 추가 연구를 수행한다면, 국내 자동차 산업, 뿐만 아니라, 대형복합 안전 중시 시스템 으로 확대하여 설계단계에서 안전성을 동시 고려한 시스템 설계 신뢰성 확보를 위해 도움이 될 것으로 기대 된다.

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm’s productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

The demand from customers on better products and systems seems to be ever increasing. To meet the demand, the systems are becoming more and more complicated in terms of both scale and functionality, thereby requiring enormous effort in the development. One bright spot of this trend is that such effort has been the driving forces of the remarkable advancement in modern systems development. On the other hand, safety issues appear to be critical in many large-scale systems such as transportation and weapon systems including high-speed trains, airplanes, ships, missiles/rockets launchers, and so on. Such systems turn out to be prone to a variety of faults and thus the resultant failure can cause disastrous accidents. For the reason, they can be referred to as safety-critical systems. The systems failure can be attributed to either random or systemic factors (or sometimes both). The objective of this paper is on how to reduce potential systemic failure in safety critical systems. To do so, a proper system design is pursued to minimize the risk of systemic failure. A focus is placed on the fact that complex systems have a lot of complicated interfaces among the system elements. To effectively handle the sources of hazards at the complicated interfaces and resultant failure, a method is developed by utilizing a design structure matrix. As a case study, the developed method is applied in the design of train control systems.

Continued efforts to build up Safety Management System(SMS) and to improve its efficiency in airports, to which customers have direct access, are taken for granted due to continuous development of the aviation industry in both quantity and quality and rapid growth of air transportation market. This thesis proposed efficient operation methods of SMS for domestic airport organizations including Incheon International Airport(IIA), the largest airport in South Korea, aiming at strengthening aviation safety from the perspective of airport operators who play a pivotal role in service provider SMS. Those are consolidation of the existing safety management organizations and various improvements to promote voluntary incident reporting system. To draw a proposal for the improvements, conducted a research on domestic safety management status, carried out an analysis on operating conditions and did a research on ICAO regulations, domestic legal system as well as statistics data. Relevant studies and researches were also gathered and analyzed. A search for further improvements can also help increase operational efficiency and promoting a higher-level of safety awareness among operators can establish mature safety culture at airports.

In the safety assessment of the geological disposal system of the radioactive wastes, the abnormal scenarios, in which the system is impacted by the abnormal events, need to be considered in addition to the reference scenario. In this study, characterization and prediction of well intrusion as one of the abnormal events which will impact the disposal system were conducted probabilistically and statistically for the safety assessment. The domestic well development data were analyzed, and the prediction methodologies of the well intrusion were suggested with a computation example. From the results, the annual well development rate per unit area in Korea was about 0.8 well/yr/km2 in the conservative point of view. Considering the area of the overall disposal system which is about 1.5 km2, the annual well development rate within the disposal system could be 1.2 well/yr. That is, it could be expected that more than one well would be installed within the disposal system every year after the institutional management period. From the statistical analysis, the probabilistic distribution of the well depth followed the log-normal distribution with 3.0363 m of mean value and 1.1467 m of standard deviation. This study will be followed by the study about the impacts of the well intrusion on the geological disposal system, and the both studies will contribute to the increased reliability of safety assessment.

Hydrogen energy is expanding in range for civil use together with development of pollution-free power sources recently, and it is judged that the use of hydrogen will increase more as a part of carbon dioxide reduction measures according to the Climatic Change Convention. Especially, it is thought that the securement of safety of the used dispenser will be the biggest obstacle in the use of high-pressure hydrogen because the hydrogen station is operated in a high pressure. This study found risks in the process and problems on operation by making use of HAZOP(6 kinds), a qualitative safety evaluation technique, and FMEA(5 kinds), a fault mode effect analysis, for the hydrogen charging system at a hydrogen gas station, derived 6 risk factors from HAZOP and 5 risk factors from FMEA, and prepared measures for it.

Modern weapon systems are getting more complex in terms of the functionality and also the conditions on the environment and range in which they are deployed and used. Therefore, many development programs can easily be exposed to a variety of risks, resulting in delayed schedules and cost overrun. As such, effective means are necessary to keep the defence budget at an affordable level while competitive edges on technological aspects are retained. As one way to meet those need, modeling and simulation (M&S) methods have widely been used, particularly in the test and evaluation (T&E) process for weapon systems development. The result of M&S-based systems development should be evaluated by the verification, validation & accreditation (VV&A) process to assure keeping reliability at a desired level. On the other hand, due to the explosiveness, the weapons systems development naturally requires to consider safety issues in both the T&E and operational periods. The purpose of this paper is to improve the VV&A process by reflecting the safety requirements therein. To do so, the VV&A process has been analyzed and graphically modeled first and then safety elements have been incorporated effectively. The use of the improved process in the war ships development has also been discussed. Based on the process proposed and the consequent database constructed, the target system can be expected to benefit from reducing development risks while assuring systems safety.

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.

While Korea had achieved radical growth of construction industry, it also had accumulated problems in material, human and economical loss due to its low quality of safety level. Therefore, not only enterprises but also the nation is putting in a great deal of efforts for construction safety. However, its effect is not satisfiable. This research aims for change of construction cite by introduction of professional Safety Patrol Management System(SPMS) and consideration of its necessity. To consideration of its necessity, we compared and anaylzed average numbers of indicated dangers and safety accident incidences in each construction cites and we researched changes in worker's safety sense. It will establish the suitable design standards and suggest the basic database for estimating disaster and accident ratio.

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.

The occupational health and safety accidents were continuously increased during handling, usage and manufacturing the chemical materials according to increase of small and medium sized enterprises in domestic industries. These accidents mainly resulted from insufficient occupational health and safety management and deteriorative facilities and focused on corresponding operation to minimize the damage of accidents after occurrence. But, it was required that we grasped the occurrence causes of occupational health and safety risk in handling, usage and manufacturing the chemical materials and develop the adequate corresponding operation and system according to the possible occurrence of occupational health and safety risk. This study deals with the development of risk assessment model to derive the risk and important risk of occupational health and safety and then help to construct the self-controlled occupational health and safety system for small and medium sized enterprises handling the chemical materials.

본 논문에서는 컬러정보와 깊이정보를 사용하여 얼굴을 검출하고 추적한 후 항해사의 졸음을 탐지하는 방법을 제안한다. 이 방법은 얼굴검출 과정과 얼굴추적 과정으로 구성된다. 얼굴검출 과정에서는 기존의 방법 중 가장 좋은 성능을 보이는 Adaboost 알고리즘을 사용하며, Adaboost로 입력되는 영상의 영역을 사람이 존재하는 영역으로만 제한하여 얼굴을 검출한다. 얼굴검출 과정에서 얼굴이 검출되면 그것을 템플릿으로 하여 얼굴추적 과정이 수행된다. 제안한 방법의 성능을 평가하기 위하여 실험영상을 이용하여 실험을 수행하였다. 실험결과 제안한 졸음탐지 방법은 기존의 방법에 비해 약 23 %의 수행시간을 보였으며, 또한 졸음탐지 방법은 추적시간과 추적 정확도에 있어서 상보적인 관계를 가지며, 특별한 경우를 제외한 모든 경우에서 약 1 %의 낮은 추적오차율을 보였다.