Рассмотрены формальные методы разработки, верификации и анализа надежности программного обеспечения и информационно-управляющих систем (ИУС) для критических приложений. Проанализированы требования к программному обеспечению, методы формулирования и спецификации требований, а также процесс управления требованиями. Рассмотрена задача гармонизации и профилирования требований на примере компьютерных сетей ИУС критического применения. Описаны формальные методы спецификации требований, разработки и верификации программного обеспечения, использующие аппарат строгого математического (логического) анализа и доказательства теорем. Дана информация о формальных методах анализа надежности и рисков опасных отказов.

• Тарасюк Ольга Михайлівна (1979–) (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"