Проверка и утверждение программ реального времени

Монография посвящена проблеме повышения надежности программного обеспечения систем реального времени путем проверки внутренней правильности на основе структурного анализа программ аналитическими методами. Рассматривается использование аппарата сетей Петри, тестирования, в том числе статистическими методами, а также моделирования для определения системной приемлемости (утверждения) программ. Обсуждается широкий круг вопросов разработки программного обеспечения систем реального времени, использования теоретического аппарата и инструментария на различных стадиях его жизненного цикла. Для специалистов в области программного обеспечения систем. Это и многое другое вы найдете в книге Проверка и утверждение программ реального времени