Проверка моделей Uppaal

От / / Оставьте комментарий

Устройство для проверки моделей Uppaal Обзор инструмента UPPAAL UPPAAL — это среда для моделирования и верификации систем реального времени.  Используется […]

Formal methods stubs, Model checkers, Заглушки формальных методов, Модельные шашки

Устройство для проверки моделей Uppaal

  • Обзор инструмента UPPAAL

    • UPPAAL — это среда для моделирования и верификации систем реального времени. 
    • Используется в 17 исследованиях, включая Lego Mindstorms и аудиопротоколы Philips. 
    • Разработан в сотрудничестве между университетами Уппсалы и Ольборга. 

  • Расширения UPPAAL

    • Cora для анализа доступности. 
    • Tron для онлайн-тестирования соответствия «черному ящику». 
    • Покрытие для автономной генерации тестов. 
    • Tiga для синтеза контроллеров на основе временных игр. 
    • Порт для синхронизации на основе методов частичного сокращения заказов. 
    • Профессионал в области вероятностного анализа достижимости (больше не производится). 
    • SMC для проверки статистической модели. 

  • Рекомендации и ресурсы

    • Ссылки на внешние ресурсы, включая академические и коммерческие сайты. 
    • Упоминание о возможности расширения статьи для Википедии. 

Полный текст статьи:

Проверка моделей Uppaal — Википедия

Похожие статьи:

  1. Автоматизированное машинное обучение Автоматизированное машинное обучение Основные подходы к машинному обучению Контролируемое обучение: обучение с заранее определенными метками для...
  2. Синхронизация данных Синхронизация данных Основы синхронизации данных Синхронизация данных обеспечивает согласованность и целостность данных между хранилищами.  Важна для...
  3. Проверка модели Проверка модели Основы проверки моделей Проверка моделей — это процесс, который используется для проверки соответствия спецификаций...
  4. Разложение LU Разложение LU Определение и свойства матрицы поворота Матрица поворота — это матрица, которая преобразует вектор в...
  5. Профессионал Профессиональный Определение и значение профессии Профессия — это вид специализированной деятельности, требующий обучения и подготовки.  Профессионалы...
  6. Синхронизация (информатика) Синхронизация (информатика) Основы синхронизации Синхронизация — это процесс, который обеспечивает согласованность доступа к общим ресурсам между...
  7. Проверка модели SPIN Устройство для проверки модели вращения Обзор инструмента SPIN SPIN — это инструмент для проверки корректности параллельных...
  8. Тестирование на основе моделей Тестирование на основе модели Основы тестирования на основе моделей Тестирование на основе моделей использует проектирование на...
  9. Цены Ценообразование Основы ценообразования Ценообразование — это процесс установления цен на товары и услуги.  Ценообразование включает в...
  10. Синхронизация аудио-видео Синхронизация аудио- и видеосигнала Основы AV-синхронизации AV-синхронизация — это процесс синхронизации аудио и видео сигналов.  Ошибки...
  11. Вероятностное программирование Вероятностное программирование Определение и применение вероятностного программирования Вероятностное программирование объединяет вероятностное моделирование и традиционное программирование для...
  12. Сигнал часов Тактовый сигнал Определение и важность тактовых импульсов Тактовые импульсы — это сигналы, которые используются для синхронизации...
  13. Ю-Нет U-Образная сетка Контролируемое обучение Обучение с заранее определенными целями и критериями оценки.  Включает методы, такие как...
  14. Проверка ЭЦП (электронной подписи) 1. Проверка электронной подписи на портале Госуслуг Что такое электронная подпись (ЭП) Электронная подпись — это...
  15. Обучение с подкреплением на основе отзывов людей Обучение с подкреплением на основе обратной связи с людьми Основы обучения с подкреплением на основе обратной...
  16. Синхронизация файлов Синхронизация файлов Основы синхронизации файлов Синхронизация файлов обеспечивает обновление файлов в нескольких местах.  Односторонняя синхронизация (зеркальное...
  17. Протокол точного времени Протокол точного времени Обзор протокола IEEE 1588 IEEE 1588 — протокол точного времени для синхронизации часов...
  18. Карта расширения Плата расширения История и развитие компьютерных плат расширения Платы расширения были введены в 1970-х годах для...
  19. Восстановление часов Восстановление часов Основы восстановления синхронизации Восстановление синхронизации — это процесс определения времени данных в последовательном потоке...

Оставьте комментарий

Прокрутить вверх