Модель функціонального діагностування цифрового процессора зі скороченою системою команд

Скорочена інформація про документ
dc.contributor.authorЧешун, Віктор Миколайович
dc.contributor.authorЛєнков, Сергій Васильович
dc.contributor.authorСтецюк, Олександр Ігорович
dc.contributor.authorЧорненький, Віталій Іванович
dc.contributor.authorРяба, Людмила Олександрівна
dc.contributor.authorCheshun, V.M.
dc.contributor.authorLenkov, S.V.
dc.contributor.authorStetsiuk, O.I.
dc.contributor.authorChornenkyi, V.I.
dc.contributor.authorRiaba, L.O.
dc.date.accessioned2019-12-17T11:30:22Z
dc.date.available2019-12-17T11:30:22Z
dc.date.issued2018
dc.description.abstractУ сучасних умовах мікропроцесори стали основою більшості електронних пристроїв і систем. Жорстка конкуренція серед виробників цифрових мікропроцесорів зумовлює скорочення термінів на виконання проектних робіт і тенденцію до швидкого просування нових моделей на ринок, що призводить до обмеження часу і, досить часто, недосконалої організації процедур перевірки інтегральних компонентів виробником. За наявності жорстких обмежень на час діагностичних випробувань при серійному випуску цифрових процесорів, у виробників і споживачів зазначеної продукції виникає потреба у ефективних методах її діагностування з мінімальною тривалістю випробувань. Такі методи потребують застосування систематизованого підходу, що базується на використанні чітко формалізованих математичних моделей. В статі описано математичну модель для організації функціональної перевірки цифрового процесора зі скороченою системою команд. Запропонована математична модель орієнована на застосування при організації командно-керованого функціонального діагностування цифрових процесорів, спрямованого на комплексну перевірку коректності виконання вузлами діагностованого процесора характерних для них елементарних процесорних операцій. Математична модель містить описову складову в термінах теорії множин, графічно-ілюстраційне і матричні представлення цифрового процесора зі скороченою системою команд.uk_UA
dc.description.abstractIn modern conditions, microprocessors have become the basis of most electronic devices and systems. Fierce competition among manufacturers of digital microprocessors leads to shorter deadlines for project work and the tendency to quickly move new models to the market. This leads to a limitation of time and, often enough, an imperfect organization of procedures for checking integral components by the manufacturer. With strict restrictions on the time of diagnostic tests in the serial release of digital processors, manufacturers and consumers of microprocessors need effective diagnostic methods. Verification of the processor must be performed with a minimum number of tests to reduce the time of diagnosis. Such methods require of a systematic approach based on the use of clearly formalized mathematical models. The article describes a mathematical model for organizing a functional diagnosis of a digital processor with a reduced command system. The proposed mathematical model is orientated to perform functional diagnostics of digital processors with command control. The purpose of the diagnosis is to comprehensively verify the correctness of execution by the nodes of the processor of elementary operations that are triggered by commands. The mathematical model contains a descriptive component in terms of the theory of sets, graphic model and matrix parts. The descriptive component consists of four sets: a plurality of functional nodes, a plurality of links between functional nodes, a plurality of commands, and a plurality of elementary processor operations of a digital microprocessor. The graphic model is intended to reflect the structural organization of the object of diagnosis. In the matrix part there is a matrix of the functional nodes checks of and the matrix of the typical operations checks in the diagnostic object. Matrix models are used for automated processing of diagnostic data and for displaying interdependencies between elements of a mathematical model.uk_UA
dc.description.abstractВ современных условиях микропроцессоры стали основой большинства электронных устройств и систем. Жесткая конкуренция среди производителей цифровых микропроцессоров приводит к сокращению сроков на выполнение проектных работ и обусловливает тенденцию к быстрому продвижению новых моделей на рынок, что приводит к ограничению времени и, зачастую, несовершенной организации процедур проверки интегральных компонентов производителем. Из-за наличия жестких ограничений на время диагностических испытаний при серийном выпуске цифровых процессоров у производителей и потребителей указанной продукции возникает потребность в эффективных методах диагностирования с минимальной продолжительностью испытаний. Такие методы требуют применения систематизированного подхода, основанного на использовании четко формализованных математических моделей. В статье описано математическую модель для организации функциональной проверки цифровой процессора с сокращенной системой команд. Предложенная математическая модель ориентирована на применение при организации командно-управляемого функционального диагностирования цифровых процессоров, направленного на комплексную проверку корректности выполнения узлами диагностируемого процессора характерных для них элементарных процессорных операций. Математическая модель содержит описательную составляющую в терминах теории множеств, графическое иллюстрационное и матричные представления цифрового процессора с сокращенной системой команд.uk_UA
dc.identifier.citationМодель функціонального діагностування цифрового процесора зі скороченою системою команд [Текст] / В. М. Чешун, С. В. Лєнков, О. І. Стецюк, В. І. Чорненький, Л. О. Ряба // Збірник наукових праць Військового інституту Київського національного університету імені Тараса Шевченка. – Київ : ВІКНУ, 2018. – Вип. № 62. – С. 89–96.uk_UA
dc.identifier.urihttps://elar.khmnu.edu.ua/handle/123456789/8177
dc.language.isoukuk_UA
dc.publisherВійськовий інститут Київського національного університету імені Тараса Шевченкаuk_UA
dc.subjectтехнічна діагностикаuk_UA
dc.subjectфункціональне діагностуванняuk_UA
dc.subjectцифровий процесорuk_UA
dc.subjectскорочена система командuk_UA
dc.subjecttechnical diagnosticsuk_UA
dc.subjectfunctional diagnosticsuk_UA
dc.subjectdigital processoruk_UA
dc.subjectabbreviated system of commandsuk_UA
dc.subject.udc04.942:004.054uk_UA
dc.titleМодель функціонального діагностування цифрового процессора зі скороченою системою командuk_UA
dc.title.alternativeModel for functional diagnostics of the digital processor with a reduced instruction setuk_UA
dc.title.alternativeМодель функционального диагностирования цифровых процессоров с сокращенной системой командuk_UA
dc.typeСтаттяuk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Зб.ВІКНУ 62 89-96.pdf
Розмір:
773.64 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Назва:
license.txt
Розмір:
4.26 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Кафедра кібербезпеки