Suche
Anzeige der Dokumente 1-2 von 2
О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений
(ХАІ, 2008)
Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera,
используемых для разработки ПЛИС проектов критического применения, а также статического анализа
программного кода, реализующего логику ...
Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения
(ХАІ, 2012)
Предложен подход к оценке безопасности человеко-машинных интерфейсов информационно-управляющих систем АЭС, основанный на методологии Safety Case. Рассматривается модель
объекта оценки с учетом человеческого фактора.