A Petri net design of FPGA-based controller for a class of nuclear I and C systems

Highlights: → An efficient design procedure for FPGA-based nuclear I and 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 and V of system efforts. → Numerical and synthesis results have been performed. - Abstract: 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 and 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.