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

АНАЛІЗ ТА ВЕРИФІКАЦІЯ MSC-СИСТЕМ ЗА ДОПОМОГОЮ МЕРЕЖ ПЕТРІ

Назва:
АНАЛІЗ ТА ВЕРИФІКАЦІЯ MSC-СИСТЕМ ЗА ДОПОМОГОЮ МЕРЕЖ ПЕТРІ
Тип:
Реферат
Мова:
Українська
Розмiр:
18,99 KB
Завантажень:
304
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 
Національна академія наук України
Інститут кібернетики імені В.М.Глушкова
МАТВЄЄВА Людмила Євгенівна
УДК 51.681.3
АНАЛІЗ ТА ВЕРИФІКАЦІЯ MSC-СИСТЕМ ЗА ДОПОМОГОЮ
МЕРЕЖ ПЕТРІ
01.05.03 - математичне та програмне забезпечення
обчислювальних машин і систем
Автореферат
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ – 2005
Дисертацією є рукопис.
Робота виконана в Інституті кібернетики ім. В.М.Глушкова НАН України.
Науковий керівник: |
доктор фізико-математичних наук, професор
Кривий Сергій Лук’янович,
Інститут кібернетики ім. В.М.Глушкова НАН України |
Офіційні опоненти: |
член-кореспондент НАН України,
доктор фізико-математичних наук, професор,
Перевозчикова Ольга Леонідівна,
Інститут кібернетики ім. В.М.Глушкова НАН України,
завідуюча відділом, | кандидат фізико-математичних наук, доцент
Гороховський Семен Самуїлович,
Національний університет “Києво-Могилянська академія”
Міністерства освіти та науки України,
старший науковий співробітник
Провідна установа: |
Київський національний університет імені Тараса Шевченка,
факультет кібернетики,
кафедра теорії та технології програмування
Захист відбудеться “_____” _______________200__ р. о (об) ______ годині на засіданні
спеціалізованої вченої ради Д 26.194.02 при Інституті кібернетики ім. В.М.Глушкова НАН України за адресою:
03680, МСП, Київ-187, проспект Академіка Глушкова, 40.
З дисертацією можна ознайомитись у науково-технічному архіві Інституту кібернетики
ім. В.М.Глушкова НАН України.
Автореферат розісланий “_____” _____________200__ р.
Учений секретар
спеціалізованої вченої ради
СИНЯВСЬКИЙ В. Ф.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Системи програмного і технічного забезпечення зростають за розміром і складністю. Щоб дозволити розроблювачам проектувати системи, які, незважаючи на складність, працюють надійно, необхідні методи, що забезпечують точний опис системи і можливість аналізу її властивостей. Один із шляхів досягнення цієї мети – використання формальних методів. За останні 20 років формальні методи широко використовуються для специфікації, аналізу, верифікації та відповідного тестування програмних і технічних систем. Вони є базовими для аналізу й верифікації правильності і повноти проектованих специфікацій, для перевірки відповідного впровадження у процесі цього проектування. Використання формальних методів у процесі проектування не гарантує коректність апріорно, тому що вони верифікують формальну модель, а не реальну систему. Однак можуть значно поглибити розуміння розроблюваної системи, виявляючи і демонструючи протиріччя, двозначності та неповноту, що інакше можна було б не знайти. У багатьох роботах формальні методи включають стандартизовані мови специфікацій, такі як мова ESTELLE (Extended State Transition System), мова LOTOS (Temporal Ordering Specification) та інші, широко використовувані методи специфікації – кінцеві автомати, мережі Петрі і темпоральні логіки. Формальна специфікація й верифікація програмних і апаратних систем є одним із шляхів підвищення надійності проектованих систем, а також прискорення процесу проектування. Вони доповнюють традиційний процес створення і прогону тестових наборів, підвищуючи рівень якості вихідного продукту.
областях діяльності, пов'язаних з інформаційною індустрією, поява нового програмного продукту на ринку залежить значною мірою від швидкості його розробки. Скоротити час розробки, утримуючись у рамках визначеного бюджету і необхідної якості, можливо також за допомогою технології моделювання проектованої системи, для чого застосовуються такі інженерні мови як VHDL (Very High Speed Integrated Circuit Hardware Description Language), MSC (Message Sequence Chart), SDL(Specification and Description Language), UML (Unified Modeling Language). Крім того, модель майбутньої системи допомагає вже на стадії проектування без вкладання великих коштів у “пілотний” проект одержати уявлення про поведінку системи й уникнути дорогих помилок надалі, коли в написання коду вкладені значні сили.

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



Реферат на тему: АНАЛІЗ ТА ВЕРИФІКАЦІЯ MSC-СИСТЕМ ЗА ДОПОМОГОЮ МЕРЕЖ ПЕТРІ

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