однозначній формулюванні мети розробки, а також у можливості аналізу здійсненності і сумісності вимог за допомогою моделювання.
Основою цього методу служить комп'ютерне моделювання в системі Matlab-Simulink-Stateflow , яке дозволяє реалізувати всі етапи модельно-орієнтованого програмування - від урахування вимог до розробки до тестування кінцевого продукту. Пакет Simulink представляє собою різні блоки пристроїв, взаємодіючі між собою. Пакет Stateflow дозволяє змоделювати і розробити кінцеву автоматну модель, а потім використовувати її як блок Simulink- моделі [10].
Майже 60% FPGA і ASIC вимагають повторної збірки після усунення функціональних дефектів. Продукт компанії MathWorks для генерації HDL -кодів, косімуляціі (спільного моделювання) і перевірки допомагають успішно впоратися з цим завданням.
Працюючи з незалежними моделями, можна ще до їх впровадження швидко досліджувати архітектуру, налаштування фіксованих точок та оптимізацію. Автоматична генерація коду на мові опису апаратних засобів ( HDL) дозволяє проводити швидку ітеративну перевірку алгоритму і прийти до відповідним компромісів.
Simulink можна використовувати для розробки моделей систем, що містять цифрові, аналогові і програмні елементи [11]. Simulink HDL Coder дозволяє швидко знайти компроміс між потужністю апаратури і швидкістю обчислень. Вибираючи відповідну конвеєрну обробку та архітектуру, розробник отримує кращу апаратну реалізацію свого алгоритму. Вибирати можна, наприклад, між каскадної, послідовною і деревовидної реалізаціями. Щоб врахувати вимоги зміненій специфікації, достатньо змінити модель Simulink і автоматично згенерувати код HDL . Моделювання системи на високому рівні абстракції дозволяє повторно використовувати розробку, робить проект транспортабельним і незалежним від цільової платформи. Наприклад, розробник може використовувати бібліотеку моделей Simulink , швидко отримуючи для кожного варіанта моделі код HDL , що не редагуючи при цьому сам код < i align="justify"> Verilog або VHDL . Крім того, проект можна зробити доступним для кількох команд. І, нарешті, можливо прототипування на ПЛІС і масова реалізація на прикладних інтегральних схемах.
Вбудована утиліта HDL Coder генерує HDL -код під заданий пристрій. Найважливіша перевага концепції Model-based-design проявляється на даному етапі. Воно полягає в наступному: при зміні цільової мікросхеми немає необхідності переписувати код програми, як це робиться в традиційній методиці побудови систем, достатньо лише змінити при генерації коду параметр призначеного пристрою. За рахунок даного крос-платформного методу робота скорочується в десятки разів за часом, що вже говорити про трудомісткість.
Розробка та верифікація програмного забезпечення для БКУ космічних апаратів є складною багаторівневою завданням, виконання якого в даний час займає роки. Існує можливість знизити цей час за рахунок ав...
