Основы системного моделирования для формальной проверки

В современной инженерии, нахождение системных ошибок на поздних этапах разработки является невероятно дорогостоящим. Формальная проверка позволяет математически доказать, что ваша система ведет себя правильно, но все начинается с построения правильной модели системы. Этот текстовый курс поможет вам освоить основные принципы моделирования аппаратных и программных систем для автоматизированного анализа. Вы пройдете путь от понимания базовых системных спецификаций до структурирования сложных моделей, которые предотвращают ошибки в проектировании на ранних этапах. Что вы узнаете: Понимание основных концепций функциональной проверки и проверки модели; Представление поведения аппаратного и программного обеспечения с использованием точных формализмов моделирования; Применение систем перехода состояний для захвата состояний и переходов системы; Определение свойств безопасности и живучести с использование основных понятий временной логики; Анализ системы Вы начнете с основных терминов, систем перехода и основных концепций проверки. Вы также изучите основные концепции, такие как алгоритмы, уровни, ключи, алгебры, точки, пространства, сети и многое другое. Этот курс предназначен для начинающих программистов, разработчиков оборудования и системных архитекторов. Не требуется предыдущий опыт формальной проверки. Начните создавать надежные, безошибочные системы сегодня.