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