×

Вы используете устаревший браузер Internet Explorer. Некоторые функции сайта им не поддерживаются.

Рекомендуем установить один из следующих браузеров: Firefox, Opera или Chrome.

Контактная информация

+7-863-218-40-00 доб.200-80
ivdon3@bk.ru

  • Оценка эффективности построения программных средств гидроакустических информационных систем с использованием конфигурируемого программного каркаса

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

    Ключевые слова: разработка программных средств, гидроакустические информационные системы, фреймворк, оценка эффективности

    05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.25.05 - Информационные системы и процессы, правовые аспекты информатики

  • Протокол консенсуса в асинхронных сетях с неисправностями

    В статье представлен результат анализа смешанной модели неисправности, где неисправными могут быть t процессов, среди которых b процессов могут представлять Византийскую неисправность, а оставшиеся c являются отказавшими процессами. В асинхронной модели вычислений для некоторых распределенных задач оказывается, что система из N процессов может выдержать c отказов, если 2c < N, тогда как устойчивость к b неисправным процессам Византийского типа требует 3b < N. Представленный алгоритм основывается на более слабом определении неисправного процесса Византийского типа, запрещающей ему выдавать себя за отказавший процесс и показывает устойчивость до 2(N – 2c)/3 неисправностей. 

    Ключевые слова: отказоустойчивость, распределенные алгоритмы, асинхронные вычислительные сети, византийская неисправность

    05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ

  • Классификация частично формализованных и формальных моделей и методов верификации программного обеспечения

    • Аннотация
    • doc

    В статье проводится классификация методов верификации программного обеспечения (ПО), которые разнообразны по своему назначению, по способам достижения результата, по способу проверки и подтверждения у ПО предопределенных свойств.
    В целом производится деление на структурные и функциональные, и имеющие в своей основе формальные математические модели. Методы первой группы представляют собой тестирование и экспертный анализ свойств ПО, второй – работают с моделями и абстрактными представлениями проверяемого ПО. Отличительной особенностью экспертизы является ориентированность на экспертные оценки, поэтому их нельзя отнести к универсальным и строго формализованным. Различные виды экспертиз применяются к различным свойствам ПО на различных этапах проектирования, что позволяет своевременно определять и устранять неполадки и дефекты в работе ПО.
    Отличительная особенность  формальных методов – удобство и экономичность, так как они проводятся без обращения к физической реализации. Для работы с формальными методами применяются специфические техники, такие как дедуктивный анализ (theorem proving), проверка моделей (model checking), абстрактная интерпретация (abstract interpretation).
    Так же в статье перечисляются логические и алгебраические исчисления применимые для работы с формальными моделями.
    Представленная в статье классификация частично формализованных и формальных методов верификации отражает современное состояние исследований в данной области.
    Ключевые слова:верификация, частично формализованные методы верификации ПО, формальные модели верификации ПО, экспертиза, статический анализ, динамические методы, формальные методы, синтетические методы.

    05.13.18 - Математическое моделирование, численные методы и комплексы программ