Формализация функций безопасности и обеспечение качества программного обеспечения систем, важных для безопасности АЭС

Jazyk: ruština
Rok vydání: 2020
Předmět:
DOI: 10.25728/mlsd.2019.1.0844
Popis: Одной из важнейших задач в обеспечении качества программно-технических комплексов является процедура формирования требований к разрабатываемой или модифицируемой системе и последующая их верификация. Наиболее существенные ошибки совершаются на первых фазах жизненного цикла - это ошибки в определении требований, выборе архитектуры, высокоуровневом проектировании. Отказы критического по отношению к безопасности программного обеспечения могут нанести серьезный ущерб оборудованию или свойствам, а также привести к существенному ущербу окружающей среде или к человеческим жертвам. Увеличение требований к качеству программного обеспечения для систем важных для безопасности АЭС на всех этапах жизненного цикла связано с возрастанием сложности и функциональности программного обеспечения и привело к необходимости разработки подходов для обоснования как безопасности самих систем, так и входящего в их состав программного обеспечения. В статье рассматривается подход, основанный на построении функций безопасности выполнение которых в дальнейшем верифицируется.
Databáze: OpenAIRE
načítá se...