ЗМІСТ
ВСТУП
. ПРИЗНАЧЕННЯ І ОБЛАСТЬ ЗАСТОСУВАННЯ КОМПЛЕКСУ КІІБ
. Розробка програмного забезпечення МОДУЛЯ УПРАВЛІННЯ ТА налагодження
. 1 Форма управління функціонуванням ПЗ - MainView
. 2 Форма перегляду пам'яті даних пристрою - Form_view
. 3 Форма перегляду незалежній пам'яті пристрою - Form_eeprom
. 4 Форма перегляду пам'яті програм пристрою - Form_prog
. 5 Форма вибіркового перегляду пам'яті даних пристрою - Form_watch
. 6 Форма відображення стану висновків пристрою - Form_pins
. 7 Форма внесення помилок в роботу пристрою - Form_mistakes
. 8 Форма «Про автора» - Form_author
. ТЕСТУВАННЯ МОДЕЛІ PIC
. 1 Тестування системи команд
. 2 Тестування периферійних пристроїв
ВИСНОВОК
СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ
ДОДАТОК
ВСТУП
Створення мікропроцесорних та комп'ютерних стиснути, нерозривно пов'язане з удосконаленням і розвитком методів забезпечення необхідного рівня їх безпеки і надійності. Основним методом перевірки працездатності та оцінки надійності та безпеки таких систем є випробування на безпеку функціонування.
Загальною метою випробувань є забезпечення заданого рівня безпеки і надійності. Випробування повинні проводитися на всіх етапах створення систем. При цьому необмежене збільшення числа контрольно-випробувальних робіт не забезпечує зростання надійності та безпеки стиснення. Внаслідок цього вся сукупність випробувань вимагає оптимізації, визначення оптимального поєднання видів випробувань, їх обсягу, кількості та місця в ході технологічних процесів проектування та розробки стиснення, виходячи з необхідності забезпечення необхідної безпеки, надійності, вартості, тривалості циклу виготовлення та інших факторів.
Випробування на функціональну безпеку являють собою комплекс заходів щодо підтвердження кількісних і якісних показників безпеки функціонування відповідно до заявленого розробником системи рівнем забезпечення безпеки.
Метою імітаційних випробувань на безпеку функціонування є підтвердження того, що випробовуване пристрій або система при виникненні заданого класу несправностей апаратних і програмних засобів, відмовах зовнішніх датчиків і неправильних діях людини-оператора не формує сигнали управління, які порушують умови безпеки руху поїздів.
Контрольовані випробування мікроелектронних схем з внесенням відмов у роботу елементів на апаратному рівні вимагають значних матеріальних і часових витрат на імітацію відмов та їх усунення. Тому випробування на імітаційних моделях є найбільш прийнятним варіантом як за витратами, так і по зручності обробки результатів і швидкості проведення випробувань.
Для вирішення даних проблем при проведенні випробувань програмно-технічних засобів ЖАТ на безпеку функціонування у випробувальній лабораторії «Безпека та ЕМС технічних засобів» Білоруського державного університету транспорту розроблений «Комплекс для проведення імітаційних випробувань мікропроцесорних систем залізничної автоматики на функціональну безпека »(КІІБ).
Комплекс апаратно-програмних засобів КІІБ призначений для проведення прискорених імітаційних випробувань на функціональну безпеку відповідно до IEC 61508, EN 50126, ОСТ 32.146 мікропроцесорних систем управління відповідальними технологічними процесами, в тому числі систем управління руху поїздів.
Комплекс успішно застосовується у випробувальній лабораторії «Безпека та ЕМС технічних засобів» протягом п'яти останніх років. Є позитивний досвід випробувань пристроїв і систем на базі мікроконтролерів Microchip, Atmel, цифрових сигнальних процесорів ADSP та ін., У тому числі багатопроцесорних систем. Застосування КІІБ при експертизі і випробуваннях дозволило виявити ряд несправностей, що призводять до небезпечного відмови пристрою в цілому. Деякі з них, наприклад відмови в мікропроцесорної системі ССС - 200-60, не були виявлені при використанні інших методів експертизи і випробувань.
Проте, дана версія КІІБ має ряд недоліків, серед яких відсутність графічної оболонки і робота на застарілій платформі (бібліотеки VCL). Головним недоліком КІІБ є проблемний механізм розширення бази моделей мікроконтролерів, що зумовлено внутрішньою структурою комплексу.
Виходячи зі сказаного вище, можна зробити висновок про необхідність створення універсального програмного продукту здатного моделювати роботу...
