Назад до огляду →
Модуль 02 / 04
Кожна відсутня гарантія породила нову гілку дослідження.
Так. Відповіддю стало перенесення аналізу часу перебування на рівень архітектурної реконфігурації та виведення обмеження частоти з обумовленості сертифікатів конфігурацій.
Кожна відсутня гарантія породила нову гілку дослідження.Розгорнути розділ
Три питання фальсифікації
Кожна відсутня гарантія породила нову гілку дослідження.
A / СТІЙКІСТЬ
Чи можуть окремо стійкі конфігурації утворити нестійку послідовність перемикань?
Так. Відповіддю стало перенесення аналізу часу перебування на рівень архітектурної реконфігурації та виведення обмеження частоти з обумовленості сертифікатів конфігурацій.
B / ЗНАННЯ
Чи може система відмовити, коли всі фізичні ресурси залишаються справними?
Так. Застаріла або невалідна модель може стати обмежувальним ресурсом. Тому валідність моделі подається як коефіцієнт стану епістемічного ресурсу.
C / РІШЕННЯ
Чи є найкраща конфігурація зараз завжди найкращим наступним рішенням?
Ні. Кандидат може втратити допустимість протягом інтервалу, коли система має залишатися в ньому. Вибір перетворюється на планування траєкторії у верифікованому графі.