Security assessment of FPGA-based safety-critical systems: US NRC requirements context

Kharchenko, Vyacheslav; Kovalenko, Andriy; Siora, Olexandr; Sklyar, Vladimir

doi:10.1109/dt.2015.7222963

Cited by 11 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Щоб забезпечити узгодженість даних і синхронізацію процесів, обмін часто реалізується за принципом взаємно виключного доступу до спільної пам'яті. Далі в областях розпаралелювання породжується ряд паралельних потоків, які виконуються на різних процесорах, які входять в обчислювальну систему [1][2][3][4][5][6][7][8].…”

Section: рішення поставленої задачіunclassified

Прискорений Алгоритм Пошуку Слів-Образів У Тексті З Адаптивною Декомпозицією Вихідних Даних

Barkovska¹,

Pyvovarova²,

Serdechnyi³

et al. 2019

CNCS

View full text Add to dashboard Cite

Алгоритми пошуку слів-образів у тексті мають широке застосування - контекстний пошук у базах та банках даних, бібліографічний пошук, пошук фрагменту тексту та його заміна при редагуванні тексту, у задачах стиску даних, алгоритмах прогнозування тощо, що зумовлює актуальність розробки нових алгоритмів, а також вдосконалення та адаптацію існуючих алгоритмів для реалізації на високопродуктивних обчислювачах. Мета дослідження – модифікація алгоритму Бойєра-Мура пошуку слів-образів у тексті для досягнення скорочення часу пошуку тексту завдяки використанню методів паралельних обчислень та декомпозиції вихідних даних. Результати та висновки. В ході роботи вдосконалено існуючий алгоритм Бойєра-Мура пошуку слів-образів у тексті завдяки використанню методів паралельних обчислень та декомпозиції вихідних даних, що призвело до скорочення часу пошуку слів-образів у текстах великого обсягу. Виконано огляд існуючих алгоритмів пошуку слів-образів у тексті, який показав найнижчу трудомісткість алгоритму Бойєра-Мура. Розроблено дві прискорені модифікації алгоритму Бойєра-Мура з простою та адаптивною декомпозицією даних. Аналіз результатів яких показав, що кількість помилкових спрацьовувань при адаптивній декомпозиції прагне до 0, на відміну від простої декомпозиції вхідних даних. Аналіз часу виконання алгоритмів показав, що на маленьких обсягах вихідного тексту, використання паралельних технологій для систем із загальною пам’яттю не є виправданим, оскільки часу на породження паралельних потоків витрачається більше, аніж на компаративні операції.

show abstract

Section: рішення поставленої задачіunclassified

Прискорений Алгоритм Пошуку Слів-Образів У Тексті З Адаптивною Декомпозицією Вихідних Даних

Barkovska¹,

Pyvovarova²,

Serdechnyi³

et al. 2019

CNCS

View full text Add to dashboard Cite

show abstract

“…Практика показує, що освоєння передпускового контролю танків і БМП як одне із найважливіших питань щодо підтримання високої боєздатності цих машин немождиве без якісного аналізу систем електричного пуску танкових двигунів поелементно та в цілому [4][5][6][7][8].…”

Section: вступunclassified

Використання Математичного Апарату Алгебри Логіки Для Розроблення Автоматизованої Системи Передпускового Контролю Двигунів Внутрішнього Згоряння

Makogon¹,

Vasylenko²,

Bazilevskij³

et al. 2019

CNCS

View full text Add to dashboard Cite

