Ministry of Defense of the Russian Federation certified the latest real-time operating system “Bagros-4000” for multi-core processors, developed by PJSC “Company“ Sukhoi ”