Scientific and technical  center of infrastructure safety research and analyze
21 May 2009

Modeling of Industrial FPGA-based Controllers with ForSyDe (Formal System Design) tools

posted in News |

May 11-20, 2009. Center’s staff worked on joint project with KTH (Royal Institute of Technology Stockholm, Sweden); the project is intended for simulation tools application in development and verification processes of safety critical systems based on FPGA. The ForSyDe tool (http://www.ict.kth.se/forsyde/) was studied and applied. The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design (i.e. System on Chip, Hardware and Software systems) to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. The project’s deliverables is a model of Nios microprocessor in both ForSyDe environment and VHDL.

Обсуждение закрыто.