کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
1727882 1521105 2016 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Ensuring safety in design of safety critical computer based systems
ترجمه فارسی عنوان
تضمین ایمنی در طراحی سیستم های ایمنی مهم مبتنی بر کامپیوتر
کلمات کلیدی
CBS، سیستم مبتنی بر کامپیوتر؛ NPP، نیروگاه هسته ای؛ PHWR، راکتور آب سنگین تحت فشار؛ SDS، سیستم خاموش شدن FAV، سوپاپ اقدام سریع ؛ LPIS، سیستم تزریق سم مایع؛ HMI، رابط انسان و ماشین؛ LC، شرایط منطق؛ RTOS، زمان واقعی بازدید کنندگان عامل
موضوعات مرتبط
مهندسی و علوم پایه مهندسی انرژی مهندسی انرژی و فناوری های برق
چکیده انگلیسی


• Safety critical systems are designed to function in safe manner.
• Due to safety significance of such systems, these need to be designed carefully to ensure their reliability requirements.
• The strategy discussed the modeling and analysis techniques to safety critical CBS for full proof design.
• The techniques to improve the faulty design are also proposed.
• The application of the proposed techniques is shown on a reactor protection system.

Safety critical systems are designed to function in safe manner so that its failure should not lead to the catastrophic effects, including injury or death to humans, and harm to the environment. These systems take themselves to a safe state, thus ensuring goals of safety. Due to safety significance of such systems, these need to be designed carefully to ensure their reliability requirements. The strategy discussed the modeling and analysis techniques to safety critical computer based systems using Petri net for full proof design. The techniques to improve the faulty design are also proposed. The application of the proposed techniques is shown on a reactor protection system.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Nuclear Energy - Volume 92, June 2016, Pages 289–294
نویسندگان
, ,