کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
297561 511761 2011 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Petri net design of FPGA-based controller for a class of nuclear I&C systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی انرژی مهندسی انرژی و فناوری های برق
پیش نمایش صفحه اول مقاله
A Petri net design of FPGA-based controller for a class of nuclear I&C systems
چکیده انگلیسی

This study is concerned with a FPGA-based controller design for the lack of FPGA-based solutions in the nuclear industry. An efficient design procedure is proposed to achieve simpler and affordable verification and validation (V&V) of system efforts by explicitly modeling the interactions among processes. In the present approach, both of state diagram (SD) concept and Petri nets (PNs) are used to model the concurrent processes. An illustrative example of automatic seismic trip system (ASTS) is provided. Synthesis results demonstrate that the proposed design is feasible and easy to implement.


► An efficient design procedure for FPGA-based nuclear I&C system design is provided.
► We model the concurrent processes in FPGA with state diagram concept and Petri nets.
► The model can achieve simpler and affordable V&V of system efforts.
► Numerical and synthesis results have been performed.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nuclear Engineering and Design - Volume 241, Issue 7, July 2011, Pages 2597–2603
نویسندگان
,