Suche
Anzeige der Dokumente 11-14 von 14
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
СИНТАР-3 и СИНТАР 2007: сравнительный анализ систем разработки контроллерного ПО
(ХАИ, 2008)
Отмечено, что с момента окончания разработки последней версии САПР
АСУ ТП семейства СИНТАР требования к АСУ претерпели изменения, что
повлекло за собой необходимость разработки новой версии, получившей
название СИНТАР ...
Базы данных сигналов в среде СИНТАР 2007
(ХАИ, 2008)
Рассмотрены средства разработки баз данных сигналов в среде СИНТАР
2007, обладающих необходимыми качествами. Они ориентированы на большие
объемы данных, присущие крупным промышленным АСУ, поддерживают
коллективную ...
Определение надежности невосстанавливаемых резервированных технических изделий
(ХАИ, 2008)
Предложено алгоритмическое и программное обеспечение определения
вероятности безотказной работы сложных резервированных технических изделий.
Рассмотрено шесть способов резервирования.