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

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

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 - Математическое моделирование, численные методы и комплексы программ

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

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