Назад до огляду →
Модуль 04 / 04
Що треба довести до наступного етапу?
Реалізація має залишатися в заданих межах похибки відносно математичного еталонної моделі.
Гейти верифікації.Розгорнути розділ
Гейт доказовості
Що треба довести до наступного етапу?
01
Чисельна еквівалентність
Реалізація має залишатися в заданих межах похибки відносно математичного еталонної моделі.
02
Реакція на відмови
Відомі класи деградації повинні давати очікувані переходи станів і поведінку резервного режиму.
03
Часові характеристики
Рішення, валідація, перемикання та відкат вимірюються окремо.
04
Фізична валідація
Твердження залишаються обмеженими, доки HIL і експерименти з пошкодженим об’єктом не відтворять очікувану поведінку.
Масштабованість
Обчислювальна структура одного кроку.
| Компонент | Час | Пам’ять |
|---|---|---|
| Оцінювання стану | \(\mathcal O(n^3)\) | \(\mathcal O(n^2)\) |
| Обчислення індикатора | \(\mathcal O(r)\) | \(\mathcal O(r)\) |
| Класифікація режиму | \(\mathcal O(1)\) | \(\mathcal O(1)\) |
| Обчислення керування | \(\mathcal O(nm)\) | \(\mathcal O(nm)\) |
| Оновлення деградації | \(\mathcal O(r)\) | \(\mathcal O(r)\) |
| Разом | \(\mathcal O(n^3+r)\) | \(\mathcal O(n^2+r)\) |
Межа доказовості
Що ще не доведено.
Відповідність об’єктуУ наведеному порівняльному дослідженні для параметричних експериментів використано спрощений скалярний об’єкт.
Покриття моделей відмовЗакони деградації передбачають відомі механізми відмов і параметризований розвиток.
Фізична валідаціяHIL-валідація на репрезентативному об’єкті залишається обов’язковим наступним кроком.
Підтримка реалізації · Contimech.org
Перетворити дослідження на технологію, яку можна тестувати.
Contimech.org підтримує референсну реалізацію C++ / ROS 2, тестову інфраструктуру та експериментальну інженерію RISC-V / SoC. Це частина формування технології, а не комерційна пропозиція.