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

UptoLike

ВУЗ: 

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

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

Рубрика: 

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

Страницы