Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
Подобные документы
Разработка нейро-нечеткого метода обработки информации для создания моделей оценки сложности разрабатываемых программных средств. Результаты применения предлагаемого подхода к оценке сложности программных средств. Автоматизированное построение моделей.
статья, добавлен 19.01.2018Выявление аномалий в процессах и проведение проверки соответствия модели и журналов событий. Метод проверки соответствия с учетом специфики процесса и последующая кластеризация данных. Разработка приложения для выявления аномалий в журналах событий.
дипломная работа, добавлен 01.12.2019Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018Характеристика способов и алгоритмов моделирования систем автоматического управления с помощью параллельных систем обработки информации. Ряд оптимизаций и моделей алгоритмов организации параллельных вычислений. Анализ процесса/канала (Process/Channel).
статья, добавлен 14.10.2018Методы построения информационных технологий на базе универсальных программных и аппаратных модулей. Недостатки разрабатываемых систем. Беспроводные технологии сбора данных об инженерных сетях. Типовая архитектура систем управления энергосбережением.
статья, добавлен 03.02.2014Исследование системообразующих элементов автоматизации корпоративных систем формирования кадрового потенциала. Характеристика зарубежных и украинских программных продуктов в сфере управления персоналом. Анализ качества общих информационных концепций.
статья, добавлен 28.05.2017Определение отличий программирования от программной инженерии. Исследование и анализ связи программной инженерии с информатикой, системотехникой и бизнес-реинжинирингом. Рассмотрение и характеристика моделей процесса создания программного обеспечения.
презентация, добавлен 09.09.2021Исследование встроенных средств развития, предназначенных для сборки программных систем (ПС) из готовых проблемных модулей. Анализ канонической структуры и средств декларации оболочки ПС. Пример создания компоненты ПС в виде схемы потоков данных.
статья, добавлен 15.04.2018Разработка больших международных проектов по созданию ИИ-систем автоматизации всего процесса математического познания на основе доказательства теорем. Значение "сколемизации" формальных выражений и искажение семантики их неформальных прототипов.
статья, добавлен 17.01.2018Исследование роли и места системной и программной инженерии в процессе создания сложных систем. Рассмотрение и характеристика особенностей компьютерной программы. Анализ понятия модели программного процесса, как упрощенного описания программного процесса.
курсовая работа, добавлен 23.09.2017Анализ и разработка методов защиты информации без использования вспомогательных аппаратных средств. Создание интегрируемого пакета программных модулей для защиты систем автоматизации дистанционного обучения (АСДО) вне доверенной вычислительной среды.
дипломная работа, добавлен 11.08.2010- 38. Виртуализация
Виртуализация платформ, ресурсов и операционных систем. Создание программных систем на основе существующих аппаратно-программных комплексов. Использование виртуальных рабочих станций. Средства управления, миграции и поддержки виртуальных инфраструктур.
реферат, добавлен 19.12.2012 Рассмотрение модели характеристик качества программного обеспечения. Определение требований пользователя к качеству в спецификациях. Характеристика уровней комплексных показателей качества программных ресурсов. Оценка мобильности программных систем.
презентация, добавлен 09.11.2015Понятие производства программного обеспечения и принципы его разработки. Основные направления интенсивного развития технологий программирования и способы повышения их эффективности. Стандарты программной инженерии. Кодекс этики программной инженерии.
реферат, добавлен 11.10.2013Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018Исследование систем выявления аномального состояния в компьютерных сетях, определение их недостатков. Разработка метода определения идентифицирующих термов, базирующегося на математических моделях и методах нечеткой логики, обоснование его эффективности.
статья, добавлен 21.02.2017Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Проблема формирования заявки и проверки документов при выдаче кредита в банке. Разработка приложения по автоматизации процесса формирования и согласования заявки. Обзор программных средств. Настройка параметров сервера. Функции информационной системы.
отчет по практике, добавлен 21.01.2013Планировщики мультипроцессорных, мультикомпьютерных и распределенных систем. Обзор различных видов параллельных вычислительных систем. Изучение возможности модификации современного алгоритма планировщика задач с целью повышения его эффективности.
реферат, добавлен 14.04.2021Обоснование лингвистической и логически корректных форм представления целей рыбохозяйственных комплексов, графосемантических моделей структур целей. Разработка информационно-программных средств автоматизации анализа и синтеза систем целедостижения РХК.
автореферат, добавлен 08.02.2018Увеличение производительности труда разработки, а также облегчение работы разработчиков программного продукта как основная цель CASE-средств. Описание различных CASE-средства для проектирования программных систем, сравнительный анализ их возможностей.
статья, добавлен 05.05.2019Опыт эксплуатации общезаводских информационно-управляющих систем в непрерывных производствах России. Описание концептуальных, программных и технических решений, необходимых для конструирования диспетчерских и технико-экономических систем автоматизации.
статья, добавлен 22.08.2020Изучение алгоритмов и технологий поисковых систем ранжирования веб страниц. Приобретение опыта работы с веб-ресурсами, системами управления контентом и вычислительными системами. Сетевая структура предприятия и автоматизация управления организацией.
отчет по практике, добавлен 03.02.2018Разработка универсальной технологии и математического аппарата самостоятельной адаптации программных систем. Использование методов интеллектуального анализа данных для создания программного обеспечения с расширенным жизненным циклом и высокой надежностью.
статья, добавлен 09.02.2022