The 3 reference contexts in paper I. Shubinsky B., И. Шубинский Б. (2016) “МЕТОДЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ НАДЕЖНОСТИ ПРОГРАММ // METHODS OF SOFTWARE FUNCTIONAL DEPENDABILITY ASSURANCE” / spz:neicon:sustain:y:2014:i:4:p:87-101

  1. Start
    1131
    Prefix
    , ошибка, надежность программ, предупреждение ошибок, обнаружение ошибок, исправление ошибок, устойчивость к ошибкам, защитное программирование, многоверсионное программирование, рестарт, динамическая избыточность, алгоритмическая избыточность, изоляция ошибок. 1. Введение Функциональная надежность информационных систем в значительной мере зависит от надежности программных средств
    Exact
    [1]
    Suffix
    . Все принципы и методы обеспечения функциональной надежности программ, в соответствии с их целью, можно разделить на четыре группы: предупреждение ошибок, обнаружение ошибок, исправление ошибок и обеспечение устойчивости к ошибкам (рис. 1).
    (check this in PDF content)

  2. Start
    24761
    Prefix
    Заключение В статье рассмотрены эффективные методы и способы построения архитектуры функционально надежных программных средств. Использован европейский опыт разработки программ для связанных с безопасностью систем
    Exact
    [2]
    Suffix
    , а также рекомендации стандарта [3]. Обеспечение надежности программных средств не ограничивается этапами разработки их спецификации и качественной архитектуры. Для решения ключевой задачи построения надежной информационной системы необходимо спроектировать надежное программное обеспечение, реализовать его, интегрировать с аппаратными средствами, обеспечить надежность программных средств в про
    (check this in PDF content)

  3. Start
    24797
    Prefix
    Заключение В статье рассмотрены эффективные методы и способы построения архитектуры функционально надежных программных средств. Использован европейский опыт разработки программ для связанных с безопасностью систем [2], а также рекомендации стандарта
    Exact
    [3]
    Suffix
    . Обеспечение надежности программных средств не ограничивается этапами разработки их спецификации и качественной архитектуры. Для решения ключевой задачи построения надежной информационной системы необходимо спроектировать надежное программное обеспечение, реализовать его, интегрировать с аппаратными средствами, обеспечить надежность программных средств в процессе аттестации, эксплуатации и со
    (check this in PDF content)