کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5475110 | 1521091 | 2017 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی انرژی
مهندسی انرژی و فناوری های برق
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
The state space models has been successfully applied in engineering, statistics, computer science and economics to solve a broad range of dynamical systems problems; like safety analysis, reliability analysis, performability analysis, etc. However, embedding the complete and accurate system requirements in such models is quite challenging. Analyzing model with incomplete or inaccurate requirements gives inaccurate results. UML is a proven and easy approach to capture all the system requirements. This paper proposes a methodology to transform the UML model into the state space model. The resultant model will embed all the system requirements and hence can be used to analyze the critical attributes of the systems. The methodology is validated on 13 sets of operational profile of different safety critical systems of Nuclear Power Plant and shown on Reactor Core Isolation Cooling System (RCICS).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Nuclear Energy - Volume 105, July 2017, Pages 133-143
Journal: Annals of Nuclear Energy - Volume 105, July 2017, Pages 133-143
نویسندگان
Vinay Kumar, Lalit Kumar Singh, Anil Kumar Tripathi,