Головна Головна -> Реферати українською -> Дисертації та автореферати -> КОРЕКТНЕ ПРОЕКТУВАННЯ АПАРАТНО-ПРОГРАМНИХ ЗАСОБІВ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ НА ОСНОВІ ЛОГІЧНИХ МОВ СПЕЦИФІКАЦІЙ І СУЧАСНИХ МОВ ОПИСУ ДИСКРЕТНИХ СИСТЕМ

КОРЕКТНЕ ПРОЕКТУВАННЯ АПАРАТНО-ПРОГРАМНИХ ЗАСОБІВ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ НА ОСНОВІ ЛОГІЧНИХ МОВ СПЕЦИФІКАЦІЙ І СУЧАСНИХ МОВ ОПИСУ ДИСКРЕТНИХ СИСТЕМ

Назва:
КОРЕКТНЕ ПРОЕКТУВАННЯ АПАРАТНО-ПРОГРАМНИХ ЗАСОБІВ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ НА ОСНОВІ ЛОГІЧНИХ МОВ СПЕЦИФІКАЦІЙ І СУЧАСНИХ МОВ ОПИСУ ДИСКРЕТНИХ СИСТЕМ
Тип:
Реферат
Мова:
Українська
Розмiр:
14,53 KB
Завантажень:
248
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10 
Національна академія наук України
Інститут кібернетики імені В.М.Глушкова
ЗАКУТАЙЛО Денис Олександрович
УДК 519.713.1
КОРЕКТНЕ ПРОЕКТУВАННЯ АПАРАТНО-ПРОГРАМНИХ ЗАСОБІВ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ НА ОСНОВІ ЛОГІЧНИХ МОВ СПЕЦИФІКАЦІЙ І СУЧАСНИХ МОВ ОПИСУ ДИСКРЕТНИХ СИСТЕМ
05.13.13 – обчислювальні машини, системи та мережі
Автореферат
дисертації на здобуття наукового ступеня
кандидата технічних наук
Київ – 2006


Дисертацією є рукопис.
Робота виконана в Інституті кібернетики імені В.М. Глушкова НАН України.
Науковий керівник: доктор технічних наук, професор
Коваль Валерій Миколайович
Інститут кібернетики ім. В.М. Глушкова НАН України
Офіційні опоненти: доктор фізико-математичних наук, професор
Кривий Сергій Лук’янович,
Інститут кібернетики ім. В.М. Глушкова НАН України,
кандидат технічних наук, доцент
Марковський Олександр Петрович,
Національний технічний університет України “
Київський політехнічний інститут”.
Провідна організація: Інститут проблем математичних машин та систем,
відділ “Інтегрованих автоматизованих систем спеціального призначення”.
Захист відбудеться “10” січня 2007 р. о (об) 14 годині на засіданні спеціалізованої вченої ради Д 26.194.03 при Інституті кібернетики
ім. В.М. Глушкова НАН України за адресою:
03680, МСП, Київ-187, проспект Академіка Глушкова, 40.
З дисертацією можна ознайомитись у науково-технічному архіві
Інституту кібернетики ім. В.М. Глушкова НАН України.
Автореферат розісланий “4” грудня 2006 р.
Учений секретар
спеціалізованої вченої ради Романов. В.О.


ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми дисертаційного дослідження. У зв'язку з бурхливим розвитком технічного прогресу в мікроелектроніці з'явилася можливість виготовлення цифрових систем, які містять мільйони логічних вентилів. При розробці таких складних пристроїв неминуче виникають помилки, як на стадії проектування, так і в процесі виробництва кінцевого продукту. Особливо зазнають помилок проектування системи реального часу, вимоги до функціонування яких містять суворі часові обмеження на виконання певних дій. Помилки у функціонуванні таких систем, як системи керування ядерними реакторами, хімічним виробництвом, засобами космічної техніки можуть призвести до катастрофічних наслідків, пов'язаних з великими матеріальними втратами й людськими жертвами. Тому до надійності й безпомилковості функціонування таких систем пред'являються надзвичайно суворі вимоги, для задоволення яких необхідні методи коректного проектування такого роду систем.
Одним з підходів до коректного проектування є тестування. Тестова послідовність задається за допомогою вказівки значень сигналів у певні моменти часу. У такий спосіб важко описати складні часові залежності для багатьох сигналів, крім того, верифікується тільки певне коло властивостей. Для послідовних пристроїв такий спосіб гарантує вірогідність отриманих результатів тільки на тих послідовностях станів, які брали участь у тестуванні. Про істинність або хибність властивостей на послідовностях станів, які не брали участь у тестуванні, нічого не можна стверджувати. Тому при проектуванні високо надійних систем важливого значення набуває використання формальних методів, що засновані на мовах, методах і інструментальних засобах для специфікації й верифікації таких систем.
Для застосування формальних методів верифікації апаратних і програмних систем необхідно одержати модель системи, що верифікується. Це завдання полягає в перетворенні опису пристрою у формалізм, що розуміється системою верифікації.
Багато розробників систем для верифікації часових властивостей використовували запропоновані ними мови для опису об'єкта, що верифікується. Сучасні розробники електронних систем на ПЛІС використовують мови VHDL і Verilog. Тому у якості мови для опису об'єкта, що верифікується, доцільно використовувати одну із цих мов. При цьому для розробника відпадає необхідність вивчати ще будь-яку мову опису електронних схем для проведення верифікації.
Більшість формалізмів, які використовувались для опису моделі системи, що верифікується, ґрунтуються на дискретному поданні часу, при якому перехід між будь-якими двома станами моделі завжди триває однакову кількість часу.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10 



Реферат на тему: КОРЕКТНЕ ПРОЕКТУВАННЯ АПАРАТНО-ПРОГРАМНИХ ЗАСОБІВ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ НА ОСНОВІ ЛОГІЧНИХ МОВ СПЕЦИФІКАЦІЙ І СУЧАСНИХ МОВ ОПИСУ ДИСКРЕТНИХ СИСТЕМ

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок