• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 대한기계학회논문집
• /
• 제18권6호
• /
• pp.1448-1454
• /
• 1994

Data which gathered and used in the field of fatigue and fracture mechanics have a lot of uncertainties. In this case, those uncertainties will make scatter band in evaluation of fatigue life and fracture toughness. Thus, the probabilistic analysis of these data will be needed. For determining the fatigue life in mixed mode, using crack direction law and fatigue crack growth law, the problem is studied as a constrained life minimization. Stress intensity factor(SIF) is computed by approximate solution table(Ewalds/Wanhill 1984) and 0th order PFEM. The variance of fatigue life and SIF are computed by differentiation of tabulated approximate solution and 1st order PFEM. And these are used for criterion of design values, principal parameter determination and modelling. The problem of center cracked plate is solved for checking the PFEM model which is influenced by various parameters like as initial crack length, final crack length, two fatigue parameters in Paris Equation and applied stress.