Скляр В.В./Sklyar V.
Документи:
- Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 267-271.
- Безопасность аэрокосмической техники и надежность компьютерных систем [Текст] / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — С. 66-80.
- Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения [Текст] = Safety of Critical Infrastructures: Mathematical and Engineering Methods of Analysis and Ensuring / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2011. — 641 с.
- Верификация программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. — 132 с.
- Выбор моделей надежности программных средств для систем критического применения [Текст] / В.C. Харченко, В.В. Скляр, С.А. Вилкомир // Управляющие системы и машины : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 59-69.
- Элементы методологии анализа функциональной безопасности информационно-управляющих [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков,Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 75-79.
- Задача оптимального выбора многоверсионных технологий разработки информационно-управляющих систем [Текст] / В.В. Скляр, В.А. Головир // Радіоелектронні і комп'ютерні системи. — 2007. — С. 62-67.
- Зеленая ИТ-инженерия [Текст]. Принципы, компоненты, модели : [в 2 т.] / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 594 с.
- Исследование зависимости "надёжность-стоимость" при использовании многоверсионных технологий разработки программных средств [Текст] / А.В. Волковой, В.В. Скляр, В.С. Харченко // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аерокосмічний ун-т "ХАІ", 2002. — С. 182-186.
- Исследование марковских моделей информационно-управляющей системы с учетом ошибок контроля и управления [Текст] / В.В. Скляр // Збірник наукових праць / М-во оборони України. — Х. : ХУ ПС ім. І. Кожедуба, 2011. — С. 102-108.
- Матрично-графовый метод выбора моделей роста надежности одноверсионных и многоверсионных программных средств [Текст] / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / МОН Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Харьков : Изд-во ХАИ ; Торнадо, 2002. — С. 65-85.
- Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения [Текст] / В.С. Харченко, О.М. Тарасюк, А.В. Горбенко, В.В. Скляр // Электронное моделирование. — 2005. — С. 85-98.
- Методологія та інформаційні технології забезпечення функціональної безпеки інформаційно-управляючих систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 39 с.
- Методы моделирования и оценки качества и надежности программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2004. — 159 с.
- Метрики диверсности программных средств: классификация, анализ и применение для оценки надежности и безопастности компьютерных систем управления [Текст] / В.С. Харченко, И.В. Пискачева, В.В. Скляр // Открытые информационные и компьютерные интегрированные технологии. Вып. 9 ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" - Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" , 2001. — С. 194-214.
- Метрическая оценка измерений программного обеспечения информационно-управляющих систем [Текст] / В.В. Скляр, Ю.А. Белый // Радіоелектронні і комп'ютерні системи. — 2006. — С. 147-152.
- Модели безотказности и готовности встроенных мультидиверсных систем [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2008. — С. 64-69.
- Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 147-152.
- Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием [Текст] / В.С. Харченко, В.В. Скляр, А.Д. Герасименко // Радіоелектронні і комп'ютерні системи. — 2007. — C. 196-201.
- Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность. [Текст] / В.С. Харченко, В.В. Скляр, А.Х. АльТарази // . — С. 67-74.
- Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе плис [Текст] / Е.С. Бахмач, А.А. Сиора, В.В. Скляр та ін. // Радіоелектронні і комп'ютерні системи. — 2007. — С. 75-82.
- Оптимизация программного кода с использованием методов математического программирования [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 181-185.
- Отказобезопасные информационно-управляющие системы на программируемой логике [Текст] / Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т", НПП "Радий"; под ред. В.С. Харченко, В.В. Скляра. — Х.; Кировоград : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2008. — 380 с.
- Оценка и обеспечение безопасности информационно-управляющих систем критического использования [Текст] : Элементы методологии и формальные модели / В.В. Скляр // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2005. — С. 84-93.
- Оценка и обеспечение качества программных средств космических систем [Текст] / Нац. косм. агентство Украины, Гос. центр регулирования качества, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 244 с.
- Оценка качества и экспертиза программного обеспечения [Текст] = Software Quality Assessment and Expertise : лекционный материал / под ред. В.С. Харченко. — Х. : Нац. аерокосмічний ун-т "ХАІ", 2008. — 204 с.
- Оценка качества программного обеспечения верхнего уровня информационно-управляющих систем аэс [Текст] / В.В. Скляр, Ю.А. Белый, С.А. Малохатько // Радіоелектронні і комп'ютерні системи. — 2007. — C. 153-158.
- Применение концепции Model-Based Testing для верификации систем на базе IP-ядер [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина, ЗАО "НПП "Радий", Украина // Радіоелектронні і комп'ютерні системи. — 2010. — С. 237-241.
- Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями [Текст] / Г.А. Поляков, В.В. Скляр, Д.А. Толстолужский та ін. // Радіоелектронні і комп'ютерні системи. — 2006. — С. 7-16.
- Разработка положений методологии зеленого компьютинга и коммуникаций в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-9/2015-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2015. — 246 с.
- Теоретические основы, методы и информационные технологии разработки программно-технических комплексов критического применения в условиях ресурсных ограничений. Внедрение полученных результатов [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2014. — 278 с.
- Теоретические основы, методы и технологии обеспечения гарантоспособности эволюционирующих компьютеризованных инфраструктур для аэрокосмических и критических объектов [Текст] : отчет о НИР (заключ.) : Д503-17/2009 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. ; исполн.: Лысенко И. [и др.]. — Х., 2011. — 252 с.
- Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования [Текст] / В.В. Скляр, В.С. Харченко, А.С. Панарин // Радіоелектронні і комп'ютерні системи. — 2014. — С. 29-41.
- Технологии высокой готовности для программно-технических комплексов космических систем [Текст] / Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. — 372 с.
- Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2007. — С. 94-99.
- Управление персональными коммуникациями для кооперации университетов и индустрии в сфере компьютерных технологий [Текст] = Personal Communications Management for Academia-Industry Cooperation in Computer Technologies : тренинги / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 96 с.
- Assurance Case driven design for software and hardware description language based systems [Текст] / V.S. Kharchenko, V.V. Sklyar // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 98-103.
- CASE-оценка критических программных систем [Текст]. Безопасность = CASE-Assessment of Critical Software Systems : [в 3 т.] / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. — 301 с.
- Implementation of digital instrumentation and control systems for nuclear power plant using FPGA-texnology:benefits and sulutions [Текст] = Применение цифровых информационно-управляющих систем для атомных электростанций с использованием ПЛИС-технологий: преимущества и решения / V.V. Sklyar // Збірник наукових праць / М-во оборони України. — Х. : ХУ ПС ім. І. Кожедуба, 2011. — P. 262-265.
- The static analysis of a program code procedure based on metrics profiling [Текст] / A. Andrashov, A. Gordeyev, V. Kharchenko, V. Sklyar // Радіоелектронні і комп'ютерні системи. — 2007. — C. 184-188.
|
