Программное обеспечение не ломается, однако подвержено систематическим ошибкам, поэтому компонентам программного обеспечения или программным модулям ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Федоров Ю.Н. Основные построения АСУТП взрывоопасных производств В 2-х томах Том 1 Методология


Программное обеспечение не ломается, однако подвержено систематическим ошибкам, поэтому компонентам программного обеспечения или программным модулям можно доверять, если они уже проверены на соответствие требуемому уровню интегральной безопасности. Например, если для определения отказов оборудования предусмотрена процедура самотестирования, но отказы оборудования не имитировались в процессе пуско-наладки и не отрабатывались во время эксплуатации, то невозможно утверждать, что функции обнаружения неисправностей проверены на практике. Для исключения расширенной перепроверки или перепроектирования системных программных модулей при каждом новом применении, должны быть выполнены следующие требования, которые позволят удостовериться, что программные модули свободны от систематических ошибок проектирования и от опасных отказов.

(cкачать страницу)

Смотреть книгу на libgen

Программное обеспечение не ломается, однако подвержено систематическим ошибкам, поэтому компонентам программного обеспечения или программным модулям можно доверять, если они уже проверены на соответствие требуемому уровню интегральной безопасности. Например, если для определения отказов оборудования предусмотрена процедура самотестирования, но отказы оборудования не имитировались в процессе пуско-наладки и не отрабатывались во время эксплуатации, то невозможно утверждать, что функции обнаружения неисправностей проверены на практике. Для исключения расширенной перепроверки или перепроектирования системных программных модулей при каждом новом применении, должны быть выполнены следующие требования, которые позволят удостовериться, что программные модули свободны от систематических ошибок проектирования и от опасных отказов.