Предметом вивчення в статті процес підготовки до пуску та електропуск танкових двигунів у різних умовах експлуатації. Метою дослідження є розроблення та технічна реалізація алгоритму передпускового контролю системи електропуску двигунів внутрішнього згоряння об’єктів бронетанкового озброєння ті техніки (БТОТ). Задачі: Провести аналіз систем електричного пуску (СЕП) танкових двигунів та передпускового контролю двигуна, визначити основні відмови елементів системи електричного пуску танкового двигуна, причини їх виникнення, способи усунення та сформувати простір контролюємих передпускових параметрів, за функціонально-логічною моделлю системи електропуску танкового двигуна як об’єкта діагностування визначити послідовність операций підготовки до пуску та пуску двигуна, скласти мінімізовану таблицю функцій несправності та на її основі розробити алгоритм передпускового контролю двигунів об’єктів БТОТ. Використовуваними є загальнонаукові та спеціальні методи наукового пізнання. Отримані такі результати. На основі системного аналізу було проведена оцінка ефективності використання принципових (монтажних) схем для пошуку несправностей в системі електричного пуску танкових двигунів.За допомогою структурно-функціонального методу та формалізації основних несправностей та відмов в системі електропуску двигуна була створена діагностична модель та визначена необхідно достатня глибина прогнозу. З використанням математичного апарату алгебри логіки була складання таблиці функцій відмов несправності (ТФН) з подальшим перетворення її в мінімізіровану таблицю функцій несправності (МТФН), на основі був побудований алгоритм передпускового контролю двигунів об’єктів БТОТ та алгоритм пошуку відмов системи електропуску сучасних танків. Висновки. Системи електричного пуску, які є складовою частиною танка, безпосередньо впливають на формування бойових властивостей об’єктів БТОТ. Їх склад та структура изначаються задачами забезпечення та здійснення пуску двигунів внутрішнього згоряння (ДВЗ), особливо в умовах низьких температур. У зв’язку зі стрімким розвитком систем електрообладнання значно ускладнилося й питання організації та технології ремонту бронетанкової техніки, особливо у польових умовах. Досвід експлуатації БТОТ показує, що довговічність і безаварійність двигунів і стартерних акумуляторних батарей багато в чому залежить від якості підготовки до пуску і пуск двигунів в різних умовах. При цьому численні випадки пуску двигуна без достатньої кількості охолоджувальної рідини і моторного масла, особливо в періоди екстрених виходах машини, а також випадки передчасного розряду акумуляторних батарей (АБ) через неточне дотримання режиму пуску двигуна. Запропонований алгоритм може бути використаний як ремонтними підрозділами так і безпосередньо танковими екіпажами для скорочення часу на відновлення працездатності системи електропуску танкових двигунів.

show abstract

“…6a for stuttering segment (1,2), (2,3) and (3,6), 3 is the exit state. For stuttering segment (1,2), (2,3), (3,4), and (4, 9), 4 is the exit state. The difference between the rank of the entry state and the exit state of a stuttering segment divided by C rank will give the length of the stuttering segment.…”

Section: Timing Verificationmentioning

confidence: 99%

“…Use of FPGA‐based control in conjunction with software control is therefore a growing trend in real‐time system design. Example applications of FPGA control in safety‐critical real‐time applications include high consequence industrial systems [1, 2], avionics systems [3], and nuclear power plants [4].…”

Section: Introductionmentioning

confidence: 99%

Formal verification methodology for real‐time Field Programmable Gate Array

Jabeen

Srinivasan

Shuja

2017

IET Computers & Digital Techniques

View full text Add to dashboard Cite

A formal verification methodology for checking both functional and timing requirements of real-time digital controllers targeted at field programmable gate array technology is proposed. Timed transition systems (TTSs) are used to model both the digital controller circuit and the high-level specification requirements. Timed well-founded simulation (TWFS) refinement is used as the notion of correctness and defines what it means for an implementation TTS to satisfy a specification TTS. The primary contribution is a set of proof obligation templates (based on TWFS refinement) that account for both functional and timing requirements. The proof obligations generated using the templates can be checked using a decision procedure. One of the key ideas is the overloaded use of rank functions (that are typically used for liveness verification) for timing verification. The efficiency and scalability of the approach is demonstrated using three case studies.

show abstract

Security assessment of FPGA-based safety-critical systems: US NRC requirements context

Cited by 11 publications

References 4 publications

Прискорений Алгоритм Пошуку Слів-Образів У Тексті З Адаптивною Декомпозицією Вихідних Даних

Прискорений Алгоритм Пошуку Слів-Образів У Тексті З Адаптивною Декомпозицією Вихідних Даних

Використання Математичного Апарату Алгебри Логіки Для Розроблення Автоматизованої Системи Передпускового Контролю Двигунів Внутрішнього Згоряння

Formal verification methodology for real‐time Field Programmable Gate Array

Contact Info

Product

Resources

About