Футбол v2: AVATAR

Мета проекту

Модернізації електромеханічної системи з мікропроцесорним керуванням «Футбол» для вдосконалення та апробації мехатронного підходу до проектування.

Для досягнення цієї мети система вимагає реалізації цілого ряду типових функцій гнучких виробничих осередків:

• позиціонування робочого органу
• синхронізація дій
• переклад у початковий стан та інше.

Методологія проектування

Перспективні методології для вирішення таких завдань будуються на основі Модельно-орієнтованого проектування та графічних мов проектування.

Для реалізації проекту «Футбол» було обрано методологію AVATAR (скорочення від «Automated Verification of reaAl Time softwARe») тому що ця методологія націлена на моделювання та формальну перевірку вбудованих систем реального часу. AVATAR підтримує такі методологічні етапи:

• збір вимог
• моделювання
• системний аналіз та системний дизайн
• моделювання нерухомості
• формальна перевірка
• генерація коду.

Для моделювання використовувалась мова моделювання систем SysML.