کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
297561 | 511761 | 2011 | 7 صفحه PDF | دانلود رایگان |

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.
Journal: Nuclear Engineering and Design - Volume 241, Issue 7, July 2011, Pages 2597–2603