Инструменты для одновременного моделирования системы

Question

В настоящее время я участвую в параллельном разработке программного обеспечения, и мы много фокусируемся на моделировании. Я вижу значение в этом, но я не уверен, что инструмент, который мы используем, ужасен, хорош или где-то посередине, потому что я не могу найти никаких других примеров. В настоящее время мы используем LTS Analyzer, с дополнительной информацией here.

Итак, мой вопрос: для любого, кто выполнял параллельный дизайн системы, вы моделируете приложение перед его внедрением, и если да, то какие инструменты вы используете для этого? Благодарю.

Answer 1

Хотя я еще не пользовался, я слышал о хороших вещах о JPF (планируя использовать его в ближайшее время).

Answer 2

Одним из наиболее широко известных инструментов для моделирования & верификации параллельных/распределенных систем в различных отраслях промышленности является SPIN проверки модели: http://spinroot.com/spin/ Однако имейте в виду, что независимо от того, насколько правильно ваш дизайн и/или проверить вашу модель не является, ваша реализация по-прежнему нуждается в следующем. Это то, где многие проекты терпят неудачу так или иначе.