Modeling of industrial FPGA-based controllers with ForSyDe

The paper includes results of the theoretical research and practical application of soft-processors testing, in particular Nios compiler of Altera SoPC Builder core. The model is based on Model-Based Testing concept. ForSyDe programming formal language is used as instrument for the development of soft-processor reference program model. Stages of model development with the follow-up analysis and comparison of performance results are introduced.