Микропроцессорные системы. Архитектура и проектирование. Анкудинов И.Г. - 85 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

• не должны приводить к тупиковым состояниям, зацикливаниям,
переполнениям памяти и другим неразрешимым ситуациям;
• должны иметь избыточность, под которой понимается обеспечение ими
защиты и адаптации к ошибкам вычислений, в частности к ошибкам по
параметрам.
Защитные свойства, реализуемые способом обхода ошибок, должны быть
отработаны алгоритмически. Так, при защите выходов от ошибки типа
"несрабатывание", равнозначные избыточные (корректирующие) параметры
или их группы должны объединяться по дизъюнкции. Наоборот, при
предпочтительности защиты от "ложного" они должны объединяться по
конъюнкции. Выполнение одновременно двух стратегий требует намного
большей избыточности и может оказаться нецелесообразным из-за чрезмерного
усложнения алгоритмов.
Надежность программы регулирования будет высокой, если косвенно
будет проконтролирована хотя бы приемлемость выходов, например по
корреляции входов/выходов. Соответственно в алгоритме должен быть описан
способ такого контроля.
Должны быть отработаны в алгоритмах и другие решения по
надежности, такие как защита от неопределенностей, проверки на
непротиворечивость входов и выходов, контроль входов/выходов по
корреляции, контроль исполнения команд по обратной связи и т.п. Для
обеспечения полноты и корректности сложных логических алгоритмов следует
стремиться к более широкому использованию формализованных методов, в
частности методов автоматного управления. Данный подход позволяет:
• использовать для анализа и синтеза алгоритмов типовые модели
(например, графы переходов и выходов);
• произвести декомпозицию сложных моделей управления (процессов,
режимов) на простейшие с любой степенью разбиения (способом
последовательной и параллельной декомпозиции);
• осуществить композиционный синтез алгоритмов, т. е. из частных
описаний синтезировать алгоритмы всей системы;
• самодиагностировать процесс с выдачей ряда диагностических
сообщений.
Возможность самодиагностики и коррекции управления – вот те
достоинства и отличия, притом только в алгоритмической части, характерные
для систем с микропроцессорами, не считая многих других возможностей,
относящихся к реализации вышеуказанных способов повышения надежности и
качества ПО, следовательно, и надежности систем.

Страницы