20 февраля в отеле InterContinental состоялась ежегодная конференция «Инвестиционные проекты, модернизация, закупки в электроэнергетике» («ИНВЕСТЭНЕРГО-2020») — традиционная встреча служб материально-технического обеспечения и капитального строительства генерирующих, сетевых и сбытовых компаний со своими подрядчиками и поставщиками. С большим интересом участники встретили доклад представителя фонда при ПАО «Интер РАО» Дмитрия Тимофеева, который рассказал о «едином окне» для инновационных предложений. «Единое окно» позволяет компаниям поставлять продукцию, услуги и НИОКР для ПАО «Интер РАО». ...

Компания AdaCore, производитель средств разработки и верификации ПО критически важных для безопасности встраиваемых систем, провела квалификацию своих компиляторов и других инструментальных средств по стандартам функциональной безопасности МЭК 61508 (промышленные системы управления) и ИСО 26262 (автомобильная электроника). Квалификация проведена для компиляторов GNAT Pro Ada и GNAT Pro C, комплекса SPARK Pro средств верификации ПО на языке SPARK – формально верифицируемом подмножестве языка Ada, а также для нового продукта CCG (Common Code Generator) – транслятора программы на языке Ada/SPARK ...