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

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 ( 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.

рубрики: News | Comments Off

18 May 2009

Meeting with VTT representatives

Center’s staff participated in meeting with VTT (Technical Research Centre of Finland) representatives in research area of “Safety Critical Software & Programmable Logic Devices”; the meeting was conducted on basis of VTT department at Otaniemi, Finland. The sides came to an agreement about collaboration in the area of analysis and using of IEC 61508 “Functional safety of electrical/electronic/ programmable electronic safety-related systems” series standards.

рубрики: News | Comments Off

10 May 2009

IAEA Regional Workshop on Impact of Digital I&C Technologies on the Operation and Licensing of NPPs

May 4-8, 2009. Center’s staff participated in IAEA regional workshop on digital I&C systems influence on NPPs licensing and maintenance, which was conducted in Portoroz, Slovenia. Center’s staff presented the following papers: “FPGA technology using for design of NPP I&C systems” and “Safety assurance and assessment of FPGA-based NPPs I&C systems”.

рубрики: News | Comments Off