| contributor author | Kharchenko, Vyacheslav | |
| contributor author | Butenko, Valentina | |
| contributor author | Odarushchenko, Oleg | |
| contributor author | Sklyar, Vladimir | |
| date accessioned | 2017-05-09T01:22:22Z | |
| date available | 2017-05-09T01:22:22Z | |
| date issued | 2015 | |
| identifier issn | 2332-8983 | |
| identifier other | NERS_1_3_031005.pdf | |
| identifier uri | http://yetl.yabesh.ir/yetl/handle/yetl/159303 | |
| description abstract | Markov models (MM) are widely used in dependability assessment of complex safetycritical systems. The main computational difficulties in using MMs are model size and stiffness. Selection of the solution approach (SA) and tools based on analysis of MM stiffness and complexity increases the assessment accuracy. This paper presents the safety assessment of nuclear power plan instrumentation and control system (NPP I&Cs): a twochannel FPGAbased reactor trip system with three parallel tracks on “2outof3†logic. The MM was built using a multifragmentation approach and solved with several SAs and tools. The analysis of results shows few application problems: the importance of usabilityoriented tool selection, achieving an accurate result, and supporting the results verification. | |
| publisher | The American Society of Mechanical Engineers (ASME) | |
| title | Multifragmentation Markov Modeling of a Reactor Trip System | |
| type | Journal Paper | |
| journal volume | 1 | |
| journal issue | 3 | |
| journal title | Journal of Nuclear Engineering and Radiation Science | |
| identifier doi | 10.1115/1.4029342 | |
| journal fristpage | 31005 | |
| journal lastpage | 31005 | |
| tree | Journal of Nuclear Engineering and Radiation Science:;2015:;volume( 001 ):;issue: 003 | |
| contenttype | Fulltext | |