Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 93 стр.

UptoLike

учитывать как архитектурную иерархию, так и многоэтапность процесса
проектирования и производства.
Многоуровневая организация систем управления движением поездов
вытекает из сложности выполняемых функций и пространственной
протяженности и является естественной. Под функциональной безопасностью
такого рода систем понимается их свойство выполнять целевую функцию или (в
случае сбоев или отказов) переходить в безопасное для объекта состояние.
Сложность систем транспортной автоматики не позволяет решить
проблему функциональной безопасности только на уровне "выходного каскада".
В системе должны присутствовать элементы контроля функционирования в
ряде точек информационного тракта, увязанные в контуры контроля
безопасности функционирования подсистем по иерархическому принципу.
Реализация контрольных механизмов и механизмов принятия решения на
сегодняшний день достаточно хорошо известна и сводится к нескольким
группам технических решений. Такие типовые решения предполагают
аппаратную, программную или смешанную реализацию в зависимости от
уровня иерархии контролируемых процессов.
Открытым, в значительной степени, остается вопрос оценки качества
контроля при функционировании системы. Здесь перспективным
представляется подход, в основе которого лежит формализованное
представление архитектурных элементов вычислительной системы,
направленное на проектирование системы в целом из механизмов, инвариантно
к их последующей реализации [21, 24, 25].
Необходимо отметить возрастающее влияние на уровень функциональной
безопасности микропроцессорных систем ряда новых факторов, таких как:
высокая сложность готовых аппаратных и программных компонент, для
которых трудно гарантировать достаточную верификацию (т.е. соответствие
заявленным спецификациям);
требование "прозрачности" проекта в такой степени, чтобы обеспечить
плавную замену комплектующих по мере их морального старения в рамках
длительного жизненного цикла системы;
возможность повторного использования аппаратных и программных
компонентов в сочетании с поддержанием корректного инструментария.
Противоречивый характер перечисленных факторов эффективно может
быть учтен при проектировании безопасных систем только в рамках иерархии
контрольных и блокирующих механизмов.
Перечисленные подходы к проектированию позволили обеспечить высокие
функциональные и эксплуатационные характеристики систем управления
движением поездов на основе комплекса технических средств ракт" в
сочетании с требуемым уровнем безопасности и надежности.
92