Search
Now showing items 1-6 of 6
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
(ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
(ХАІ, 2007)
Обобщена структура программного обеспечения, разработанного ЗАО «Радий» для информационных и
управляющих систем АЭС. Выполнен анализ особенностей оценки и обеспечения безопасности
информационных и управляющих систем АЭС, ...
Анализ производительности коммуникационных протоколов SOAP и TCP
(ХАІ, 2007)
В статье проведен анализ факторов, влияющих на производительность распределенных вычислительных
систем и коммуникационных протоколов TCP и SOAP.
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
(ХАІ, 2007)
Проаналізовано структуру та таксономічні особливості гарантоздатності як комплексної властивості
комп’ютерних систем (КС) для різних застосувань. Уточнено модель станів гарантоздатних КС як сукупності технічних та ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.