• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • English 
    • українська
    • English
    • русский
    • Deutsch
  • Login
Search 
  •   dKHAIIR Home
  • Search
  •   dKHAIIR Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 66

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Безопасность аэрокосмической техники и надежность компьютерных систем 

Харченко, В.С.; Скляр, В.В.; Тарасюк, О.М. (ХАИ, 2004)
Проведен анализ рисков, возникающих при использовании аэрокосмической (авиационной и ракетно-космической) техники (АРКТ) вследствие отказов их оборудования и различных системных компонент. Сопоставлены причины отказов ...
Thumbnail

Имитационное моделирование отказоустойчивых бортовых систем управления с программируемой логикой с учетом факторов среды 

Ушаков, А.А.; Харченко, В.С. (ХАИ, 2004)
Сформулирована задача оценки влияния отказов на работоспособность встроенных систем управления с программируемой логикой (ВСУПЛ). Раскрыты возможные пути решения задачи при помощи различных методов моделирования. Описан ...
Thumbnail

Гарантоздатність комп'ютерних систем: проблеми і результати 

Харченко, В.С. (ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Thumbnail

Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия 

Скляр, В.В.; Остроумов, В.Б.; Сидоренко, Н.Ф.; Харченко, В.С. (ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Thumbnail

Модели безотказности и готовности встроенных мультидиверсных систем 

Харченко, В.С.; Скляр, В.В.; Сиора, А.А.; Белый, Ю.А. (ХАИ, 2008)
Проанализировано применение принципа диверсности для встроенных аэрокосмических систем. Определено понятие мультидиверсной системы (МДВС). Разработаны модели надежности (безотказности и готовности) МДВС с учетом возможных ...
Thumbnail

Безопасность ракетно-космической техники и надежность компьютерных систем: 2000–2009 гг. 

Горбенко, А.В.; Засуха, С.А.; Рубан, В.И.; Тарасюк, О.М.; Харченко, В.С. (ХАИ, 2011)
Представлена статистика запусков ракетоносителей и космических аппаратов в 2000–2009 гг., а также проведен анализ рисков, возникающих при использовании ракетно-космической техники вследствие отказов оборудования и различных ...
Thumbnail

Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів 

Харченко, В.С.; Замірець, М.В.; Засуха, С.О.; Поночовний, Ю.Л. (ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...
Thumbnail

Метод оценки живучести и безопасности невосстанавливаемых систем с многоступенчатой дегратацией на основе использования Д-матриц 

Харченко, В.С.; Черепахин, Д.А.; Токарев, В.И. (ХАІ, 203)
Предлагается метод оценки живучести и безопасности компьютеризированных систем управления критическими объектами, в которых допускается многоступенчатая деградация. Метод базируется на аппарате матриц деградации (Д-матриц) ...
Thumbnail

Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций 

Харченко, В.С.; Скляр, В.В.; Тарасюк, О.М. (ХАІ, 2003)
Проведен эволюционный анализ рисков, возникающих при использовании ракетно-космической техники (РКТ). Дана оценка влияния отказов аппаратных и программных средств бортовых компьютеров (БК) на аварии РКТ.
Thumbnail

Использование метрик Холстеда при оценке безопасности критического программного обеспечения 

Харченко, В.С.; Скляр, В.В.; Гордеев, А.А.; Токарев, В.И.; Герасименко, А.Д.; Белый, Ю.А. (ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 7

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Харченко, В.С. (66)
Скляр, В.В. (15)Горбенко, А.В. (5)Тарасюк, О.М. (5)Белый, Ю.А. (4)Одарущенко, О.Н. (4)Поночовний, Ю.Л. (4)Бабешко, Е.В. (3)Засуха, С.А. (3)Конорев, Б.М. (3)... View MoreSubjectрадиоэлектронные и компьютерные системы (59)радіоелектронні і комп'ютерні системи (59)программное обеспечение (12)програмне забезпечення (12)безопасность (10)безпека (9)информационно-управляющая система (8)інформаційно-керуюча система (8)авиационно-космическая техника и технология (7)авіаційно-космічна техніка і технологія (7)... View MoreDate Issued2010 - 2015 (32)2003 - 2009 (33)Has File(s)Yes (66)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV