Приглашаем к участию в новом номере журнала "Системная информатика"

Уважаемые коллеги!

Приглашаем вас прислать статью в номер 22 журнала "Системная информатика". Номер выйдет 15 декабря.

Преимущества журнала: большой объем статьи (до 50-60 страниц), использование цветных шрифтов и иллюстраций, публикации на русском и английском языках, быстрая публикация статьи.


О журнале

Научный электронный журнал "Системная информатика" основан в 2013 году.

Учредитель - Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук.

Свидетельство о государственной регистрации СМИ - ЭЛ № ФС 77-55164.

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

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

Читать дальше

Скачать

Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа

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

Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах

Процесс-ориентированное программирование — это подход к разработке управляющего программного обеспечения, в котором программа определяется как набор взаимодействующих процессов. PoST — это процесс-ориентированный язык, который является расширением язык ST из стандарта IEC 61131-3. В области разработки управляющего программного обеспечения формальная верификация играет важную роль вследствие необходимости обеспечения высокой надежности такого программного...
Скачать

Точный тест планируемости для систем реального времени с абстрактным планировщиком

В этой статье мы формально описываем системы реального времени с абстрактным планировщиком, используя модели Крипке. Эта формализация позволяет специализировать абстрактный планировщик в терминах построенной модели. Мы иллюстрируем этот подход с помощью системы реального времени, в которой работы являются невытесняемыми и имеют фиксированный приоритет (NE-GFP). Мы также формулируем свойство безопасности для...
Скачать

Интервальная итерация на основе политики для вероятностной проверки модели

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