Модуль 02 / 04

Виміряти, що поточна архітектура ще здатна забезпечити.

Початкове дослідницьке питання звучало так: «яка допустима конфігурація має найкращу оцінку зараз?». Воно залишається корисним, але вже не охоплює всю задачу прийняття рішення.

Виміряти, що поточна архітектура ще здатна забезпечити.Розгорнути розділ

Спроможність

Виміряти, що поточна архітектура ще здатна забезпечити.

\[ W=B\,V, \qquad W_j(cfg)=\sum_{i\in R(cfg)} w_{ji}. \] Матриця впливу ресурсів на функції виводиться з архітектури через композицію сервісів і споживання ресурсів.

\[ \varphi_j(t,cfg)=W_j(cfg)\!\prod_{i\in R(cfg)}\rho_i(t)^{w_{ji}/W_j(cfg)}, \qquad S(t)=\sum_j \alpha_j\,\delta_j(cfg)\,\varphi_j(t,cfg). \] Геометрична форма навмисно некомпенсаційна: критичний ресурс не може бути прихований здоровішими, але не пов’язаними ресурсами.

Нове питання

Яка послідовність верифікованих конфігурацій зберігає найбільшу спроможність місії в часі, не порушуючи обмежень переходів, стійкості та реального часу?

Перейти до точки перелому →

Стійка конфігурація не означає стійку послідовність конфігурацій.Розгорнути розділ

Допустимість

Стійка конфігурація не означає стійку послідовність конфігурацій.

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

\[ G_e=(\mathcal C,\mathcal T), \qquad T_{ij}\in\mathcal T \Leftrightarrow Adm_R(C_j,\rho)\wedge Adm_F(C_j)\wedge Stab(C_i,C_j). \]

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

\[ \tau_d>\frac{\ln\mu}{2\gamma_{\min}}, \qquad f_{\max}<\frac{2\gamma_{\min}}{\ln\mu}. \] Найгірше обумовлена конфігурація може визначати весь каталог. Тому склад каталогу — це змінна проєктування, а не просто список резервних режимів.

← ПопереднійОб’єкт після відмови — це вже не номінальний об’єкт.Наступний →Реконфігурація має три незалежні часові масштаби.