• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.03a
• /
• pp.571-576
• /
• 2010

In this study, an application method of critical strains concept for tunnels' safety by using the values of measured displacements which are obtained in the field is discussed. The aim is to: (1) study on the engineering meanings of critical strains concept by reviewing the previous researches and application examples with measured displacement values; (2) study on the engineering reasonability of critical strains concept with the view point of a tunnel engineering and a geotechnical engineering; (3) study on the features of ground deformation due to tunneling and reciprocal relation between total displacement and measured displacement; (4) evaluate a tunnel safety by using domestic measurements collected in the field; and (5) re-evaluate the control criteria which were previously used in the field, with the view point of critical strains concept. Consequently, it was confirmed that critical strains in the ground has a reasonability and a possibility of unified or common concept with the view point of a tunnel engineering.

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

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.153-155
• /
• 2006

A major advantage of the area in and around Braunschweig is its concentration of major research institutes and small to large enterprises dealing with different modes of transportation. For many years, aviation has been a particular focus. The research institutes have aircraft and helicopters equipped especially for research projects, as well as other laboratory equipment, allowing simulation and testing of air traffic application both virtually and on real aircraft. In addition, with the Luftfahrtbundesamt (equivalent organization to FAA) and the Bundesstelle $f{\"{u}}r$ Flugunfalluntersuchung (equivalent to NTSB) both located at the Research Airport, it enables direct contact with two key air-traffic safety authorities. The institutes of DLR and the Technical University of Braunschweig are very active in rail transportation applications. Cooperation with the market leader in rail automation - Siemens Rail Automation, also located in Braunschweig - and with other companies in the Braunschweig region means that safety-critical road applications and mobility research is available due to the activities of a number of institutes. Cooperation with Volkswagen (VW) and other companies in the region ensure access to the market leaders' know-how in this sector. Current European activities within framework of the Galileo project offer particularly good opportunities for the Research Airport to leverage its expertise and position itself internationally as a specialist in safety-critical transport applications - the centre is an initiative of Niedersachsen and the Ministry of Economic Affairs, Labour and Transport Location and navigation plays a central role in all modes of transport - air, road and rail. The market is being revolutionized by the increasing integration of GNSS. The realization of the Galileo system will provide additional opportunities for the Research Airport: Galileo as a civil operated system offers service guarantees especially in the area of safety-critical applications in transportation. Notably standards, processes and authorizations related to the certification of safety-critical applications in the areas of air, road and rail transportation are still to be determined. GAUSS, located at the Research Airport Braunschweig, as an European centre of excellence for simulation, testing and certification of safety-critical applications can offer its expertise to validate the services guaranteed by the Galileo concessionaire.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.3
• /
• pp.950-956
• /
• 2014

Special purpose sensor design using MEMS (Micro-Electro-Mechanical Systems) technique is commonly used in Nondestructive Testing (NDT) research for the evaluation of existing structures and for the safety control and requirements. Various sensors and network have been developed for general infrastructures as well as safety-critical applications, e.g., aerospace, defense, and nuclear system, etc. In this paper, one of sensor technique using Fiber Bragg Gratings (FBG) and Finite Element Method (FEM) evaluation is discussed. The experimental setup and data collection technique is also demonstrated. The factors influencing test result and the advantages/limitations of this technique are also reviewed using various methods.

• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• Nuclear Engineering and Technology
• /
• v.32 no.6
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Nuclear Engineering and Technology
• /
• v.51 no.1
• /
• pp.138-145
• /
• 2019

With the application of digital technology to safety-critical infrastructures, cyber-attacks have emerged as one of the new dangerous threats. In safety-critical infrastructures such as a nuclear power plant (NPP), a cyber-attack could have serious consequences by initiating dangerous events or rendering important safety systems unavailable. Since a cyber-attack is conducted intentionally, numerous possible cases should be considered for developing a cyber security system, such as the attack paths, methods, and potential target systems. Therefore, prior to developing a risk-informed cyber security strategy, the importance of cyber-attacks and significant critical digital assets (CDAs) should be analyzed. In this work, an importance analysis method for cyber-attacks on an NPP was proposed using the probabilistic safety assessment (PSA) method. To develop an importance analysis framework for cyber-attacks, possible cyber-attacks were identified with failure modes, and a PSA model for cyber-attacks was developed. For case studies, the quantitative evaluations of cyber-attack scenarios were performed using the proposed method. By using quantitative importance of cyber-attacks and identifying significant CDAs that must be defended against cyber-attacks, it is possible to develop an efficient and reliable defense strategy against cyber-attacks on NPPs.

• The Journal of Engineering Geology
• /
• v.18 no.3
• /
• pp.339-347
• /
• 2008

This study was carried out to assess quantitatively the safety of a tunnel by using critical strains in the ground. Critical strain is a new material property of the ground. It can be applied as deformation limits in the ground due to excavation using the measured displacement at the tunnel construction site. To achieve this purpose, the critical strain concept was reviewed and applied to assess the tunnel safety. First of all, the calculated excavation displacements of a circular tunnel by commercial programs were investigated and inputted into a feedback analysis module to calculate strains in the ground. Then the safety of tunnels was evaluated based on the critical strain concept. Subsequently the measured displacements obtained in the field are utilized practically to assess the safety of tunnels using the critical strain concept. Through this study, it was confirmed that the critical strain concept is useful to assess the safety of tunnels quantitatively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.