• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2010년도 춘계 학술발표회
• /
• 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
• /
• 제2권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.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.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
• /
• 제9권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
• /
• 제27권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
• /
• 제32권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.

• 한국군사과학기술학회지
• /
• 제10권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
• /
• 제51권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.

• 지질공학
• /
• 제18권3호
• /
• pp.339-347
• /
• 2008

본 연구는 지반의 한계변형률을 활용하여 터널의 정량적 안정성 평가를 수행한 것이다. 한계변형률은 지반재료에 대한 새로운 역학적 물성치의 하나이다. 한계변형률 개념은 터널굴착 현장에서 계측된 변위정보와 함께 굴착지반의 변형에 대한 한계치 설정에 활용될 수 있다. 이러한 목적을 위해서 본 연구에서는 한계변형률 개념을 터널 안정성 평가에 활용한 것이다. 먼저, 수치해석 프로그램을 이용하여 터널굴착시 발생한 변위를 역해석 기법에 의해 지반변형률로 산정한 후, 이를 한계변형률 개념에 의해 터널 안정성을 평가하였다. 이어서, 터널시공현장에서 계측된 변위정보를 활용하여 실증적으로 한계변형률 관점에서 터널안정성 평가를 수행하였다. 본 연구를 통해 한계변형률 개념에 의해 터널의 안정성을 정량적으로 평가하는 것이 가능한 것을 확인하였다.

• 한국산학기술학회논문지
• /
• 제11권10호
• /
• pp.3885-3892
• /
• 2010

원자력발전소의 발전소보호계통과 같은 안전필수 시스템은 예상 가능한 사고로부터 인간과 자연을 보호하기 위한 중요 기능을 수행하는 시스템으로써, 어떠한 조건 하에서도 고유의 안전기능을 안정적으로 수행할 수 있도록 설계되어야 한다. 원자력발전소의 안전필수 기능을 수행하는 계측제어시스템에 적용되는 최신의 컴퓨터에는 다양한 하부기기를 감시 및 제어하고, 응용 프로그램을 실행시키기 위한 실시간 운영체제가 탑재되어 있으며, 이러한 실시간 운영체제는 가장 엄격한 소프트웨어 품질이 요구된다. 또한, 예상 가능한 조건에서도 안전필수 시스템의 기능이 적절히 수행될 수 있도록 설계, 분석 및 평가되어야 한다. 그러나 지금까지 국내 원자력발전소 안전필수 시스템에는, 원자력 기준과 품질등급에 따라 개발된 제품이 아닌 상용제품의 실시간 운영체제를 정성적 측면에서 승인(Commercial Grade Item Dedication)하는 방식으로 적용되어 왔다. 이로 인해 실시간 운영체제가 안전필수 기능을 수행하는 데 적합한지를 평가하는 상세 방법론과 경험이 매우 부족한 것으로 파악되고 있다. 특히, 안전필수 시스템에 적용함을 목적으로 신규 개발되는 실시간 운영체제의 경우, 안전성을 평가하기 위한 적절한 방법을 도출하기에 어려움이 있는 것으로 파악되고 있다. 본 논문에서는 원전의 안전필수 기능을 수행하는 실시간 운영체제의 설계요구사항을 기반으로, 안전필수 실시간 운영체제에 대한 안전성 분석 및 평가 사례를 제시하고자 한다. 본 논문에서 제시한 상세 안전성 평가의 방법과 사례는 향후 타 산업분야에서의 안전필수 실시간 운영체제 개발 및 안전성 평가에 활용될 수 있을 것으로 기대된다.