Научно-технический центр исследований и анализа безопасности инфраструктур
21 Май 2009

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

11-20 мая 2009.Сотрудники центра выполнили работу по совместному с KTH (Royal Institute of Technology – Королевский технологический институт, Стокгольм, Швеция) проекту, направленному на внедрение инструментальных средств моделирования в процессы разработки и верификации систем критического применения на базе ПЛИС. Было освоено и применено инструментальное средство ForSyDe (http://www.ict.kth.se/forsyde/). Полученный результат – модель микропроцессора Nios в среде ForSyDe и на языке VHDL.

рубрики: Новости | Комментарии отключены

18 Май 2009

Рабочая встреча с представителями VTT

Сотрудники центра приняли участие в рабочей встрече с представителями VTT (Technical Research Centre of Finland) по тематике «Safety Critical Software & Programmable Logic Devices», которая проходила на базе подразделения VTT в г. Отаниеми, Финляндия. Стороны договорились о сотрудничестве в области анализа и применения стандартов серии IEC 61508 Functional safety of electrical/electronic/ programmable electronic safety-related systems.

рубрики: Новости | Комментарии отключены

10 Май 2009

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

4-8 мая 2009.Сотрудники центра приняли участие в региональном семинаре МАГАТЭ по влиянию цифровых информационно-управляющих технологий на эксплуатацию и лицензирование АЭС, который проходил в г. Порторож, Словения. Сотрудниками центра были представлены доклады «FPGA technology using for design of NPP I&C systems» и «Safety assurance and assessment of FPGA-based NPPs I&C systems».

рубрики: Новости | Комментарии отключены